Suppose that John has some beliefs about things that can fly,
and suppose that Cassie has some beliefs about what John believes.
It might be the case (in fact, it will probably be the case)
that Cassie's beliefs and John's beliefs will differ. So, when
Cassie represents John's beliefs, she might not assert them.
(She would only assert them if she herself believed them, too.) E.g.,
suppose John believes that Opus can fly. Note that Cassie has
no beliefs one way or the other about Opus's ability to fly.
Let's tell Cassie that John believes that Opus can fly. To do
this, we'll first have to have a way to represent Cassie's beliefs
about John's beliefs. We'll do this with an agent-act-object
case frame. (For more on this, see
"SNePS
and Knowledge, Belief,
and Intensionality".)
So, first
we need some new arcs:
Evaluate:
(define agent act object) |
(Note that SNePS reminds us that object has already been defined.)