This paper describes an overview of RITE-2 (Recognizing Inference in TExt) task in NTCIR-10. We evaluated systems that automatically recognize semantic relations between sentences such as paraphrase, entailment, contradiction in Japanese, Simplified Chinese and Traditional Chinese. The tasks in RITE-2 are Binary Classification of entailment (BC Subtask), Multi-Class Classification including par...

Solving conflicts between overlapping databases requires an understanding of the reasons that lead to the inconsistencies. Provided that conflicts do not occur randomly but follow certain regularities, patterns in the form of ”If condition Then conflict” provide a valuable means to facilitate their understanding. In previous work, we adopt existing association rule mining algorithms to identify...

In most expert systems, efforts are made to keep the rules in the knowledge base free from contradictions., because a logical system that generates even a single contradiction may collapse. We argue that not only can contradictions be tolerated, but in fact they are useful. An excellent test of an argument is to compare it with the best argument for the opposing view. Accordingly, we propose a ...

We present a theory of argumentation that can deal with contradiction within an argumentation framework, thus solving a problem posed in [1]. By representing logic programs as sets of interacting arguments, we can apply our results for general argumentation frameworks to logicprogramming semantics. This yields a new semantics for logic programs that properly extends traditional approaches such ...

A critical view of the alleged significance of Belnap four-valued logic for reasoning under inconsistent and incomplete information is provided. The difficulty lies in the confusion between truth-values and information states, when reasoning about Boolean propositions. So our critique is along the lines of previous debates on the relevance of many-valued logics and especially of the extension o...

In an article devoted to the Young Marx, I have already stressed the ambiguity of the idea of ‘inverting Hegel’. It seemed to me that strictly speaking this expression suited Feuerbach perfectly; the latter did, indeed, ‘turn speculative philosophy back on to its feet’, but the only result was to arrive with implacable logic at an idealist anthropology. But the expression cannot be applied to M...