Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions).
Rafael H. BordiniJomi Fred HübnerPublished in: ECAI (2010)
Keyphrases
- operational semantics
- bdi agents
- communicative acts
- mental states
- plan recognition
- model theoretic
- multi agent systems
- internal state
- plan library
- formal semantics
- decision theoretic
- speech acts
- plan execution
- action theories
- agent oriented programming language
- situation calculus
- action language
- agent programming
- agent architecture
- initial state
- world model
- method invocation
- agent model
- logic programs
- autonomous agents
- deductive databases
- external world
- agent communication
- description logics
- intelligent agents
- planning graph
- reasoning about actions
- sensing actions
- logic programming
- partial plans
- durative actions
- reinforcement learning
- dynamic environments