Specification of Dynamics for Knowledge-Based Systems
Specification of Dynamics for Knowledge-Based Systems
复制标题
基于知识的系统动力学规范
DOI：
--
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
M. Willems
中科院分区：
文献类型：
--
作者：
P. V. Eck;J. Engelfriet;D. Fensel;F. V. Harmelen;Y. Venema;M. Willems
在过去的几年中，一些正式规格说明语言的知识为基础的系统已经开发。基于知识的系统的特点是一个复杂的知识库和一个推理机，它使用这些知识来解决给定的问题。基于知识的系统的规范语言必须涵盖两个方面：它们必须提供指定复杂和大量知识的方法，并且它们必须提供指定基于知识的系统的动态推理行为的方法。本文将集中讨论第二个方面，这是一个被认为尚未解决的问题。为此，我们调查了相关研究领域的现有方法。我们已经采取了信息系统规范的方法（即，概念建模语言和巨魔），数据库更新和逻辑程序的动态规范的方法（事务逻辑和动态数据库逻辑），以及抽象状态机的方法。
During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects: they have to provide means to specify a complex and large amount of knowledge and they have to provide means to specify the dynamic reasoning behaviour of a knowledge-based system. This paper will focus on the second aspect, which is an issue considered to be unsolved. For this purpose, we have surveyed existing approaches in related areas of research. We have taken approaches for the specification of information systems (i.e., Language for Conceptual Modelling and Troll), approaches for the specification of database updates and the dynamics of logic programs (Transaction Logic and Dynamic Database Logic), and the approach of Abstract State Machines.