The way experts manage uncertainty usually changes depending on the task they are performing. This fact has lead us to consider the problem of communicating modules (task implementations) in a large and structured knowledge based system when modules have different uncertainty calculi. In this paper, the analysis of the communication problem is made assuming that (i) each uncertainty calculus is...

Abstract Algebraic Logic is a general theory of the algebraization of deductive systems arising as an abstraction of the well-known Lindenbaum-Tarski process. The notions of logical matrix and of Leibniz congruence are among its main building blocks. Its most successful part has been developed mainly by BLOK, PIGOZZI and CZELAKOWSKI, and obtains a deep theory and very nice and powerful results ...

AI systems often need to deal with inconsistencies. One way of getting information about inconsistencies is by measuring the amount in knowledgebase. In past 20 years numerous inconsistency measures have been proposed. Many these are syntactic measures, that is, they based some on minimal inconsistent subsets Very little attention has given semantic ones models knowledgebase where notion a mode...

Paraconsistent logics are the formal systems in which absurdities do not trivialise the logic. In this paper, we give Hintikka-style game theoretical semantics for a variety of paraconsistent and non-classical logics. For this purpose, we consider Priest’s Logic of Paradox, Dunn’s First-Degree Entailment, Routleys’ Relevant Logics, McCall’s Connexive Logic and Belnap’s four-valued logic. We als...

There is an ongoing debate in the psychology of reasoning whether and how logic can be used to describe the human inference process. Many psychological findings indicate that humans deviate from classical logic inferences. Some researchers have proposed to use ternary logics instead to model human reasoning processes. In this article we re-analyze the famous Wason Selection Task that has been r...

Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper we introduce the strongest possible notion of maximal paraconsistency , and investigate it in the context of logics that are based on deterministic or non-deterministic three-valued matrices. We ...

In this position paper we start with a motivation of our study of modal/description logics with values in concept lattices. Then we give a brief survey of approaches to lattice-valued modal and/or description logics. After that we study some methods of context symmetrization, because the description logic on concept lattices is defined for symmetric co ntexts only. We conclude with a list of pr...