6533b7d2fe1ef96bd125f47e

RESEARCH PRODUCT

An Algebraic Approach to Knowledge Representation

Janis Cirulis

subject

Pure mathematicsKnowledge representation and reasoningComputer scienceBinary relationComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONBelief systemNatural (music)IsomorphismAlgebraic numberBelief revisionLogical consequenceAxiom

description

This paper is an attempt to apply domain-theoretic ideas to a new area, viz. knowledge representation. We present an algebraic model of a belief system. The model consists of an information domain of special kind (belief algebra) and a binary relation on it (entailment). It is shown by examples that several natural belief algebras are, essentially, algebras of flat records. With an eye on this, we characterise those domains and belief algebras that are isomorphic to domains or algebras of records. For illustration, we suggest a system of axioms for revision in such a model and describe an explicit construction of what could be called a maxichoise revision.

yearjournalcountryeditionlanguage
1999-01-01
https://doi.org/10.1007/3-540-48340-3_27