Reasoning about Conversation Protocols in a Logic-Based Agent Language.
Matteo BaldoniCristina BaroglioAlberto MartelliViviana PattiPublished in: AI*IA (2003)
Keyphrases
- agent communication language
- natural language
- agent programming
- agent communication
- practical reasoning
- multi agent systems
- speech acts
- conversational agents
- distributed multi agent systems
- agent systems
- conversational agent
- dynamic logic
- multi agent
- multiagent systems
- intelligent agents
- formal theory
- interaction protocols
- autonomous agents
- programming language
- agent model
- decision making
- dynamic environments
- cognitive agents
- human agent
- rational agents
- language learning
- knowledge representation
- spatial reasoning
- operational semantics
- artificial agents
- machine learning
- multiple agents
- mental states
- human users
- agent architecture
- agent interactions
- formal semantics
- multi party
- modal operators
- agent technology
- mobile agents
- web services
- artificial intelligence