An algebraic method for managing reliability in propositional logics



Downloads per month over past year

Hernando, A. and Roanes-Lozano, E. and Montero, Javier (2010) An algebraic method for managing reliability in propositional logics. In Intelligent Systems and Knowledge Engineering (ISKE), 2010 International Conference on. IEEE, Hangzhou, 147 -152. ISBN 978-1-4244-6791-4

[thumbnail of Montero231.pdf] PDF
Restringido a Repository staff only


Official URL:


The aim of this paper is to expound an original algebraic model for managing information with different degrees of unreliability. This model is conceived as an extension of classical propositional logics in which each propositional formula is associated with an unreliability value, and results in an approach quite different from that of probabilistic logics. In our model, the logical notions of tautological consequence and consistency of a set of formulae are reformulated on behalf of the foreseen unreliability values. The core of the paper is related to the discovery of a remarkable relation between these unreliability values associated to tautological consequence and the calculation of the reduced Groebner basis of a polynomial ideal. In this way, our method for assigning these unreliability values to information and reasoning turns out to have a straightforward translation into algebraic terms.

Item Type:Book Section
Subjects:Sciences > Mathematics > Operations research
ID Code:28846
Deposited On:02 Mar 2015 15:40
Last Modified:18 Apr 2016 17:33

Origin of downloads

Repository Staff Only: item control page