Autonomous Agents . Overview . Topics. Theories: logic based formalisms for the explanation, analysis, or specification of autonomous agents. Languages: agent-based programming languages.
Wooldridge & Jennings
(ATAL 1994, LNAI 890)
Formalisms for representing and reasoning about agent properties
Jan believes Cronos is the father of Zeus
naïve translation into FOL:
Conclusion: FOL is not suitable since intention is context dependent.
Deliberative architecture in picture
Reactive architecture in picture
PRS in picture
Agent0: first two features