Results 21 to 30 of about 339,779 (297)

Belief Change without Compactness

CLEI Electronic Journal, 2021
Dealing with dynamics is a vital problem in Artificial Intelligence (AI). An intelligent system should be able to perceive and interact with its environment to perform its tasks satisfactorily.
Jandson S Ribeiro
doaj   +1 more source

Conditionals and modularity in general logics [PDF]

, 2010
In this work in progress, we discuss independence and interpolation and related topics for classical, modal, and non-monotonic ...
Gabbay, Dov, Schlechta, Karl
core   +2 more sources

Logical Paradoxes in Non-Classical Logic Systems [PDF]

, 2021
It is shown that well-known logical paradoxes such as Barber paradox can be interpreted differently in non-classical logic systems such as multi-valued, continuous and quantum logic with possibility of solutions of the paradox. The results of this research can have applications in investigations of completeness of logic systems.
openaire   +1 more source

Method of marks for propositional linear temporal logic

Lietuvos Matematikos Rinkinys, 2014
It is known that traditional techniques used to ensure termination of a decision procedure in non-classical logics are based on loop-checking, in general.
Regimantas Pliuškevičius
doaj   +1 more source

What is a Paraconsistent Logic? [PDF]

, 2018
Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is
Alexej Pynko, Arnon Avron, Arnon Avron, Bogdan Dicher, Dana Scott, David Ripley, David Ripley, David Ripley, David Shoesmith, Dov Gabbay, Eduardo Barrio, Edwin Mares, Elia Zardini, Emmanuel Chemla, Florencio Asenjo, Graham Priest, Grzegorz Malinowski, Grzegorz Malinowski, Grzegorz Malinowski, Igor Urbas, Jean-Yves Girard, Lloyd Humberstone, Pablo Cobreros, Pablo Cobreros, Robert Stärk, Rohan French, Szymon Frankowski, Szymon Frankowski, Walter Carnielli, Willem Blok, Yaroslav Shramko   +30 more
core   +1 more source

A specialization of definitions in common knowledge logic

Lietuvos Matematikos Rinkinys, 2011
It is known that one of main aims of specializations of derivations in nonclassical logics is the various tools which allow us to simplify the searching of termination of derivations.
Aurimas Paulius Girčys, Regimantas Pliuškevičius   +1 more
doaj   +1 more source

Logic as a Puzzle-Solving Activity

Análisis Filosófico, 2021
Some authors have recently argued in favor of anti-exceptionalism about logic. The general idea is that logic is not different from the other sciences, and its principles are as revisable as scientific principles. This paper has three sections.
Diego Tajer
doaj   +1 more source

Many-valued logics. A mathematical and computational introduction. [PDF]

, 2020
2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values.
Augusto, Luis M.
core  

The Grand Challenges and Myths of Neural-Symbolic Computation [PDF]

, 2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field.
Lamb, Luis C.
core   +1 more source

Proof Complexity of Non-classical Logics [PDF]

, 2012
Proof complexity is an interdisciplinary area of research utilising techniques from logic, complexity, and combinatorics towards the main aim of understanding the complexity of theorem proving procedures. Traditionally, propositional proofs have been the main object of investigation in proof complexity.
Beyersdorff, O, Kutz, O
openaire   +3 more sources