کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4945263 | 1438416 | 2017 | 21 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Logics with lower and upper probability operators
ترجمه فارسی عنوان
منطق با اپراتورهای احتمالی پایین تر و بالاتر
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
چکیده انگلیسی
- We introduce a first order and a propositional logic for reasoning about upper and lower probabilities.
- We propose axiomatizations for the logics.
- We combine Henkin-style procedures for classical and modal logics to prove strong completeness.
We present a first-order and a propositional logic with unary operators that speak about upper and lower probabilities. We describe the corresponding class of models, and we discuss decidability issues for the propositional logic. We provide infinitary axiomatizations for both logics and we prove that the axiomatizations are sound and strongly complete. For some restrictions of the logics we provide finitary axiomatic systems.1
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: International Journal of Approximate Reasoning - Volume 88, September 2017, Pages 148-168
Journal: International Journal of Approximate Reasoning - Volume 88, September 2017, Pages 148-168
نویسندگان
Nenad SaviÄ, Dragan Doder, Zoran OgnjanoviÄ,