一种基于有色网的行动推理表示模型

• 作者: 刘一松 詹永照 钟珊
• 来源期刊: 江苏大学学报（自然科学版）
• 学科: 工学
• 关键词: Petri网 人工智能 行动推理 规划 并发
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 计算机与通信工程
• 页码范围: 334-338,372
• 分类号: TP391.9
• 字数: 4060字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-7775.2010.03.019

摘要

针对行动推理中的异步并发、真并发和冲突难以被表示的问题,利用有色网具有严格的数学模型、易于形式化地描述系统异步、并发等特征的优点,提出一种基于有色网表示行动推理的形式化模型-CPNRAA网.运用其对状态、动作以及复合动作进行了形式化的描述,通过构造动作及复合动作的CPNRAA网并加入一个用于保存动作序列的库所,得出一个可以生成动作序列的CPNRAA网系统,并提出了该网系统动作序列的生成方法.对办公室环境下送咖啡实例的CPNRAA网系统进行了建模和仿真,自动生成的动作序列验证了CPNRAA网表示行动推理的可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	詹永照	江苏大学计算机科学与通信工程学院	189	1744	21.0	31.0
2	刘一松	江苏大学计算机科学与通信工程学院	40	180	7.0	11.0
3	钟珊	江苏大学计算机科学与通信工程学院	1	2	1.0	1.0