Programming Rational Agents in a Modal Action Logic.
Matteo BaldoniAlberto MartelliViviana PattiLaura GiordanoPublished in: Ann. Math. Artif. Intell. (2004)
Keyphrases
- rational agents
- nonmonotonic logics
- modal logic
- nonmonotonic reasoning
- default logic
- transition systems
- propositional logic
- programming language
- bounded rationality
- defeasible logic
- temporal logic
- modal operators
- default theories
- coalition formation
- classical logic
- mental states
- reasoning about actions
- inference rules
- belief revision
- model checking
- incentive compatible
- logic programming
- multi agent
- game theoretic
- learning algorithm
- cooperative games
- autonomous agents
- theoretical framework
- knowledge base
- artificial intelligence