Foundations of a functional approach to knowledge representation.
Artificial Intelligence
Artificial Intelligence
Assumptions, beliefs and probabilities
Artificial Intelligence
Readings in Knowledge Representation
Readings in Knowledge Representation
Knowledge Representation in Fuzzy Logic
IEEE Transactions on Knowledge and Data Engineering
A Hybrid Belief System for Doubtful Agents
IPMU '90 Proceedings of the 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems: Uncertainty in Knowledge Bases
A theory of higher order probabilities
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Distinctions and confusions: a catalogue raisonne
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Uncertainty, belief, and probability
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Parallel formulation op evidential-reasoning theories
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A guide to the modal logics of knowledge and belief: preliminary draft
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Probabilistic description logics
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Probabilistic conceptual network: a belief representation scheme for utility-based categorization
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Representing context-sensitive knowledge in a network formalism: a preliminary report
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Representation requirements for supporting decision model formulation
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Belief functions on distributive lattices
Artificial Intelligence
| Hi-index | 0.00 |
This paper addresses the problem of bridging the gap between the fields of Knowledge Renresentation (KR) and Uncertain Reasoning (UR). The proposed solution consists of a framework for representing uncertain knowledge in which two components, one dealing with (categorical) knowledge and one dealing with uncertainty about this knowledge, are singled out. In this sense, the framework is "hybrid". This framework is characterized in both modeltheoretic and proof-theoretic terms. State of belief is represented by "belief sets", defined in terms of the "functional approach to knowledge representation" suggested by Levesque. Examples are given, using first order logic and (a minimal subset of) M-Krypton for the KR side, and a yes/no trivial case and Dempster-Shafer theory for the UR side.