纤维逻辑
- 期刊名字:计算机科学
- 文件大小:
- 论文作者:邱莉榕,杨柳,史忠植
- 作者单位:中国科学院计算技术研究所,中国科学院研究生院
- 更新时间:2023-04-24
- 下载次数:次
论文简介
形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列.但是在主体环境下,已有逻辑的复杂性仍然不能有效刻画主体复杂的心智.有一些人工智能研究者根据主体心智的多重性,在模态逻辑中引入多种模态算子,并借此对主体加以刻画.但是原来的可能世界语义却难以容纳如此复杂的语法,出现了很多不合理的地方.本文首先介绍了新近出现的纤维逻辑(fibring logics),然后归纳了目前将此理论应用在主体BDI建模的研究现状,最后分析纤维逻辑的不足之处,讨论了其他可能的应用,并对今后的工作做了展望.
论文截图
上一条:新型纤维的应用与鉴别
下一条:Lyocell纤维的纺织产品
版权:如无特殊注明,文章转载自网络,侵权请联系cnmhg168#163.com删除!文件均为网友上传,仅供研究和学习使用,务必24小时内删除。
热门推荐
-
C4烯烃制丙烯催化剂 2023-04-24
-
煤基聚乙醇酸技术进展 2023-04-24
-
生物质能的应用工程 2023-04-24
-
我国甲醇工业现状 2023-04-24
-
JB/T 11699-2013 高处作业吊篮安装、拆卸、使用技术规程 2023-04-24
-
石油化工设备腐蚀与防护参考书十本免费下载,绝版珍藏 2023-04-24
-
四喷嘴水煤浆气化炉工业应用情况简介 2023-04-24
-
Lurgi和ICI低压甲醇合成工艺比较 2023-04-24
-
甲醇制芳烃研究进展 2023-04-24
-
精甲醇及MTO级甲醇精馏工艺技术进展 2023-04-24
