Buscar
Mostrando ítems 1-10 de 11
Defining LFIs and LFUs in extensions of infectious logics
(Taylor & Francis, 2016-10)
The aim of this paper is to explore the peculiar case of infectious logics, a group of systems obtained generalizing the semantic behavior characteristic of the (¬, ∧, ∨) -fragment of the logics of nonsense, such as the ...
Volume I: Recovery operators in logics of formal inconsistency
(Oxford University Press, 2019-01)
The classical recovery is an important result for non-classical logics and for the para- consistent programs in particular. Nevertheless, the main problem with some non-classical logics and with paraconsistency is its ...
Generalized abstract argumentation: A first-order machinery towards ontology debugging
(Sociedad Iberoamericana de Inteligencia Artificial, 2010-03)
Same as Dung's abstract argumentation framework (AF), the notion of generalized abstract argumentation framework (GenAF) aims at reasoning about inconsistency disregarding any logic for arguments; thus both the knowledge ...
Volume II: New advances in Logics of Formal Inconsistency
(Oxford University Press, 2019-01)
Contradictions crop up in an impressive number of real-life contexts of reasoning. On one hand, databases and other formalisms for knowledge representation very often display incomplete information. In many cases, this is ...
Non-deterministic Conditionals and Transparent Truth
(Springer, 2015-11)
Theories where truth is a naive concept fall under the following dilemma: either the theory is subject to Curry’s Paradox, which engenders triviality, or the theory is not trivial but the resulting conditional is too weak. ...
Inconsistent-tolerant base revision through argument theory change
(Oxford University Press, 2012-02)
Reasoning and change over inconsistent knowledge bases (KBs) is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation ...
Generalized abstract argumentation: Handling arguments in FOL fragments
(Springer, 2009-06)
Generalized argumentation frameworks relate formulae in classical logic to arguments based on the Dung's classic framework. The main purpose of the generalization is to provide a theory capable of reasoning (following ...
Truth without standard models: some conceptual problems reloaded
(Taylor & Francis, 2018-01)
A theory of truth is usually demanded to be consistent, but w -consistency is less frequently requested. Recently, Yatabe has argued in favour of w-inconsistent first-order theories of truth, minimising their odd consequences. ...
Sobre la inconsistencia de la interpretación de Everett de la mecánica cuánticaInconsistency within the Everett interpretation of quantum mechanics
(Universidad Nacional de QuilmesUniversidad Nacional de Tres de Febrero, 2017-04-01)
De las muchas interpretaciones de la mecánica cuántica (MC), pocas han sido tan divulgadas como la de Everett. Esta formulación se supone realista y libre de los problemas que aquejan a la interpretación de Copenhague. En ...
On the (In)consistency of RE Modeling
(Universidad de Buenos Aires. Facultad de Ciencias Económicas. Instituto Interdisciplinario de Economía Política de Buenos Aires, 2018-05)
Rational Expectations (RE) is typically interpreted as: (i) an equivalence between the probability distribution of future outcomes informing agents´ decisions and the objective distributions; or: (ii) a correspondence ...