模态分析理论的可能性

中文字数:4155,   英文为PDF版本

模态分析理论的可能性
Luis Fariaas del Cerro, Andreas Herzig
IRIT
保罗萨巴蒂大学
118 Route de Narbonne, F-31062 Toulouse Cédex, France
email: {farinas,herzig}@irit.fr, fax: (33) 61 55 62 58
摘  要
 本文从理论研究的可能性的角度来看模态逻辑。我们的首要和主要结果是定性的逻辑可能是没有别的比刘易斯的条件逻辑VN。第二，我们提出了一种多模态逻辑能够支持可能性理论。一些连接这些形式主义的强调。
1.导言
 为了找到能够支持模式下的不确定性推理的一个重要问题人工智能以及哲学逻辑与形式化。几种模式已提出，如概率论，信仰结构，可分解信任的措施，定性必要性或可能性理论。这最后一个理论（和双重必要性理论）介绍了由D.
杜波依斯和H.普拉德在1986年[杜波伊斯＆普拉德88 ] ，似乎是一个“好”的观点从其他几个型号可以看到。鉴于一系列事件使这一理论的不确定性关联程度每个事件，由于函数P测绘活动（即两套小学事件）到真正的区间[ 0,1 ]满足以下公理：