Next: What You Should Up: Knowledge Representation Previous: Rules and Disjunctions

Both Disjunctions and Conjunctions

We combine both disjunctions and conjunctions together. Consider:

 
happy(Person):-

		       healthy(Person),woman(Person).

happy(Person):-

		       wealthy(Person),woman(Person).

happy(Person):-

		       wise(Person),woman(Person).

This can be informally interpreted as meaning that

A woman is happy if she is healthy, wealthy or wise

We now combine the OR tree representation together with an AND tree representation to form an AND/OR tree that shows the structure of the definition of happy/1.

Note that the logical variable in the diagram has been renamed to P. There is no significance in this renaming.

Paul Brna
Mon May 24 20:14:48 BST 1999