Accumulation and inference over finite-generated algebras for mapping approximations
In this paper we propose a generalization of Belnap's method in which we assign values to the elements of a Boolean Algebra of Propositions to represent the partial knowledge known of a valuation over the algebra. This generalizations includes mappings that are not a homomorphism respect to all the operations, but only respect to some, like the measures of possibility or of necessity. We also propose the generalization of the method by which we can refer to and accumulate all the available information of a set of generators. This will let us make inferences of valid approximations.
KeywordsBoolean Algebra Valid Approximation Balearic Island Information Lattice Partial Knowledge
Unable to display preview. Download preview PDF.
- 1.N.D. Belnap, Jr. A useful four-valued logic. In G. Epstein, editor, Modern Uses of Multiple Valued Logic, pages 8–40. Boston, MA, 1977.Google Scholar
- 2.Jaume Casasnovas. Contribution a una Formalización de la Inferencia Directa. PhD thesis, Universitat de les Illes Balears, Palma de Mallorca, Spain, 1989.Google Scholar
- 3.D. Driankov. Towards a many-valued logic of quantified belief: The information lattice. International Journal of Intelligent Systems, 6:135–166, 1991.Google Scholar
- 4.D. Dubois and H. Prade. Properties of measures of information in evidence and possibility theories. Fuzzy Sets and Systems, 24:161–182, 1987.Google Scholar
- 5.D. Dubois and H. Prade. The treatment of uncertainty in the knowledge-based systems using fuzzy sets and possibility theory. International Journal of Intelligent Systems, 3:141–165, 1988.Google Scholar
- 6.José Miró-Juliá. Contribución al Estudio de la Demostración Automática. PhD thesis, Universitat de les Illes Balears, Palma de Mallorca, Spain, July 1988.Google Scholar
- 7.Helena Rasiowa. An Algebraic Approach to Non-Classical Logics. North Holland, Amsterdam, 1974.Google Scholar