Results 111 to 120 of about 812 (177)
Handling Inconsistency in Knowledge Bases
, 2017 Real-world automated reasoning systems, based on classical logic, face logically inconsistent information, and they must cope with it. It is onerous to develop such systems because classical logic is explosive.
Jayakumar, Badrinath
core +1 more source
Newton da Costa e a Filosofia da Quase-Verdade
Principia: An International Journal of Epistemology, 2009 This paper intends to introduce the three issues of Principia which will appear in a sequel honoring Newton da Costa’s 80th birthday. Instead of presenting the papers one by one, as it is common in presentations such as this one, we have left the papers ...
Décio Krause
doaj
Paraconsistent OWL and Related Logics
, 2012 The Web Ontology Language OWL is currently the most prominent formalism for representing ontologies in Semantic Web applications. OWL is based on description logics, and automated reasoners are used to infer knowledge implicitly present in OWL ontologies.
Ma, Yue +5 more
core
(Wittgenstein & Paraconsistência)
Principia: An International Journal of Epistemology, 2010 In classical logic, a contradiction allows one to derive every other sentence of the underlying language; paraconsistent logics came relatively recently to subvert this explosive principle, by allowing for the subsistence of contradictory yet non-trivial
João Marcos
doaj
Remarks on da costa's paraconsistent set theories [PDF]
, 1985 In this paper we analyse da Costa's paraconsistent set theories, i.e., the set theories constructed over da Costa's paraconsistent logics C=n, 1 ≤ n ≤ ω. The main results presented here are the following. In any da Costa paraconsistent set theory of type
Arruda, Ayda Ignez
core
Paraconsistent vagueness: Why not?
, 2008 The idea that the phenomenon of vagueness might be modelled by a paraconsistent logic has been little discussed in contemporary work on vagueness, just as the idea that paraconsistent logics might be fruitfully applied to the phenomenon of vagueness has ...
Colyvan, Mark +3 more
core +1 more source
Paraconsistent Constructive Modal Logic
We present a family of paraconsistent counterparts of the constructive modal logic CK. These logics aim to formalise reasoning about contradictory but non-trivial propositional attitudes like beliefs or obligations. We define their Kripke-style semantics based on intuitionistic frames with two valuations which provide independent support for truth and ...
Gao, Han +2 more
openaire +3 more sources
Paraconsistent Logics in Artificial Intelligence and Robotics
, 2007 . This papers presents some ideas on using paraconsistent and overcomplete logics to represent and to reason about knowledge in Artificial Intelligence systems.
Flávio S. Correa da Silva +3 more
core
Useful adaptive logics for rational and paraconsistent reasoning
, 2000 We introduce a family of logics that are particularly useful for reasoning with uncertainty. The consequence relations considered here are defined by a simple and natural semantics, and have many desirable properties.
Arieli, Ofer
core