نتایج جستجو برای: conversion by contradiction

تعداد نتایج: 7094892  

1993
José Júlio Alferes Luís Moniz Pereira

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...

2009
Enric Trillas Claudio Moraga Eloy Renedo

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.

2011
Ming-Che Wu Ting-Yu Chen

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...

Journal: :International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 2012
Elena Castiñeira Carmen Torres-Blanc Susana Cubillo

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...

1993
Luís Moniz Pereira Carlos Viegas Damásio José Júlio Alferes

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...

2015
Vanesa Castán Broto

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...

Journal: :Educational Discourse: collection of scientific papers 2019

Journal: :The Copenhagen Journal of Asian Studies 2009

Journal: :International Journal of Computational Intelligence Systems 2020

200420052006200720082009201020112012201320142015201620172018201920202021202220230100000200000300000400000

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید