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 Calculus.
منابع مشابه
A Context-aware Architecture for Mental Model Sharing through Semantic Movement in Intelligent Agents
Recent studies in multi-agent systems are paying increasingly more attention to the paradigm of designing intelligent agents with human inspired concepts. One of the main cognitive concepts driving the core of many recent approaches in multi agent systems is shared mental models. In this paper, we propose an architecture for sharing mental models based on a new concept called semantic movement....
متن کاملA multi agent method for cell formation with uncertain situation, based on information theory
This paper assumes the cell formation problem as a distributed decision network. It proposes an approach based on application and extension of information theory concepts, in order to analyze informational complexity in an agent- based system, due to interdependence between agents. Based on this approach, new quantitative concepts and definitions are proposed in order to measure the amount of t...
متن کاملProtocols Among Computational Agents: Towards a Model based on the Success and Satisfaction
To design protocols among computational agents, we have adopted Searle and Vanderveken model of speech acts because this model is a rich theory which can give important properties of protocols that we can formalize properly. To achieve this, we are working on an adequate formalism (the situation calculus) for representing this model in the context of multiagent systems.
متن کاملExtending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملA statistical model checker for situation calculus based multi-agent models
In this paper we introduce a new approach for multi-agent simulation and statistical model checking that combines the well-established situation calculus with a first order version of bounded linear time logic (BLTL). This creates a fully integrated solution for specifying system behavior and requirements within the same logical framework. We realized the approach in an extensible tool that com...
متن کامل