Inference Corporation
| File:Logo of Inference Corporation.svg | |
| Founded | 1979 |
|---|---|
| Defunct | 2000 |
| Fate | Acquired by eGain |
| Headquarters | Los Angeles, California, U.S. |
| Website | inference.com at the Wayback Machine (archived 1999-02-09) |
Inference Corporation[1][2] was an American software company that specialized in artificial intelligence systems.[3]
History
[edit | edit source]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 | edit source]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 | edit source]- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b c Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ (Verix) Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
External links
[edit | edit source]- Official website at the Wayback Machine (archived 1999-02-09)
- 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