为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序,提出了一种基于规则的语言——逻辑规则描述语言(LRDL)。
In order to exactly describe logic relations among objects of discrete event control systems and write programs, a rule-based language, logic rule Description language (LRDL) is put forward.
介绍了形式化描述语言LOTOS的特性,结合面向对象技术和状态图的理论知识,给出了基于LOTOS的动态模型的形式化方法,并给出了实例说明。
Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented. Furthermore, a case is presented to demonstrate this method.
为此,文中用面向对象的知识表示方法描述并建立本体,并以此为基础形成领域操作代数系统和智能体服务描述语言。
The paper describes and develops ontology by object-oriented knowledge representation, hence the representation leads to domain algebra system and agent service description language.
应用推荐