next up previous contents
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