کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
397638 1438450 2014 23 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Conditional p-adic probability logic
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
Conditional p-adic probability logic
چکیده انگلیسی


• We presented two p-adic valued conditional probabilistic logics.
• Formulas are interpreted in Kripke-like models.
• Axiomatic systems are given and proved to be sound and strongly complete.
• The decidability of the satisfiability problem for each logic is proved.

In this paper we present the proof-theoretical approach to p  -adic valued conditional probabilistic logics. We introduce two such logics denoted by CPLZpCPLZp and CPLQpfin. Each of these logics extends classical propositional logic with a list of binary (conditional probability) operators. Formulas are interpreted in Kripke-like models that are based on p-adic probability spaces. Axiomatic systems with infinitary rules of inference are given and proved to be sound and strongly complete. The decidability of the satisfiability problem for each logic is proved.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: International Journal of Approximate Reasoning - Volume 55, Issue 9, December 2014, Pages 1843–1865
نویسندگان
, , ,