有界模型检测同步多智体系统的时态认知逻辑

著录项

• 来源
  《软件学报》 |2006年第12期|2485-2498|共14页
• 作者

  骆翔宇; 苏开乐; 杨晋吉;

  展开▼
• 作者单位

  桂林电子科技大学计;

  算机系;

  广西;

  桂林;

  541004;

  中山大学;

  计算机科学系;

  广东;

  广州;

  510275;

  中山大学;

  计算机科学系;

  广东;

  广州;

  510275;

  河南科技大学;

  电子信息工程学院;

  河南;

  洛阳;

  471003;

  中山大学;

  计算机科学系;

  广东;

  广州;

  510275;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 理论、方法;
• 关键词

  模型检测; 有界模型检测; 多智体系统; 同步时态认知模型; 时态认知逻辑;