Towards an ontology of agency and action From STIT to OntoSTIT+
نویسندگان
چکیده
A variety of disciplines and research areas have separately studied the notions of action, agents and agency, but no integrated and well-developed formal ontology for them is currently available. This paper is a first attempt at bridging this gap, focusing especially on the relationship between agency and action. The departure point is STIT logic, the most expressive among the current logics of agency. Agency is the relationship between an agent and the states of affairs it can bring about, without refering to how this is done, i.e., the actions performed. Since ontological investigations are best done in a first-order framework, making explicit at the language level the domain of quantification, we first propose a first-order theory that is proved equivalent to the propositional modal logic STIT. The domain and language of this theory is then extended to cover actions, obtaining the theory we call OntoSTIT+.
منابع مشابه
Exclusionary Decision Making in Tehran Metropolitan Region- Complexity, Self organization and Power of Action
Viewing urban areas as webs of complex, interwoven networks, this article aims to analyze the decision-making process and its outcomes in Tehran metropolitan region. To do so, first the theoretical basis of complexity in urban life and its implications for planning have been reviewed. Using the main notion of power of action i.e. agency, and through creating the network of actors and their rela...
متن کاملAction Types in STIT Semantics
Stit semantics grows out of a modal tradition in the logic of action that concentrates on an operator representing the agency of an individual in seeing to it that some state of affairs holds, rather than on the actions the individual performs in doing so. The purpose of this paper is to enrich stit semantics, and especially epistemic stit semantics, by supplementing the overall framework with ...
متن کاملFrom Coalition Logic to STIT 1
STIT is a logic of agency that has been proposed in the nineties in the domain of philosophy of action. It is the logic of constructions of the form \agent a sees to it that '". We believe that STIT theory may contribute to the logical analysis of multiagent systems. To support this claim, in this paper we show that there is a close relationship with more recent logics for multiagent systems. W...
متن کاملTowards a Logic of Agency and Actions with Duration
As far as we know, there is no multi-agent system allowing to talk both about choices of agents or groups of agents, strategies, and about sufficiently rich actions. This paper aims at offering a path towards a new more expressive logical framework by mixing a STIT-like logic of agency with a PDL-like logic of action. We present the syntax and ontological motivations, and we highlight the expre...
متن کاملOn the Formal Structure of Continuous Action
Analytical investigations of agency are mostly concerned with a description ex post acto. However, continuous action (being doing something) needs to be considered as well. The paper shows that while the modal-logical treatment of agency in branching time-based stit theory is currently unable to handle continuous action, the stit framework can be extended such as to handle these cases as well. ...
متن کامل