The complexity of elementary algebra and geometry
Journal of Computer and System Sciences
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
A knowledge-based analysis of zero knowledge
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Some algebraic and geometric computations in PSPACE
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Two views of belief: belief as generalized probability and belief as evidence
Artificial Intelligence
Knowledge, probability, and adversaries
Journal of the ACM (JACM)
Reasoning about knowledge and probability
Journal of the ACM (JACM)
Probabilistic models for the guarded command language
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Formal verification of probabilistic systems
Formal verification of probabilistic systems
On the revision of probabilistic beliefs using uncertain evidence
Artificial Intelligence
Automatic verification of probabilistic concurrent finite state programs
SFCS '85 Proceedings of the 26th Annual Symposium on Foundations of Computer Science
A logic for reasoning about evidence
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Evidence-based trust: A mathematical model geared for multiagent systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Dynamic Logics of Evidence-Based Beliefs
Studia Logica
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
A probabilistic temporal logic that can model reasoning about evidence
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
On real-valued evaluation of propositional formulas
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
A propositional probabilistic logic with discrete linear time for reasoning about evidence
Annals of Mathematics and Artificial Intelligence
A logic of probabilistic knowledge and strategy
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
| Hi-index | 0.00 |
We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after making the observation). We provide a sound and complete axiomatization for the logic, and consider the complexity of the decision problem. Although the reasoning in the logic is mainly propositional, we allow variables representing numbers and quantification over them. This expressive power seems necessary to capture important properties of evidence.