| Authors: | Ikodinović, Nebojša Rašković, Miodrag Marković, Zoran Ognjanović, Zoran |
Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | Measure logic | Journal: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Volume: | 4724 | First page: | 128 | Last page: | 138 | Conference: | European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 2007 | Issue Date: | 1-Jan-2007 | Rank: | M23 | ISBN: | 978-354075255-4 | ISSN: | 0302-9743 | DOI: | 10.1007/978-3-540-75256-1_14 | 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. |
Keywords: | Axiomatic system | Logic programming | Theorem proving | Publisher: | Springer Link |
Show full item record
SCOPUSTM
Citations
6
checked on Nov 23, 2024
Page view(s)
19
checked on Nov 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.