Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines
Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines
复制标题
通过抽象状态机对条件知识发现和信念修正进行建模
DOI：
10.1007/3-540-36498-6_10
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
G. Kern
中科院分区：
文献类型：
--
作者：
C. Beierle;G. Kern
我们开发了一个高层次的ASM规范的CONDOR系统，提供了强大的方法和工具，用于管理知识的条件。因此，我们能够阐述知识表示，知识发现和信念修正的不同方面之间的重要相互依赖关系。此外，本规范还为基于ASM方法的CONDOR系统的逐步细化开发过程提供了基础。
We develop a high-level ASM specification for the CONDOR system that provides powerful methods and tools for managing knowledge represented by conditionals. Thereby, we are able to elaborate crucial interdependencies between different aspects of knowledge representation, knowledge discovery, and belief revision. Moreover, this specification provides the basis for a stepwise refinement development process of the CONDOR system based on the ASM methodology.