Semantical considerations on nonmonotonic logic
Artificial Intelligence
Axioms for a theory of semantic equivalence
Fuzzy Sets and Systems
Belief, awareness, and limited reasoning
Artificial Intelligence
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
Likelihood, probability, and knowledge
Computational Intelligence
Uncertainty, belief, and probability
Computational Intelligence
Two views of belief: belief as generalized probability and belief as evidence
Artificial Intelligence
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
A logic of knowledge and justified assumptions
Artificial Intelligence
Artificial Intelligence
Belief as defeasible knowledge
Artificial Intelligence
Reasoning about knowledge
Android epistemology
A nonstandard approach to the logical omniscience problem
Artificial Intelligence
Dynamic reasoning with qualified syllogisms
Artificial Intelligence
Combining partial and classical semantics. A hybrid approach to belief and awareness
Partiality, modality, and nonmonotonicity
Layman's probability theory: a calculus for reasoning with linguistic likelihood
Information Sciences—Informatics and Computer Science: An International Journal
A Deduction Model of Belief
Fuzzy logic = computing with words
IEEE Transactions on Fuzzy Systems
Knowledge forgetting: Properties and applications
Artificial Intelligence
| Hi-index | 0.00 |
This paper introduces a formal system Σ of subjective epistemic reasoning that encodes a method of reasoning with conditions of knowledge and belief. The conditions are subjective in that they are taken from the perspective of an agent's perception of his own state of knowledge or belief with respect to his observable world. Belief is measured along a series of linguistic degrees, e.g., strongly believes, fairly confidently believes, somewhat disbelieves, etc., and knowledge is taken as unequivocal belief. The system employs a novel, dual-leveled language that follows fuzzy logic by interpreting the logical or and and as the arithmetical max and min. Numerous properties of Σ, illustrating its intuitive appeal for the intended purpose, are derived.