Engineering AgentSpeak(L): A Formal Computational Model.
Mark d'InvernoMichael LuckPublished in: J. Log. Comput. (1998)
Keyphrases
- computational model
- operational semantics
- computational models
- model theoretic
- mathematical theory
- computational framework
- formal descriptions
- cognitive modeling
- agent architecture
- computer science
- engineering design
- formal semantics
- language acquisition
- bdi agents
- mental states
- computational modeling
- software engineering
- cognitive architecture
- agent programming
- cooperative
- knowledge base
- formal ontologies
- reinforcement learning
- data model
- artificial intelligence
- knowledge representation