Logics for Approximate Entailment in ordered universes of discourse
arXiv (Cornell University)(2016)
摘要
The Logic of Approximate Entailment (LAE) is a graded counterpart of classical propositional calculus, where conclusions that are only approximately correct can be drawn. This is achieved by equipping the underlying set of possible worlds with a similarity relation. When using this logic in applications, however, a disadvantage must be accepted; namely, in LAE it is not possible to combine conclusions in a conjunctive way. In order to overcome this drawback, we propose in this paper a modification of LAE where, at the semantic level, the underlying set of worlds is moreover endowed with an order structure. The chosen framework is designed in view of possible applications.
更多查看译文
关键词
Approximate reasoning,Logic of Approximate Entailment,Conjuncitve combination of conclusions,Ordered universe of discourse,Modal logic S4.3
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络