Inference, Los Angeles, said it has reached...

Inference, Los Angeles, said it has reached an agreement with CIGNA Corp.’s Insurance Co. of North America unit in Philadelphia to use Inference’s Automated Reasoning Tool to develop applications for the financial industry.