Abstract
We present an approach to reasoning non-uniformly by default with uncertain, incomplete and inconsistent information using sets of rules/extended logic programs in the context of multivalued logics with a bilattice structure. A fixpoint semantics for extended logic programs used in the process of inference is described, along with its computational approach. We show how this theoretic approach is applicable to the problem of integration of imperfect information coming from multiple sources.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Deschrijver, G., Arieli, O., Cornelis, C., Kerre, E.: A bilattice-based framework for handling graded truth and imprecision. J. Uncertainty, Fuzziness and Knowledge-Based Systems 15(1) (2007)
Fitting, M.C.: The family of stable models. J. Logic Programming 17 (1993)
Fitting, M.C.: Fixpoint semantics for logic programming - a survey. Theoretical Computer Science 278 (2002)
Ginsberg, M.L.: Multivalued logics: a uniform approach to reasonning in artificial intelligence. Computationnal Intelligence 4 (1988)
Hué, J., Papini, O., Würbel, E.: Merging Belief Bases Represented by Logic Programs. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol. 5590, pp. 371–382. Springer, Heidelberg (2009)
Loyer, Y., Spyratos, N., Stamate, D.: Parameterised semantics for logic programs - a unifying framework. Theoretical Computer Science 308(1-3) (2003)
Loyer, Y., Spyratos, N., Stamate, D.: Hypothesis-based semantics of logic programs in multivalued logics. ACM Trans. Comput. Logic 15(3) (2004)
Przymusinski, T.C.: The well-founded semantics coincides with the three-valued stable semantics. Fundamenta Informaticae 13(4) (1990)
Shet, V.D., Neumann, J., Ramesh, V., Davis, L.S.: Bilattice-based logical reasoning for human detection. In: Proc. of 2007 IEEE Conference on Computer Vision and Pattern Recognition (2007)
Stamate, D.: Default reasoning with imperfect information in multivalued logics. In: Proc. of 38th IEEE International Symposium on Multiple-Valued Logic (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stamate, D., Pu, I. (2012). Imperfect Information Fusion Using Rules with Bilattice Based Fixpoint Semantics. In: Greco, S., Bouchon-Meunier, B., Coletti, G., Fedrizzi, M., Matarazzo, B., Yager, R.R. (eds) Advances in Computational Intelligence. IPMU 2012. Communications in Computer and Information Science, vol 299. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31718-7_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-31718-7_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31717-0
Online ISBN: 978-3-642-31718-7
eBook Packages: Computer ScienceComputer Science (R0)