Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World.
Paolo TraversoLuca SpalazziFausto GiunchigliaPublished in: ATAL (1995)
Keyphrases
- real world
- multi agent systems
- dynamic logic
- epistemic logic
- alternating time temporal logic
- formal theory
- multi agent
- intelligent agents
- multiagent systems
- logical framework
- multiple agents
- cooperative
- modal operators
- wide range
- autonomous agents
- data sets
- coalition logic
- agent systems
- modal logic
- agent architecture
- software agents
- cognitive agents
- rational agents
- normative systems
- mobile agents
- artificial agents
- decision making
- agent technology
- causal reasoning
- dynamic environments
- temporal logic
- sensor networks
- case study
- incomplete information
- game theoretic
- micro controller
- complete axiomatization
- qualitative reasoning
- behavior recognition
- moral hazard
- agent model
- resource allocation