排序方式: 共有10条查询结果,搜索用时 15 毫秒
1
1.
2.
3.
4.
L(P^1,1)和正则语言 总被引:1,自引:1,他引:0
本文利用模型论博奕理论的方法证明了L(P^1,1)能够刻画正则语言。由此我们得了结论:在有限的离散线性序上L(P^1,1)和Monadic二阶逻辑的刻画能力是一致的。 相似文献
5.
一种基于工作流的软件需求分析方法 总被引:3,自引:0,他引:3
文章针对软件工程中数据流分析技术的局限性,提出了一种基于工作流的新的软件需求分析方法———工作流分析方法,详细论述了该方法的理论基础、相关定义、工作流图的描述方法等内容,并给出了在信息系统开发中的应用实例。 相似文献
6.
多主体系统试图用主体来模拟人的理性行为.生存在现实世界中的主体,面对不断变化的环境,要保持对紧急情况的及时反应,并为实现自己的目标表现出智能的行为.本文提出一种复合式的结构,即在一个主体中有机地组合了多种并行执行、相对独立但又相互作用的智能形态,以使现实世界中的主体在各种情况下作出合理行动.这些智能形态包括对紧急情况的反射、对中短期行为的规划、对世界的建模分析和短期预测、与其他主体的通讯以及决策生成等.使用本文设计的MAPE环境和基于主体内核的插件式的主体构造方法,复合式结构的主体可以方便地实现.为多主体系统建模和推理,本文还研究了模态逻辑并提出一种新的语义.最后,将这种复合式的结构和其它一些主体结构进行简要的比较. 相似文献
7.
Action is one of the most important concepts in computer science, and situation calculus is the standard formalism for representing and reasoning about actions and their effects. Situation calculus essentially could be presented in a logic framework. Based on the framework LR, such a logic framework is given. Minimal action theory is proposed and studied from the point of view of model theory. By theorems of mathematical logic, some results about the definability about the progression in minimal action theory are obtained. 相似文献
8.
基于本体论和多主体的信息检索服务器 总被引:43,自引:2,他引:41
Internet技术的发展为人们提供了方便快捷的信息获取手段 ,然而要从如此庞大且瞬息万变的 Internet上检索信息 ,需要快速准确的信息检索工具的协助 .提出了一种利用多智能主体和本体论 (ontology)理论设计的信息检索服务器 .它集成了界面主体、预处理主体、管理主体、信息处理主体和具有移动性的信息搜集主体 ,并利用ontology对文档进行领域分类 ,同时对用户的查询信息进行规范 .该系统能够比较及时地反映网络中信息的动态变化 ,并具有较好的信息导引能力 相似文献
9.
电子商务自动谈判是多主体协商的典型应用.谈判协议的形式化是实现电子商务谈判自动化的关键.给出一种带抑止弧和时间变迁的颜色Petri网模型及其扩展或然状态图分析方法.用该扩展颜色Petri网模型对拍卖谈判协议进行了建模,同时用扩展或然状态图分析方法证明了协议模型的可达性. 相似文献
10.
多主体系统中对其它主体的研究 总被引:6,自引:0,他引:6
多主体系统是当前人工智能研究后一个热点,其中,关于知识和动作的推理是一个重要的课题,文中给出了一种知识表示框架,称为RAO逻辑,用来对其它主体研究时表示概念和规则,我们从日常推理中抽象出换位原则的规则(PEP),PEP是RAO是的一条公理模式,并且为主体研究其它主体的一个基本规则,它与知识逻辑中的分离规则和(K)公理具有相似的形式和作用。 相似文献
1