资源分类
》 资源 》论文》What Is an Ideal Logic for Reasoning with Inconsistency? Ofer Arieli Arnon Avron Anna Zamansky

What Is an Ideal Logic for Reasoning with Inconsistency? Ofer Arieli Arnon Avron Anna Zamansky

2019-11-12 | |  37 |   30 |   0
Abstract Many AI applications are based on some underlying logic that tolerates inconsistent information in a non-trivial way. However, it is not always clear what should be the exact nature of such a logic, and how to choose one for a speci?c application. In this paper, we formulate a list of desirable properties of “ideal” logics for reasoning with inconsistency, identify a variety of logics that have these properties, and provide a systematic way of constructing, for every n > 2, a family of such n-valued logics.

上一篇：Heuristic Algorithms for Balanced Multi-Way Number Partitioning Jilian Zhang Kyriakos Mouratidis HweeHwa Pang

下一篇：Walking the Complexity Lines for Generalized Guarded Existential Rules Jean-Franc?ois Baget Marie-Laure Mugnier Sebastian Rudolph Michae?l Thomazo

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...