Ontologia formale dell’azione (2004-2007)

Ontologia formale dell’azione

In this project, a formal ontology of action named OntoSTIT+, is developed. It assumes branching time, allows the same action token to unfold in a different way (some of its courses can be successful and some of them not), provides for the classification of action types, incorporates mental attitudes of an agent and divides all action tokens into activities, accomplishments, achievements and states.

Formally, OntoSTIT+ is an eleven sorted first-order logic, extended with belief, desire and intention modal operators, and has around seventy axioms and twenty definitions. Each axiom and definition is justified and motivated by reference to a relevant research field such as linguistics, philosophy of action and AI. OntoSTIT+ is also based on the works in the modal logic of agency. This interdisciplinary character of OntoSTIT+, on the one hand, complies with the methodology of creating formal ontologies, and on the other hand, unifies the research fields, whose results (concerning action and agency) have been taken into account in OntoSTIT+. In general, OntoSTIT+ is a ground for many theories of action, and hence, allows for a comparison between these theories, and for a possible integration and interdisciplinary research across research areas.

Moreover, OntoSTIT+ is a theory which specifies the meaning of the concepts of agency and action. It facilitates meaning negotiation among agents, as long as the concept of action is taken into account. OntoSTIT+ can be also successfully applied for designing practical reasoning and action execution of the rational, artificial agents, and for an ontology based natural language processing.

Project publications

Robert Trypuz: Formal Ontology of Action: a unifying approach. Universit`a degli Studi di Trento, ICT International Doctorate School, 2007.

Robert Trypuz, Emiliano Lorini, Laure Vieu: Solving Bratman's video game puzzle in two formalisms. In: Arrazola,; Larrazabal, (Ed.): ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-07), pp. 411–426, 2007.

Robert Trypuz, Laure Vieu: An Ontology of the Aspectual Classes of Actions. In: Arrazola,; Larrazabal, (Ed.): ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-07), pp. 393–409, 2007.

Nicolas Troquard, Robert Trypuz, Laure Vieu: Towards an ontology of agency and action: From STIT to OntoSTIT+. In: Bennett,; Fellbaum, (Ed.): Proceedings of the Fourth International Conference FOIS 2006, Baltimore, Maryland (USA), November 9-11, pp. 179–190, IOS Press, 2006.

E. Bottazzi, C. Catenacci, R. Ferrario, R.Trypuz: Intenzioni Collettive Non Mediate.. In: Greco,; Penco,; Sandini,; Zaccaria, (Ed.): Atti de Secondo Convegno dell'Associazione Italiana di Scienze Cognitive. Scienze Cognitive e Robotica, Genova (Italy), 26-27 October, pp. 136–138, 2006.

Książka (PhD)

Formal Ontology of Action: A Unifying Approach, Wydawnictwo KUL, Lublin 2008, PDF: [Download]