纤维逻辑

计算机科学 ›› 2006, Vol. 33 ›› Issue (1): 1-3.

纤维逻辑

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
本文得到国家“863”高技术研究发展计划“自主计算的理论和技术研究”（No,2003AAll5220）,国家973项目”语义网格的基础理论、模型、方法和关键技术”（No.2003CB317004）资助.致谢感谢田启家博士提供论文写作的参考文献以厦宝贵建议.

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

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

关键词: 形式逻辑 BDI逻辑多模态逻辑纤维逻辑模态逻辑纤维可能世界语义命题逻辑人工智能复杂性

Abstract: Formal logics in AI have grown from the simple proposition logic to modal logic series, which are more complicated. However, the complexity of existing logics is not sufficient for describing the mental states of Agent. Some AI researchers introduce multi

Key words: Formal logics, BDI logics, Multi modal logics, Fibring logics

. 纤维逻辑[J]. 计算机科学, 2006, 33(1): 1-3. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

纤维逻辑

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0