离散事件系统概念与行为建模方法的整合：一、概念模型的综合与分析

DOI:

评审日期

出版日期

注解: 本文研究的对象是异步离散事件系统中的信息过程。 这种系统的例子可以是组织、经济、生产和计算系统。 研究的主题是基于人工智能方法和行为离散事件建模的整合的异步离散事件系统的形式化和分析方法。 作为合适的主题领域的一个例子，本文考虑了柔性自动化生产场所，缩写为GAP(Fms-Flexible Manufacturing Systems)。 研究方法基于一阶和二阶谓词的逻辑，抽象机器网络的形式主义，人工智能模型和第一个提出的概念Petri网。 该研究的新颖之处在于最终在异步离散事件系统的概念和行为模型的基础上获得正式的直接可执行规范，例如，适用于控制产品灵活自动化生产的无线计算机网络的网络软件的后续实现。
文章第一部分表明，对象之间具有事件，角色和因果联系的语义网络（情景网络）可以完全代表智能系统的逻辑，结构和程序范式，包括情境管理系统。 基于概念图构建情景模型的过程被形式化，这使得可以将这些模型用作情景管理系统的专家模拟模型的一部分。 结果表明，场景的概念表示允许您自然地自动过渡到基于关系方法构建知识库，这提高了对概念模型和知识库进行更改的效率（例如，随着主题领域的变 对建立在概念图基础上的知识库的查询可以用抽象机器网络的语言形式化，这简化了基于C++、C#、SQL、Visual Prolog等知名语言的智能系统人机界面的进一步设计。

出版日期: