PURPOSE: To automate a backward inference by providing a step for inputting the combination of a character for expressing an item to be confirmed as a hypothetical candidate, and a step for retrieving the conclusion part of a production rule by using the combination of the character as a key.
CONSTITUTION: A character is inputted from an input/output device 1, and accumulated in an input character-string store part 5. A comparison arithmetic part 3 fetches a character-string by one unit each from the character-string store part 5, and executes pattern matching with the conclusion part of a production rule. In case both are matched, the conclusion part of the production rule is tranferred to a hypothetical candidate, etc. store part. Subsequently, after conforming that all date in the input character-string store part is compared and processed, hypothetical candidate, etc. accumulated in a hypothetical candidate, etc. accumulated in a hypothetical candidate, etc. store memory are displayed on the display part of the input/output device 1.
IIZUKA YUMIKO
SASAKI KOUJI
Next Patent: ADAPTIVE TYPE INFERENCE PROCESSING SYSTEM