Person

From GM-RKB
Jump to: navigation, search

A person is a human being that is an agent.



References

===2009

  • http://www.isi.edu/~hobbs/bgt-person.text
    • QUOTE: Finally we arrive at people. The theories of Part C are intended to some extent to apply to other kinds of agents than just people, such as robots and organizations, and some aspects of the cognitive theories, such as goals, plans, and beliefs, we would expect to find in any cognitive agent in some form. But many aspects are idiosyncratic to people -- accidents of evolution, in a sense. For example, there is probably no reason a robot or an organization should be thought of as having emotions. In Part C, when we are talking about aspects of cognition that apply to all cognitive agents, we will call the agent simply an "agent". When we are talking about particularities of people, we will condition the axioms on the relevant arguments being persons.
    • A person is a kind of agent.
      • (1) (forall (p) (if (person p)(agent p)))
    • A person is also a kind of physical object.
      • (2) (forall (p) (if (person p)(physobj p)))
    • A person has a body and a mind.
      • (3) (forall (p) (if (person p) (exists (b m)(and (body b p)(mind m p)))))

Personal tools
Namespaces

Variants
Views
Actions
Navigation
Toolbox