作者：常亮行动理论知识表示和推理情景演算命题动态逻辑动态描述逻辑
摘要：行动理论是人工智能中重要的研究课题,是当前成为研究热点的智能主体和语义Web服务的理论基础。对行动理论的研究现状进行了总结。首先从采用的逻辑语言的角度将行动理论分为3类：基于谓词逻辑的行动理论、采用命题语言的行动理论、以及基于描述逻辑的行动理论;分别以情景演算、基于命题动态逻辑的行动理论和动态描述逻辑为例,对每种类型的行动理论进行了介绍,阐述了各类行动理论的特点。接下来对目前行动理论中存在的问题进行了分析,在此基础上提出了行动理论研究目前面临的若干挑战和机遇。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《桂林电子科技大学学报》（CN：45-1351/TN）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《桂林电子科技大学学报》主要刊载信息与通信工程、信号与信息处理、计算机应用技术、仪器科学与技术、控制理论与控制工程、机械设计制造及其自动化、电磁场与微波技术、机械电子工程、工业艺术设计、材料加工工程、信息与计算科学、应用数学、工商管理等方面的学术论文。
杂志详情
