|
Inference Corporation
Inference Corporation was an American software company that specialized in artificial intelligence systems. History Los Angeles-based ''Inference'' was founded in 1979. 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. 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. Ford and AOL are among the household-known corporations that use ''Inference'' software to enhance customer service. ''Inference'' was acquired by eGain Corporation in 2000. Prior to that, ''Inference'' acquired 1981-founded ''Computer Mat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
EGain
eGain Corporation builds and sells AI knowledge SaaS products for service and support. Headquartered in Sunnyvale, California, eGain provides applications for customer self-service, contact centers, and employee service. History eGain Corporation was founded as eGain Communications Corporation by Ashutosh Roy and Gunjan Sinha in late 1997. At the time, they both were part of WhoWhere?, an Internet search company they founded which was purchased by Lycos in 1998. Prior to the purchase by Lycos, Roy served as the company's CEO and chairman and Sinha served as its president. eGain filed for its initial public offering with the Securities and Exchange Commission in July 1999. At the time of filing, it employed 114 people with plans to trade on the NASDAQ The Nasdaq Stock Market (; National Association of Securities Dealers Automated Quotations) is an American stock exchange based in New York City. It is the most active stock trading venue in the U.S. by volume, and ranked ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
OPS5
OPS5 is a rule-based or production system computer language, notable as the first such language to be used in a successful expert system, the R1/XCON system used to configure VAX computers. The OPS (said to be short for "Official Production System") family was developed in the late 1970s by Charles Forgy while at Carnegie Mellon University. Allen Newell's research group in artificial intelligence had been working on production systems for some time, but Forgy's implementation, based on his Rete algorithm, was especially efficient, sufficiently so that it was possible to scale up to larger problems involving hundreds or thousands of rules. OPS5 uses a forward chaining inference engine; programs execute by scanning "working memory elements" (which are vaguely object-like, with classes and attributes) looking for matches with the rules in "production memory". Rules have actions that may modify or remove the matched element, create new ones, perform side effects such as output, and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Companies Disestablished In 2000
A computer is a machine that can be programmed to automatically carry out sequences of arithmetic or logical operations (''computation''). Modern digital electronic computers can perform generic sets of operations known as ''programs'', which enable computers to perform a wide range of tasks. The term computer system may refer to a nominally complete computer that includes the hardware, operating system, software, and peripheral equipment needed and used for full operation; or to a group of computers that are linked and function together, such as a computer network or computer cluster. A broad range of industrial and consumer products use computers as control systems, including simple special-purpose devices like microwave ovens and remote controls, and factory devices like industrial robots. Computers are at the core of general-purpose devices such as personal computers and mobile devices such as smartphones. Computers power the Internet, which links billions of computers ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Companies Disestablished In 2000
American(s) may refer to: * American, something of, from, or related to the United States of America, commonly known as the "United States" or "America" ** Americans, citizens and nationals of the United States of America ** American ancestry, people who self-identify their ancestry as "American" ** American English, the set of varieties of the English language native to the United States ** Native Americans in the United States, indigenous peoples of the United States * American, something of, from, or related to the Americas, also known as "America" ** Indigenous peoples of the Americas * American (word), for analysis and history of the meanings in various contexts Organizations * American Airlines, U.S.-based airline headquartered in Fort Worth, Texas * American Athletic Conference, an American college athletic conference * American Recordings (record label), a record label that was previously known as Def American * American University, in Washington, D.C. Sports teams S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1979 Establishments In California
Events January * January 1 ** United Nations Secretary-General Kurt Waldheim heralds the start of the ''International Year of the Child''. Many musicians donate to the ''Music for UNICEF Concert'' fund, among them ABBA, who write the song ''Chiquitita'' to commemorate the event. ** In 1979, the United States officially severed diplomatic ties with the Republic of China (Taiwan). This decision marked a significant shift in U.S. foreign policy, turning to view the People's Republic of China as the sole legitimate representative of China. ** The United States and the People's Republic of China establish full Sino-American relations, diplomatic relations. ** Following a deal agreed during 1978, France, French carmaker Peugeot completes a takeover of American manufacturer Chrysler's Chrysler Europe, European operations, which are based in United Kingdom, Britain's former Rootes Group factories, as well as the former Simca factories in France. * January 6 – Geylang Bahru family ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prolog
Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics. Prolog has its roots in first-order logic, a formal logic. Unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program is a set of facts and Horn clause, rules, which define Finitary relation, relations. A computation is initiated by running a ''query'' over the program. Prolog was one of the first logic programming languages and remains the most popular such language today, with several free and commercial implementations available. The language has been used for automated theorem proving, theorem proving, expert systems, term rewriting, type systems, and automated planning, as well as its original intended field of use, natural language processing. See also Watson (computer). Prolog is a Turing-complete, general-purpose programming language, which is well-suited for inte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Planner (programming Language)
Planner (often seen in publications as "PLANNER" although it is not an acronym) is a programming language designed by Carl Hewitt at MIT, and first published in 1969. First, subsets such as Micro-Planner and Pico-Planner were implemented, and then essentially the whole language was implemented as ''Popler'' by Julian Davies at the University of Edinburgh in the POP-2 programming language. Derivations such as QA4, Conniver, QLISP and Ether (see scientific community metaphor) were important tools in artificial intelligence research in the 1970s, which influenced commercial developments such as Knowledge Engineering Environment (KEE) and Automated Reasoning Tool (ART). Procedural approach versus logical approach The two major paradigms for constructing semantic software systems were procedural and logical. The procedural paradigm was epitomized by Lisp which featured recursive procedures that operated on list structures. The logical paradigm was epitomized by uniform proo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Maclisp
Maclisp (or MACLISP, sometimes styled MacLisp or MacLISP) is a programming language, a dialect of the language Lisp. It originated at the Massachusetts Institute of Technology's (MIT) Project MAC (from which it derived its prefix) in the late 1960s and was based on Lisp 1.5. Richard Greenblatt was the main developer of the original codebase for the PDP-6; Jon L. White was responsible for its later maintenance and development. The name ''Maclisp'' began being used in the early 1970s to distinguish it from other forks of PDP-6 Lisp, notably BBN Lisp. History Maclisp is a descendant of Lisp 1.5. Maclisp departs from Lisp 1.5 by using a ''value cell'' to access and store the dynamic values of variables; Lisp 1.5 used a linear search of an association list to determine a variable's value. The Maclisp variable evaluation is faster but has different variable semantics. Maclisp also employed reader macros to make more readable ''input'' and ''output'', termed input/output (I/O). ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
