| 一种基于有色网的行动推理表示模型 |
| |
| 引用本文： | 刘一松,钟珊,詹永照.一种基于有色网的行动推理表示模型[J].江苏大学学报(自然科学版),2010,31(3). |
| |
| 作者姓名： | 刘一松 钟珊 詹永照 |
| |
| 作者单位： | 江苏大学,计算机科学与通信工程学院,江苏,镇江,212013 |
| |
| 基金项目： | 国家自然科学基金资助项目(60273040);;江苏省高校自然科学指导性计划项目(03kjd520075);;江苏省社会发展科技计划项目(BS2001046) |
| |
| 摘 要： | 针对行动推理中的异步并发、真并发和冲突难以被表示的问题,利用有色网具有严格的数学模型、易于形式化地描述系统异步、并发等特征的优点,提出一种基于有色网表示行动推理的形式化模型—CPNRAA网.运用其对状态、动作以及复合动作进行了形式化的描述,通过构造动作及复合动作的CPNRAA网并加入一个用于保存动作序列的库所,得出一个可以生成动作序列的CPNRAA网系统,并提出了该网系统动作序列的生成方法.对办公室环境下送咖啡实例的CPNRAA网系统进行了建模和仿真,自动生成的动作序列验证了CPNRAA网表示行动推理的可行性和有效性.
|
| 关 键 词： | Petri网 人工智能 行动推理 规划 并发 |
A model for representing reasoning about actions based on colored Petri net |
| |
| Liu Yisong,Zhong Shan,Zhan Yongzhao.A model for representing reasoning about actions based on colored Petri net[J].Journal of Jiangsu University:Natural Science Edition,2010,31(3). |
| |
| Authors: | Liu Yisong Zhong Shan Zhan Yongzhao |
| |
| Institution: | School of Computer Science and Telecommunication Engineering/a>;Jiangsu University/a>;Zhenjiang/a>;Jiangsu 212013/a>;China |
| |
| Abstract: | |
| |
| Keywords: | Petri net artificial intelligence reasoning about action planning concurrency |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
