Ability in a Multi-agent Context: A Model in the Situation Calculus

Ability in a Multi-agent Context: A Model in the Situation Calculus

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 Ca...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Cholvy, Laurence, Garion, Christophe, Saurel, Claire
Format: Buchkapitel
Sprache:eng
Schlagworte:
Applied sciences
Artificial intelligence
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Dynamic Logic
Exact sciences and technology
Initial Situation
Logical, boolean and switching functions
Modal Logic
Multiagent System
Philosophical Logic
Software
Theoretical computing
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0302-9743
1611-3349
DOI:10.1007/11750734_2