On deontic action logics based on Boolean algebra
On deontic action logics based on Boolean algebra
复制标题
基于布尔代数的道义动作逻辑
DOI：
--
复制
发表时间：
2015
影响因子：
0.7
通讯作者：
P. Kulicki
中科院分区：
文献类型：
--
作者：
Robert Trypuz;P. Kulicki
摘要本文的目的是提供一个基于布尔代数的道义行为逻辑领域的元逻辑系统化。不同的是，这些系统涉及两个方面：道义行动逻辑的封闭性水平和根本不执行行动的可能性。本文还指出，这些体系中现有的义务定义由于其非直观的解释或自相矛盾的后果而不可接受。作为解决方案，我们提出了一个最小的公理化特征的义务与适当的类模型。本文还介绍了如何道义actionlogic可以用来回答问题，从波兰驾驶执照test.Keywords：道义行动逻辑，义务，原则obligationeconomy，封闭性，行动理论介绍在计算机科学中，逻辑系统通常是设计方面的应用铭记。这些系统的可重用性在很大程度上取决于它们更一般的比较分析和对它们的前提和后果的认识。现成的系统，具有众所周知的特点和性能，然后可以用于新的应用。为此，我们在道义作用逻辑领域提供了一个基于布尔代数的元逻辑系统。1982年的Segerberg是自20世纪50年代G. H. von Wright [26]和J. Kalinowski [10]发表了他们的
AbstractThe aim of the paper is to provide a metalogical systematisation in thearea of deontic action logic based on Boolean algebra. Differences amongthe systems involve two aspects: the level of closedness of a deontic actionlogic and the possibility of performing no action at all. It is also shownthat the existing definitions of obligation in these systems are unacceptabledue to their non-intuitive interpretation or paradoxical consequences. As asolution we propose a minimal axiomatic characterisation of obligation withan adequate class of models. The paper also describes how deontic actionlogic can be used to answer the questions from the Polish driving license test.Keywords: deontic action logic, obligation, principle of obligationeconomy, closedness, action theoryIntroductionWithin computer science, logical systems are usually designed with aspecific application in mind. Reusability of those systems depends largelyon their more general comparative analysis and the awareness of their pre-suppositions and consequences. The ready-made system, with well knowncharacteristics and properties, can be then used for new applications. Forthis reason we provide a metalogical systematisation in the area of deonticaction logic based on Boolean algebra.A Deontic Logic of Action [19], an article published by K. Segerberg in1982 was a milestone in the development of the logic in question since the1950s, when G. H. von Wright [26] and J. Kalinowski [10], published their