Impacto
Downloads
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
![]() |
PDF
Restringido a Repository staff only 250kB |
Official URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5680813&abstractAccess=no&userType=inst
Abstract
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