Page "Expert system" Paragraph 7

In 1986, a new expert system generator for PCs appeared on the market, derived from the French academic research: Intelligence Service, sold by GSI-TECSI software company.

This software showed a radical innovation: it used propositional logic (" Zeroth order logic ") to execute expert systems, reasoning on a knowledge base written with everyday language rules, producing explanations and detecting logic contradictions between the facts.

It was the first tool showing the AI ​​ defined by Edward Feigenbaum in his book about the Japanese Fifth Generation, Artificial Intelligence and Japan's Computer Challenge to the World ( 1983 ): " The machines will have reasoning power: they will automatically engineer vast amounts of knowledge to serve whatever purpose humans propose, from medical diagnosis to product design, from management decisions to education ", " The reasoning animal has, perhaps inevitably, fashioned the reasoning machine ", " the reasoning power of these machines matches or exceeds the reasoning power of the humans who instructed them and, in some cases, the reasoning power of any human performing such tasks ".

Intelligence Service was in fact " Pandora " ( 1985 ), a software developed for their thesis by two academic students of Jean-Louis Laurière, one of the most famous and prolific French AI researcher.

Unfortunately, as this software was not developed by his own IT developers, GSI-TECSI was unable to make it evolve.

Sales became scarce and marketing stopped after a few years.