The inference mechanism in conditional schemas
Mihaela Colhon, Nicolae Ţăndăreanu · Annals of the University of Craiova Mathematics and Computer Science Series · 2010
Most of the rule-based systems are developed starting with a given set of rules. Thus, various inputs of the system are applied on the same rules in the reasoning process. This is an important restriction that can be avoided by designing systems for which the inference rules are extracted from the knowledge piece applied on their inputs. Such inputs are called conditional knowledge ([15]). By the name of conditional schema we understand a graph based structure that can represent conditional knowledge ([15]). Such a structure does not include proper rules as in the case of the rule-based systems. The rules are extracted from conditional knowledge. In this paper we formalize the inference in conditional schemas.