有序论域中的近似蕴涵逻辑
Logic for approximate entailment in ordered universes of discourse
摘要：
近似蕴涵逻辑（LAE）是经典命题演算的分级对应，其中只能得出近似正确的结论。这是通过为潜在的可能世界集合配备相似关系来实现的。然而，当在应用中使用这种逻辑时，必须接受一个缺点;即，在LAE中，不可能以合取的方式组合结论。为了克服这一缺点，我们提出了在本文中的修改LAE，在语义层面上，底层的一组世界，而且赋予了秩序结构。所选择的框架是针对可能的应用而设计的。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
