arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv cs/0506030cs.AIcs.LO
收藏

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

Preferential and Preferential-discriminative Consequence relations

Jonathan Ben-Naim

摘要:

本文研究了非单调和次协调的推论关系。更确切地说,我们把重点放在优先后果关系,即那些关系,可以定义为一个二元偏好关系的状态标记的估值。我们研究了估值的一般概念,它涵盖了例如经典估值以及某些类型的多值估值。在多值情况下,优先后件关系是次协调的(除了是非单调的),即它们能够得出包含矛盾的合理结论。本文的第一个目的是在我们的一般框架中提供几个家庭的优先关系的句法特征。第二个和主要目的是提供,再次在我们的一般框架,几个家庭的优惠歧视后果关系的特征。它们被精确地定义为简单的版本,但是任何结论,使得它的否定也是一个结论被拒绝(这些关系在多值情况下本质上带来了一些新的东西)。

英文摘要:

The present paper investigates consequence relations that are both non-monotonic and paraconsistent. More precisely, we put the focus on preferential consequence relations, i.e. those relations that can be defined by a binary preference relation on states labelled by valuations. We worked with a general notion of valuation that covers e.g. the classical valuations as well as certain kinds of many-valued valuations. In the many-valued cases, preferential consequence relations are paraconsistant (in addition to be non-monotonic), i.e. they are capable of drawing reasonable conclusions which contain contradictions. The first purpose of this paper is to provide in our general framework syntactic characterizations of several families of preferential relations. The second and main purpose is to provide, again in our general framework, characterizations of several families of preferential discriminative consequence relations. They are defined exactly as the plain version, but any conclusion such that its negation is also a conclusion is rejected (these relations bring something new essentially in the many-valued cases).

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑