Knowledge Representation and Logic for Beliefs
ثبت نشده
چکیده
This paper presents Belief Augmented Frames, or BAFs. A BAF represents a concept or item in the world, and slotvalue pairs represent relations between BAFs. Each BAF is assigned two belief masses. The Supporting Mass represents the degree in which the evidence supports the existence of the concept or object represented by the BAF. The Refuting Mass represents the degree in which the evidence refutes the existence of the concept or object. The novelty of BAFs comes from the independence between the Supporting and Refuting masses. A logic system called BAF-Logic based on fuzzy-logic style min-max functions and Predicate Logic is also introduced to perform reasoning on BAF and their relations. An example application of BAFs to the text classification problem is given.
منابع مشابه
Limited Reasoning in First-Order Knowledge Bases with Full Introspection
A fundamental problem in knowledge representation is that reasoning, if based on classical logic, is inherently intractable or even undecidable. A principled approach to specifying more eecient inference mechanisms is to use weaker logics with non-standard model theories. In this paper we extend earlier work on a logic of belief for decidable deductive rst-order reasoning by adding the ability ...
متن کاملModalities in Knowledge Representation
Standard knowledge representation systems are supposed to be able to represent either common or individual knowledge about the world. In this paper we propose an extension to such knowledge representation systems which, in a uniform manner, allows to express beliefs of multiple agents as well as knowledge, desire, time and in fact any modality which has a rst-order predicate logic possible worl...
متن کاملInterleaving Belief Updating and Reasoning in Abductive Logic Programming
Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed either before or after the beliefs are changed. This imposes that, if an update occurs while reasoning is performed, reasoning has to be stopped and re-started anew so that the update is taken into account, with an obvious wast...
متن کاملA Knowledge Representation Framework Based on Autoepistemic Logic of Minimal Beliefs
In recent years, various formalizations of nonmonotonic reasoning and di&rent semantics for normal and disjunctive logic programs have been proposed, including autoepisttic logic, circumscription, CWA, GCWA, ECWA, epi&mic specfications, stable, well-founded, stationary and static semantics of normal and disjunctive logic programs. In this paper we introduce a simple non-monotonic knowledge repr...
متن کاملBelief Revision in Non-Monotonic Reasoning and Logic Programming
In order to be able to explicitly reason about beliefs, we've introduced a non-monotonic formalism, called the Autoepistemic Logic of Beliefs, AEB, obtained by augmenting classical propositional logic with a belief operator, B. For this language we've deened the static autoepistemic expansions semantics. The resulting non-monotonic knowledge representation framework turned out to be rather simp...
متن کاملOrganization of Gatekeeping and Mental Framework in the System of Representation and Hierarchical Relational Structures of the Modern Society
Critical discourse analysis as a type of social practice reveals how linguistic choices enable speakers to manipulate the realizations of agency and power in the representation of action.The present study examines the relationship between language and ideology and explores how such a relationship is represented in the analysis of spoken text and to show how declarative knowledge, beliefs, attit...
متن کامل