Conditional graphs generated by conditional schemas

Nicolae Tandareanu, Mihaela Colhon


In this paper we introduce the following concepts: conditional knowledge piece, conditional binary relation, conditional schema and conditional graph. We prove that every conditional schema generates one and only one conditional graph. A conditional knowledge piece includes sentences of the form if-then. A conditional schema can represent a conditional knowledge piece. The reasoning mechanism in a conditional schema is based on the paths in the corresponding conditional graph. This mechanism is described in a forthcoming paper. All the concepts presented in this paper are exemplified.


2000 Mathematics Subject Classification. Primary 68T30, Secondary 68T35, 68T50.

Key words and phrases. conditional binary relation, conditional knowledge piece, individual object, abstract object, rule-based reasoning.

Full Text: