Results 141 to 150 of about 1,037 (173)

Reasoning in Paraconsistent Logics

1991
Databases and knowledge bases could be inconsistent in many ways. For example, if a programmer is constructing an expert system ES relating to a domain D,he does so by consulting several experts (say n in number) in the field D. From each expert d i , 1 ≤ i ≤ n, he obtains some information, and this may be represented in logic as a collection of ...
James J. Lu, Lawrence J. Henschen, V. S. Subrahmanian, Newton C. A. da Costa   +3 more
openaire   +1 more source

The psychological aspects of paraconsistency

Synthese, 2021
K. Rudnicki
semanticscholar   +2 more sources

Paraconsistent Reactive Graphs

This paper introduces Paraconsistent Reactive Graphs, as an extension of Reactive graphs that incorporates paraconsistency into the ground edges to address vagueness and inconsistency within dynamic systems. By assigning pairs of truth values to ground edges, this framework captures the uncertainty and contradictions stemming from incomplete or ...
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa   +2 more
openaire   +2 more sources

Paraconsistent logics and applications

4th International Workshop on Soft Computing Applications, 2010
In this expository paper we discuss some applications of paraconsistent annotated logics. They have the capability of manipulating concepts like fuzziness, inconsistency, and paracompleteness in a non-trivial manner. Such systems are new and they were discovered recently at the end of last century.
openaire   +1 more source

Can Başkent, Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer International Publishing, Outstanding Contributions to Logic, Vol. 18, 2019, pp. 704+xi; ISBN 978-3-030-25367-7 (Softcover) 106.99 €, ISBN 978-3-030-25364-6 (Hardcover) 149.79 €.

Studia Logica: An International Journal for Symbolic Logic, 2022
Bożena Czernecka-Rej
semanticscholar   +1 more source

Paraconsistent analytic implication

Journal of Philosophical Logic, 1984
''Analytic implications'' in the style of Parry are marked by the property that an implication \(A\to B\) is not considered as true unless the ''content'' of B is already included in that of A. A formal system motivated along these lines was studied, in both an axiomatic and a model-theoretic manner, by \textit{J. M. Dunn} [Notre Dame J.
openaire   +1 more source

Annotated Paraconsistent Logic

2009
This paper presents a general view from the Two-Valued Annotated Paraconsistent Logic – 2vAPL to the Four-Valued Annotated Paraconsistent Logic – 4vAPL. The purpose to expand 2vAPL to 4vAPL is to enable the insertion of opinions from Experts in the knowledge base, so that the problems described approach their real condition, once ...
Helga Gonzaga Martins, Carlos Henrique Valério de Moraes, Claudio Inácio de Almeida Costa, Germano Lambert-Torres, Antônio Faria Neto   +4 more
openaire   +1 more source

Paraconsistency and Paracompleteness in AI: Review Paper

Smart Innovation, Systems and Technologies, 2023
Jair Minoro Abe, João Inácio Da Silva Filho, Kazumi Nakamatsu   +2 more
exaly  

Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa

Studia Logica: An International Journal for Symbolic Logic
Abilio Rodrigues, M. Nasieniewski, R. Nicolás-Francisco   +2 more
semanticscholar   +1 more source

The Dynamics of Imperfect Reasoning: Change, Paraconsistency and Knowledge

Logica Universalis
Rafael Ongaratto
semanticscholar   +1 more source