Ability in a multi-agent context: a model in the situation calculus

Authors:
Laurence Cholvy;Christophe Garion;Claire Saurel
Affiliations:
ONERA Centre de Toulouse, Toulouse, France;SUPAERO, Toulouse, France;ONERA Centre de Toulouse, Toulouse, France
Venue:
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Year:
2005

Citing 5
Cited 4

Intention is choice with commitment

Artificial Intelligence
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Formalising abilities and opportunities of agents

Fundamenta Informaticae
What does it mean that an agent is performing a typical procedure?: a formal definition in the situation calculus

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Distribution of goals addressed to a group of agents

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems

Understanding organizational congruence: formal model and simulation framework

SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Shallow Models for Non-iterative Modal Logics

KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
Ontology support for Agent-based Simulation of Organizations

Multiagent and Grid Systems
The MACODO organization model for context-driven dynamic agent organizations

ACM Transactions on Autonomous and Adaptive Systems (TAAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper studies the notion of ability and its relation with the notion of action in a multi-agent context. It introduces the distinction between two notions respectively called “theoretical ability” and “ability”. The main contribution of this paper is a model of these notions in the Situation Calculus.