next up previous
Next: 2.27. Finding Information using Up: 2. BUILDING AND FINDING Previous: 2.25. EXERCISES: Finding Beliefs,

2.26. Finding Individuals

We can also find the individuals that John believes can fly. To see how to do this, first find the nodes that represent Cassie's beliefs about John's beliefs; this can be done using (find agent John act believe). Then use this to find the nodes that are objects of John's beliefs about who can fly: (find object- (find agent John act believe) ability fly). Finally, use this to find the objects that John believes can fly:

Be sure you understand why there are two occurrences of object-; they do not necessarily refer to the same arcs!

William J. Rapaport 2003-09-22