The inference mechanism in conditional schemas

Mihaela Colhon, Nicolae Tandareanu


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.

Full Text: