基于动态时序描述逻辑的动作理论 |
| |
引用本文: | 孙永新,赵希顺.基于动态时序描述逻辑的动作理论[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 万方数据 等数据库收录! |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|