نتایج جستجو برای: conversion by contradiction
تعداد نتایج: 7094892 فیلتر نتایج به سال:
This paper is the continuation of 1] in this volume. There we present a sceptical semantics which avoids contradiction for extended logic programs plus integrity contraints in the form of denials, based on the notion of optative hypotheses {an abductive approach. In this part we deene a program revision method for removing contradiction from contradictory programs under WFSX, based on the notio...
By interpreting ‘p is impossible’ by ‘p is selfcontradictory’, and ‘p is always’ by ‘not p is self-contradictory’, this paper studies which of the three-valued systems of Łucasiewicz, Gödel, Kleene, Bochvar, and Post, do verify the Aristotle’s principles of Non-Contradiction (NC), and Excluded-Middle (EM). Keywords— Systems of three-valued logic, Non-Contradiction, Excluded-Middle.
The purpose of this paper is to extend the ELECTRE method based on intuitionistic fuzzy sets in decision analysis and experimental analysis on the proposed methods’ contradiction rate. We identify different kinds of concordance and discordance sets, e. g. concordance, midrange concordance, weak concordance, discordance, midrange discordance and weak discordance for each ordering at the proposed...
In a previous paper, we proposed an axiomatic model for measuring self-contradiction in the framework of Atanassov fuzzy sets. This way, contradiction measures that are semicontinuous and completely semicontinuous, from both below and above, were defined. Although some examples were given, the problem of finding families of functions satisfying the different axioms remained open. The purpose of...
We present a novel and uniform technique for normal logic program declarative error diagnosis. We lay down the foundations on a general approach to diagnosis using logic programming, and bring out the close relationship between debugging and fault{{nding. Diagnostic debugging can be enacted by contradiction removal methods. It relies on a simple program transformation to provide a contradiction...
This paper presents an analysis of contradictions in urban low carbon transitions as engines of change. Following Kojève’s reading of contradiction in Hegel’s oeuvre, I argue that contradiction is a constitutive feature of low carbon interventions. This is an alternative to conventional readings of contradiction as a provisional encounter of opposites in which one will eventually cancel out the...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید