Combining Multiple-Valued Logics in Modular Expert Systems

03/20/2013
by   Jaume Agustí-Cullell, et al.
0

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 an inference mechanism defining an entailment relation, and therefore the communication is considered to be inference-preserving, and (ii) we restrict ourselves to the case which the different uncertainty calculi are given by a class of truth functional Multiple-valued Logics.

READ FULL TEXT

page 1

page 2

page 3

page 4

page 8

research
03/31/2022

A generalization of falsity in finitely-many valued logics

The paper proposes a new type of negation in multi-valued logics, provid...
research
10/17/2018

Many-valued logics inside λ-calculus: Church's rescue of Russell with Bohm trees

We extend the Church encoding of the Booleans and two-valued Boolean Log...
research
02/04/2022

Modular many-valued semantics for combined logics

We obtain, for the first time, a modular many-valued semantics for combi...
research
09/22/2020

Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics

Paraconsistent logics constitute an important class of formalisms dealin...
research
03/27/2013

Incidence Calculus: A Mechanism for Probabilistic Reasoning

Mechanisms for the automation of uncertainty are required for expert sys...
research
09/02/2019

Soft Triangles for Expert Aggregation

We consider the problem of eliciting expert assessments of an uncertain ...
research
06/27/2016

Propagators and Solvers for the Algebra of Modular Systems

To appear in the proceedings of LPAR 21. Solving complex problems can ...

Please sign up or login with your details

Forgot password? Click here to reset