Inference Corporation
Inference Corporation[1][2] was an American software company that specialized in artificial intelligence systems.[3]
History
[edit]Los Angeles-based Inference was founded in 1979.[3] In the 1990s they built a case-based computer program for Compaq Computer Corporation that would enable dealing with a situation where "a computer printer turns out a blurry and smeared page" without having to call a help desk.[1] Although such software already existed, the breakthrough was that it was small enough to fit "on three floppy disks."
The company's Automated Reasoning Tool (ART), initially implemented on a mainframe, subsequently made available on PCs, has been extended to ART-IM, an Information Management package; the product line originated in 1988.[4][5]
Ford and AOL are among the household-known corporations that use Inference software to enhance customer service.[6][3] Inference was acquired by eGain Corporation in 2000.[7] Prior to that, Inference acquired 1981-founded Computer Mathematics Corporation, marketer of SMP (computer algebra system);[8] Inference made another acquisition the year before they themselves were acquired by eGain.[9]
Automated Reasoning Tool
[edit]The Automated Reasoning Tool (ART) is a system designed by Paul Haley,[10] Chuck Williams, Brad Allen, and Mark Wright,[11] to design rule-based knowledge representations with options for frame and procedural methods of knowledge base representation.[12]
ART's syntax influenced NASA's derived CLIPS in the mid-80s.[11] ART is a derivative of OPS5, with extensions, built for the Inference Corporation.[10]
References
[edit]- ^ a b Sabra Chartrand (August 4, 1993). "Compaq Printer Can Tell You What's Ailing It". The New York Times.
developed for Compaq by the Inference Corporation
- ^ John Markoff (May 15, 1988). "Can Machines Learn to Think?; The Artificial Intelligence Industry Is Retrenching". The New York Times.
- ^ a b c "Ford Acquires A Stake In Artificial Intelligence". The New York Times. October 25, 1985.
- ^ M. Ragheb (1988). "Knowledge-Based Systems and Interactive Graphics for Reactor Control using the Automated Reasoning Tool(Art) System". Knowledge-Based Systems and Interactive Graphics. Boston, MA: Springer. pp. 429–436. doi:10.1007/978-1-4613-1009-9_53. ISBN 978-1-4612-8290-7.
- ^ K. D. Bimson (1988). "Conceptual model-based reasoning for knowledge-based software project management". [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track. Vol. 1. pp. 255–265. doi:10.1109/HICSS.1988.11915. ISBN 0-8186-0843-9. S2CID 4654605.
- ^ "Technology Briefs". The Wall Street Journal.
- ^ "E-Commerce Software Firm eGain To Buy Inference for $73 million". The Wall Street Journal. March 17, 2000.
- ^ "Stephen Wolfram: A New Kind of Science".
- ^ (Verix) "Inference Corp /ca/ 1999 8-K/A Current report". July 9, 1999.
- ^ a b "Automated Reasoning Tool, Online Historical Encyclopaedia of Programming Languages".
- ^ a b "Haley / ART syntax lives on in open-source Java rules – Commercial Intelligence". February 20, 2008.
- ^ Artificial Intelligence Study (PDF) (Report). February 1987. pp. 2–49. Archived (PDF) from the original on July 9, 2021.
ART evolved from an expert system used to interpret radar signals from space flight operation at NASA.
 | This article about a technological corporation or company is a stub. You can help Wikipedia by expanding it. |
- 1979 establishments in California
- 2000 disestablishments in California
- American companies established in 1979
- American companies disestablished in 2000
- Computer companies established in 1979
- Computer companies disestablished in 2000
- Defunct software companies of the United States
- Defunct computer companies based in California
- Technological company stubs