Measure Logic

Authors:
Nebojsa Ikodinovic;Miodrag Raskovic;Zoran Markovic;Zoran Ognjanovic
Affiliations:
Prirodno-matematički fakultet, Kragujevac, Serbia 34000;Mathematical Institute, Belgrade, Serbia 11000;Mathematical Institute, Belgrade, Serbia 11000;Mathematical Institute, Belgrade, Serbia 11000
Venue:
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Year:
2007

Citing 5
Cited 0

A logic for reasoning about probabilities

Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
An introduction to possibilistic and fuzzy logics

Readings in uncertain reasoning
Reasoning about knowledge and probability

Journal of the ACM (JACM)
Plausibility measures and default reasoning

Journal of the ACM (JACM)
Probabilistic Default Reasoning with Conditional Constraints

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we investigate logic which is suitable for reasoning about uncertainty in different situations. A possible-world approach is used to provide semantics to formulas. Axiomatic system for our logic is given and the corresponding strong completeness theorem is proved. Relationships to other systems are discussed.