中文

优先的和优先-歧视性后果关系

人工智能 2007-05-23 v6 计算机科学中的逻辑

摘要

本文研究的是同时非单调性和矛盾容忍的后果关系。更准确地说,我们关注的是优先后果关系,即由对标记为价值的状态上建立的二进制优先关系定义的后果关系。我们使用一种通用的价值概念,涵盖经典价值以及某些多值价值。对于多值情况,优先后果关系是矛盾容忍的(此外也是非单调的),即它们能够从包含矛盾的合理结论中得出结论。本文第一个目的在于在通用框架下,对several families of优先关系提供语法特征。第二个主要目的是在我们的通用框架内,提供several families of优先歧视性后果关系的特征。它们被定义为纯粹版本,但任何使得其否定也是结论的结论都被拒绝(在多值情况下,这些关系引入了本质的新内容)。

关键词

引用

@article{arxiv.cs/0506030,
  title  = {Preferential and Preferential-discriminative Consequence relations},
  author = {Jonathan Ben-Naim},
  journal= {arXiv preprint arXiv:cs/0506030},
  year   = {2007}
}

备注

team Logic and Complexity, written in 2004-2005