| 基于逻辑推演理论的船舶避碰决策 |
| |
| 引用本文： | 郝清赋,吴唏,沈敏. 基于逻辑推演理论的船舶避碰决策[J]. 广州航海高等专科学校学报, 2008, 16(1): 12-15 |
| |
| 作者姓名： | 郝清赋 吴唏 沈敏 |
| |
| 作者单位： | 海军兵种指挥学院,航行与操纵教研室,广东,广州,510430;海军兵种指挥学院,航行与操纵教研室,广东,广州,510430;海军兵种指挥学院,航行与操纵教研室,广东,广州,510430 |
| |
| 摘 要： | 提出了研究船舶避碰决策的一个新方法，并把多逻辑系统作用的结构演化引入舰艇避碰决策系统，构建了船舶避碰决策系统逻辑推理的基本理论，指出了进一步的研究方向。
|
| 关 键 词： | 船舶避碰 逻辑推理 形式框架 结构演化 |
| 文章编号： | 1009-8526(2008)03-0012-04 |
| 修稿时间： | 2007-09-06 |
THE THEORY OF DYNAMIC LOGIC SYSTEM FOR SHIP COLLISION-AVOIDANCE DECISION |
| |
| HAO Qing-fu,WU Xi,SHEN-Min. THE THEORY OF DYNAMIC LOGIC SYSTEM FOR SHIP COLLISION-AVOIDANCE DECISION[J]. Journal of Guangzhou Maritime College, 2008, 16(1): 12-15 |
| |
| Authors: | HAO Qing-fu WU Xi SHEN-Min |
| |
| Affiliation: | (Naval Arms Commanding Academy, Guangzhou 510430, China) |
| |
| Abstract: | The paper puts forward a new method for ship Collision-Avoidance Decision which uses the theory of the Dynamic logic system to set up the basic theories and points out the further research direction. |
| |
| Keywords: | ship collision-avoidance dynamic logic frame structure evolution |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
