| 协同救援一致性推理模型及求解算法 |
| |
| 引用本文： | 于枫,乔欣,姜腊林.协同救援一致性推理模型及求解算法[J].解放军理工大学学报,2010,11(1):54-59. |
| |
| 作者姓名： | 于枫 乔欣 姜腊林 |
| |
| 作者单位： | 江苏科技大学计算机科学与工程学院;东南大学计算机科学与工程学院;南京陆军指挥学院; |
| |
| 基金项目： | 国家自然科学基金资助项目(60543064);;国家自然科学基金资助项目(60903161);;国家部委基金资助项目(51406020104CB0201) |
| |
| 摘 要： | 针对传统的一致性推理模型多测重于单纯的定量、定性时态推理,难以适用于协同救援方案求取问题,基于Allen区间代数理论,添加逻辑约束,提出了一种协同救授一致性推理模型,该模型型同时包含救援行为时态约束和逻辑约束两类信息。基于该模型的等价类子网化简设计协同方案求解算法,并以海上协同教授一致性方案推理为例演示建模与求解过程。结果表明,该模型符合协同一致性方案求解对时态、逻辑两方面推理的需求,可应用于协同救援规划验证。
|
| 关 键 词： | 协同救援 一致性推理 区间代数网络 逻辑约束 |
Consistent reasoning model and calculating algorithm for
cooperative engagement |
| |
| YU Feng,QIAO Xin and JIANG La-lin.Consistent reasoning model and calculating algorithm for
cooperative engagement[J].Journal of PLA University of Science and Technology(Natural Science Edition),2010,11(1):54-59. |
| |
| Authors: | YU Feng QIAO Xin and JIANG La-lin |
| |
| Institution: | 1.School of Computer Science and Engineering;Jiangsu Univ.of Sci.& Tech.;Zhenjiang 212003;China;2.School of Computer Science and Engineering;Southeast University;Nanjing 210096;3.Nanjing Army Command College;Nanjing 210045;China |
| |
| Abstract: | |
| |
| Keywords: | cooperative rescue consistency reasoning interval algebra network logic constraint |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《解放军理工大学学报》浏览原始摘要信息 |
| 点击此处可从《解放军理工大学学报》下载免费的PDF全文 |
