Probabilistic justification logic

Kokkinis Ioannis; Ognjanovic Zoran; Studer Thomas

首页> 外文期刊>Journal of logic and computation >Probabilistic justification logic

【24h】

Probabilistic justification logic

机译：概率论证逻辑

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present a probabilistic justification logic, PPJ, as a framework for uncertain reasoning about rational belief, degrees of belief and justifications. We establish soundness and strong completeness for PPJ with respect to the class of so-called measurable Kripke-like models and show that the satisfiability problem is decidable. We discuss how PPJ provides insight into the well-known lottery paradox.

机译：我们提出了概率合理性逻辑PPJ，作为有关理性信念，信念程度和合理性的不确定性推理的框架。我们针对所谓的可测量的Kripke类模型建立了PPJ的稳健性和强完整性，并表明可满足性问题是可判定的。我们讨论了PPJ如何提供对著名彩票悖论的洞察力。

著录项

来源
《Journal of logic and computation》 |2020年第1期|257-280|共24页
作者
Kokkinis Ioannis; Ognjanovic Zoran; Studer Thomas;
展开▼
作者单位

Aristotle Univ Thessaloniki Dept Math Thessaloniki 54124 Greece;

Serbian Acad Arts & Sci Math Inst Belgrade 11000 Serbia;

Univ Bern Inst Comp Sci CH-3012 Bern Switzerland;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Justification logic; probabilistic logic; strong completeness; decidability; lottery paradox;

机译：证明逻辑;概率逻辑完整性强;可判定性彩票悖论;

相似文献

外文文献
中文文献
专利

1. Probabilistic justification logic [J] . Ioannis Kokkinis, Zoran Ognjanović, Thomas Studer Journal of Logic and Computation . 2020,第1期

机译：概率论证逻辑
2. Probabilistic Justification Logic [J] . Lurie Joseph Philosophies . 2018,第1期

机译：概率论证逻辑
3. Modal logics, justification logics, and realization [J] . Fitting Melvin Annals of Pure and Applied Logic . 2016,第8期

机译：模态逻辑，证明逻辑和实现
4. The Complexity of Non-Iterated Probabilistic Justification Logic [C] . Ioannis Kokkinis International symposium on foundations of information and knowledge systems . 2016

机译：非迭代概率证明逻辑的复杂性
5. Interactions and Complexity in Multi-Agent Justification Logic [D] . Achilleos, Antonios 2015

机译：多主体证明逻辑中的相互作用和复杂性
6. Learning Probabilistic Logic Models from Probabilistic Examples [O] . Jianzhong Chen, Stephen Muggleton, José Santos -1

机译：从概率示例中学习概率逻辑模型
7. The Complexity of Non-Iterated Probabilistic Justification Logic [O] . Kokkinis, Ioannis 2016

机译：非迭代概率证明逻辑的复杂性
8. SRS Bedrock Probabilistic Seismic Hazard Analysis (PSHA) Design Basis Justification [R] . 2006

机译：sRs基岩概率地震危险性分析（psHa）设计基础理由

Probabilistic justification logic

摘要

著录项

相似文献

相关主题

期刊订阅