纤维逻辑

摘要：

形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列.但是在主体环境下,已有逻辑的复杂性仍然不能有效刻画主体复杂的心智.有一些人工智能研究者根据主体心智的多重性,在模态逻辑中引入多种模态算子,并借此对主体加以刻画.但是原来的可能世界语义却难以容纳如此复杂的语法,出现了很多不合理的地方.本文首先介绍了新近出现的纤维逻辑(fibring logics),然后归纳了目前将此理论应用在主体BDI建模的研究现状,最后分析纤维逻辑的不足之处,讨论了其他可能的应用,并对今后的工作做了展望.

关键词：形式逻辑、BDI逻辑、多模态逻辑、纤维逻辑

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：国家科技攻关项目2003AA115220;科技部科研项目2003CB317004

在线出版日期：2006-03-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：1-3