Deontic Action Logic (SONATA 2011-2014)

The project funded by the National Science Center of Poland


Project description

In recent years, deontic logic gains interest, particularly in the context of information systems. Among many types of deontic logic significant position occupies deontic action logics. Areas of application of the logics in question include: security of computer systems, systems of fault tolerance, contracts between artificial agent, application of artificial intelligence to legal issues. Those applications gave rise to a significant number of systems of deontic action logic.

It should be noted, however, that the systems of deontic action logic have not received so far a wider formal analysis or a systematic study of adequacy with respect to a formal representation of legal and ethical norms or computer applications in which the norms are present. Widely  known introductory texts on deontic logic either do not inform about deontic action logic at all or just mention its existence. We believe that their theoretical and practical value is significant enough to deserve a specialized study. Our project fills existing gap.
Thus the project aims at a critical analysis of existing systems of deontic action logic, their comparison, study of their cognitive and practical values.

Systems of deontic action logic that are created nowadays are usually a result of work on  specific problems occurring in information systems. However, the results are often treated by their authors as universal and the conditions of their applicability are not specified. Moreover, similar results obtained earlier are sometimes ignored. Thus, there is a need for analysis which could be regarded as foundational research on the subject. The proposed project aims at such a result.
It is worth noting that in different contexts deontic notions have a specific meaning and for an adequate characterization of them different systems have to be constructed and their presuppositions have to be stated. In our opinion the proper foundation of such systems has to be an ontological theory of action. Only on such a  basis systems of logic of norms can be analyzed and elaborated. Such an approach can be used for integration of the existing results from philosophical logic with the results originating from computer science and to specify the conditions under which various systems can be applied.
A systematisation of existing deontic action logics and basing them on the ontological theory of action make it possible to apply such logics more widely in information systems in which norms occur and also in reasoning about norms in law and ethics. Among researchers working in the above mentioned fields deontic logic, because of paradoxes occurring in the so called classical deontic logic is not appreciated. A critical presentation of systems of deontic action logic and conditions of their application may change that situation.

The project aims also at creation of a formal theory of norms and action on the basis of existing systems of deontic action logic and action theories. The theory is to be adequate with respect to chosen legal and ethical norms and safety regulations in information systems, which will be extensively studied in the project, and should be a useful tool for reasoning.

Project publications

(and some more published before starting the project)

Robert Trypuz, Piotr Kulicki: A deontic logic of actions and states. In: Cariani, Fabrizio; Grossi, Davide; Meheus, Joke; Parent, Xavier (Ed.): Deontic Logic and Normative Systems, 8554 , pp. 258-272, Springer, 2014, ISBN: 978-3-319-08614-9.

Piotr Kulicki, Robert Trypuz: Completely and partially executable sequences of actions in deontic context. In: Synthese, 192 (4), pp. 1117-1138, 2015, ISSN: 0039-7857.

Robert Trypuz, Piotr Kulicki: Jerzy Kalinowski's logic of normative sentences revisited. In: Studia Logica, 103 (2), pp. 389-412, 2015, ISSN: 0039-3215.

Piotr Kulicki, Robert Trypuz: Modelowanie działań i norm w logice deontycznej. In: Księga Pamiątkowa, pp. 57-70, Wydawnictwo Adam Marszałek, 2013.

Piotr Kulicki, Robert Trypuz: Doing the right things -- trivalence in deontic action logic. In: Egre, Paul; Ripley, David (Ed.): Trivalent Logics and their applications, Proceedings of the ESSLLI 2012 Workshop, pp. 53-63, 2012.

Robert Trypuz, Piotr Kulicki: On deontic action logics based on Boolean algebra. In: Journal of Logic and Computation, 25 (5), pp. 1241-1260, 2015.

Piotr Kulicki, Robert Trypuz: Two faces of obligation. In: Brożek, Anna; Jadacki, Jacek; Zarnic, Berislav (Ed.): Theory of Imperatives from Different Points of View, Wydawnictwo Naukowe Semper, 2013, ISBN: 978-83-7507-205-1.

Piotr Kulicki, Robert Trypuz: A deontic action logic with sequential composition of actions. In: Agotnes, Thomas; Broersen, Jan; Elgesem, Dag (Ed.): Deontic Logic in Computer Science, Lecture Notes in Computer Science, pp. 184–198, Springer Berlin / Heidelberg, DOI: 10.1007/978-3-642-31570-1_13, 2012, ISBN: 978-3-642-31569-5.

Project related:

Robert Trypuz, Piotr Kulicki: A Norm-giver Meets Deontic Action Logic. In: Logic and Logical Philosophy, 20 , pp. 59–-72, 2011.

Piotr Kulicki, Robert Trypuz: How to Build a Deontic Action Logic. In: The Logica Yearbook, pp. 107–-120, College Publications, 2011.

Trypuz, Robert: A Completeness Proof of Kiczuk's Logic of Physical Change. In: Studia Logica, 2010, ISBN: 0039-3215.

Robert Trypuz, Piotr Kulicki: Towards metalogical systematisation of deontic action logics based on Boolean algebra. In: Governatori, Guido; Sartor, Giovanni (Ed.): Deontic Logic in Computer Science (DEON 2010), pp. 132–147, 2010, ISBN: 978-3-642-14182-9.

Robert Trypuz, Piotr Kulicki: A systematics of deontic action logics based on Boolean algebra. In: Logic and Logical Philosophy, 18 (3--4), pp. 253–270, 2009.

Robert Trypuz: Przyczynek do analizy wartości poznawczej systemów logiki sprawczości. In: Roczniki Filozoficzne, LVII (1), 2009.

Robert Trypuz: Setna -- prosta teoria norm i działań. In: Filozofia Nauki, 3--4 (63--64) , pp. 155–175, 2008.

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.

Robert Trypuz: Formal Ontology of Action: a unifying approach. Universit`a degli Studi di Trento, ICT International Doctorate School, 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.

Robert Trypuz: Spór o wartość logiczną norm. Logika norm a logika deontyczna. In: Roczniki Filozoficzne, LII (1), pp. 293–316, 2004.