Towards an ontology of agency and action From STIT to OntoSTIT+

Authors:
Nicolas Troquard;Robert Trypuz;Laure Vieu
Affiliations:
Institut de Recherche en Informatique de Toulouse, Université Paul Sabatier & CNRS and Laboratorio di Ontologia Applicata, ISTC, CNR, Trento and Universitàà di Trento;Laboratorio di Ontologia Applicata, ISTC, CNR, Trento and Università di Trento;Institut de Recherche en Informatique de Toulouse, Université Paul Sabatier & CNRS and Laboratorio di Ontologia Applicata, ISTC, CNR, Trento
Venue:
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Year:
2006

Citing 8
Cited 2

Extensions of first order logic

Extensions of first order logic
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic

Logic of Programs, Workshop
Combining Hilbert Style and Semantic Reasoning in a Resolution Framework

CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
Alternating-time Temporal Logic

FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
Coalition games and alternating temporal logics

TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency

Journal of Logic and Computation
Towards a logic of agency and actions with duration

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
From Coalition Logic to STIT

Electronic Notes in Theoretical Computer Science (ENTCS)

Ontology Verification with Repositories

Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Reasoning about choice

AT'13 Proceedings of the Second international conference on Agreement Technologies

Quantified Score

Hi-index	0.01

Visualization

Abstract

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 brings about, without referring 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+.