Autonomous Agents . Overview . Topics. Theories: logic based formalisms for the explanation, analysis, or specification of autonomous agents. Languages: agent-based programming languages.
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
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