Hierarchical planning in BDI agent programming languages: a formal approach.
Sebastian SardiñaLavindra de SilvaLin PadghamPublished in: AAMAS (2006)
Keyphrases
- programming language
- bdi agents
- agent architecture
- mental states
- general purpose
- object oriented
- autonomous agents
- high level
- software engineering
- programming environment
- multi agent systems
- abstract data types
- logic programming
- denotational semantics
- agent model
- strongly typed
- data abstraction
- database languages
- formal model
- object oriented programming
- specification language
- formal specification
- belief desire intention
- functional programming
- lambda calculus
- multiagent systems
- database
- high level programming language
- domain specific languages
- cooperative
- artificial intelligence