an:05344178
Zbl 1148.68485
Ikodinovic, Nebojsa; Raskovic, Miodrag; Markovic, Zoran; Ognjanovic, Zoran
Measure logic
EN
Mellouli, Khaled (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 9th European conference, ECSQARU 2007, Hammamet, Tunisia, October 31--November 2, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75255-4/pbk). Lecture Notes in Computer Science 4724. Lecture Notes in Artificial Intelligence, 128-138 (2007).
2007
a
68T27 68T37
Summary: 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.
For the entire collection see [Zbl 1143.68010].
Reviewer (Berlin)