Models for Many-Valued Probabilistic Reasoning

TOMMASO FLAMINIO; FRANCO MONTAGNA

首页> 外文期刊>Journal of logic and computation >Models for Many-Valued Probabilistic Reasoning

【24h】

Models for Many-Valued Probabilistic Reasoning

机译：多值概率推理模型

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

页面导航

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

摘要

In this article, we compare models for many-valued probabilistic reasoning from the point of view of the sets of satisfiable formulas, positive satisfiable formulas, and tautologies. The results arising from this comparison will be used in the final part of the present article to provide results about the computational complexity for the problem of deciding if a formula belongs to one of the previously discussed sets.

机译：在本文中，我们从可满足公式，正可满足公式和重言式集合的角度比较了多值概率推理模型。从该比较中得出的结果将在本文的最后一部分中使用，以提供有关计算复杂性的结果，以决定公式是否属于先前讨论的集合之一。

著录项

来源
《Journal of logic and computation》 |2011年第3期|p.447-464|共18页
作者
TOMMASO FLAMINIO; FRANCO MONTAGNA;
展开▼
作者单位

Department of Mathematics and Computer Science, University of Siena, Pian dei Matellini 44,53100 Siena, Italy.;

Department of Mathematics and Computer Science, University of Siena, Pian dei Matellini 44,53100 Siena, Italy.;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
smv-algebras; states on mv-algebras; probabilistic kripke models; pspace containment;

机译：SMV代数mv-代数上的状态;概率克里普克模型pspace遏制;

相似文献

外文文献
中文文献
专利

1. Additional evidence for a dual-strategy model of reasoning: Probabilistic reasoning is more invariant than reasoning about logical validity [J] . Markovits Henry, Brisson Janie, de Chantal Pier-Luc Memory & cognition . 2015,第8期

机译：双重策略推理模型的其他证据：概率推理比逻辑有效性推理更具不变性
2. Reasoning about reasoning by nested conditioning: Modeling theory of mind with probabilistic programs [J] . A. Stuhlmueller, N.D. Goodman Cognitive Systems Research . 2014,第juna期

机译：通过嵌套条件进行推理：使用概率程序对心智模型进行建模
3. Repairing errors in probabilistic databases models using probabilistic abduction reasoning [J] . Bourahla Mustapha International journal of intelligent information and database systems . 2017,第1a2期

机译：使用概率绑架推理修复概率数据库模型中的错误
4. If I don't know, should I infer? Reasoning around ignorance in a many-valued framework [C] . Adrien Revault dAllonnes, Marie-Jeanne Lesot 2017 Joint 17th World Congress of International Fuzzy Systems Association and 9th International Conference on Soft Computing and Intelligent Systems . 2017

机译：如果我不知道，我应该推断吗？在多值框架中围绕无知进行推理
5. Reasoning with models of probabilistic knowledge over probabilistic knowledge. [D] . Shirazi, Afsaneh H. 2011

机译：用概率知识模型进行概率推理。
6. Reasoning in Reference Games: Individual- vs. Population-Level Probabilistic Modeling [O] . Michael Franke, Judith Degen -1

机译：参考游戏中的推理：个人与人口级别的概率建模
7. Additional evidence for a dual-strategy model of reasoning: Probabilistic reasoning is more invariant than reasoning about logical validity [O] . Henry Markovits, Janie Brisson, Pier-Luc de Chantal 2015

机译：双重策略推理模型的额外证据：概率推理比对逻辑有效性的推理更加不变
8. Modelling Default and Likelihood Reasoning as Probabilistic Reasoning [R] . Buntine, W. 1990

机译：将默认和似然推理建模为概率推理

Models for Many-Valued Probabilistic Reasoning

摘要

著录项

相似文献

相关主题

期刊订阅