首页 | 本学科首页   官方微博 | 高级检索  
     

基于动态时序描述逻辑的动作理论
引用本文:孙永新,赵希顺.基于动态时序描述逻辑的动作理论[J].计算机科学,2014,41(9):210-214,238.
作者姓名:孙永新  赵希顺
作者单位:1. 中山大学逻辑与认知研究所 广州 510275;仲恺农业工程学院信息科学与技术学院 广州510225
2. 中山大学逻辑与认知研究所 广州 510275
基金项目:本文受国家自然科学基金项目(61272059),教育部基地重大项目(11JJD7200020)资助
摘    要:动态时序描述逻辑(DLTLDL)是一类描述逻辑的动态时序扩展。提出一种基于DLTLALCIO的动态域建模方法,利用该方法可构造出刻画动态域知识的DLTLALCIO理论,并解决动作推理中的框架问题和分支问题。动作推理问题,如动作可执行性和投影问题等,可归结为关于DLTLALCIO理论的推理问题,并最终归结为DLTLALCIO的公式可满足性问题。DLTLALCIO公式可表达动作和时间约束,相对于其他基于描述逻辑的动作形式,基于DLTLALCIO的动作形式在需要执行复杂查询,尤其是含时间或动作的查询的应用场合具有更好的适用性。

关 键 词:动态时序描述逻辑  动作推理  动态域  动作理论
收稿时间:2013/11/5 0:00:00
修稿时间:3/8/2014 12:00:00 AM
本文献已被 CNKI 万方数据 等数据库收录!
点击此处可从《计算机科学》浏览原始摘要信息
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号