Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper).
Federico ChesaniMarco GavanelliMarco AlbertiEvelina LammaPaola MelloPaolo TorroniPublished in: CLIMA (2005)
Keyphrases
- abductive reasoning
- agent interactions
- intelligent agents
- multi agent systems
- inference rules
- causal inference
- logic programs
- multi agent
- software agents
- natural language understanding
- reasoning tasks
- plan recognition
- probabilistic logic
- model checking
- logical representation
- nonmonotonic reasoning
- high level
- distributed learning
- artificial intelligence
- first order logic
- temporal logic
- sufficient conditions
- video sequences