Sound and Complete Logic for Deontic Reasoning

机译：道义推理的完善逻辑

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

By adding a DONE predicate to P(D sub e)L one obtains a sound and complete proof system for deontic propositions. Also in the case of interpreted actions, a complete system can be given using the notion of a strongest postcondition. Finally, an extension of P(D sub e)L, involving a 'no pardon principle' and an action of 'remission', is discussed.

著录项

作者
Meyer, J. J. C.;
展开▼
作者单位

展开▼
年度 1986
页码 1-20
总页数 20
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Reasoning; Mathematical logic; Mathematical models; Set theory; Semantics; Theorems;

机译：推理;数学逻辑;数学模型;集合论;语义学;定理;

相似文献

外文文献
中文文献
专利

1. LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) [J] . Christoph Benzmüller, Ali Farjami, David Fuenmayor, Data in Brief . 2020,第2期

机译：Logikey Workbench：语言，逻辑组合和表现形式的道德和法律推理（Isabelle / HOL DataSet）
2. Deontic Norms, Deontic Reasoning, And Deontic Conditionals [J] . Sieghard Beller Thinking & Reasoning . 2008,第4期

机译：道义规范，道义推理和道义条件
3. Non-monotonic reasoning with normative conflicts in multi-agent deontic logic [J] . MATHIEU BEIRLAEN, CHRISTIAN STRASSER Journal of logic and computation . 2014,第6期

机译：多主体正演逻辑中具有规范冲突的非单调推理
4. Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic [C] . Takahiro Tagawa, Jingde Cheng 7th Pacific Rim International Conference on Artificial Intelligence, Aug 18-22, 2002, Tokyo, Japan . 2002

机译：道义相关逻辑：从道义逻辑中消除悖论的强大关联逻辑方法
5. Paraconsistency and deontic logic: Formal systems for reasoning with normative conflicts. [D] . McGinnis, Casey Neil. 2007

机译：超一致性和定理逻辑：带有规范冲突的推理形式系统。
6. LogiKEy workbench: Deontic logics logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) [O] . Christoph Benzmüller, Ali Farjami, David Fuenmayor, 2020

机译：Logikey Workbench：语言逻辑组合和表现形式的道德和法律推理（Isabelle / HOL DataSet）
7. A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. [O] . J.-J. Ch. Meyer 1987

机译：一种不同的语法逻辑方法：视网膜逻辑被视为动态逻辑的变种。

Sound and Complete Logic for Deontic Reasoning

摘要

著录项

相似文献

相关主题

期刊订阅