Lanzola G, Stefanelli M
Dipartimento di Informatica e Sistemistica, Universita degli Studi di Pavia, Italy.
Artif Intell Med. 1993 Jun;5(3):253-68. doi: 10.1016/0933-3657(93)90028-2.
This paper describes the approach we are pursuing for modeling inferential processes in knowledge-based systems. It is aimed at overcoming the lack of generality affecting many of the systems described in the literature. This mainly happens since the problem-solving method adopted by those systems is too closely tied to the particular domain problem over which the method itself has been modeled. We also describe a system called M-KAT (Medical Knowledge Acquisition Tool) which is useful in simplifying the process of acquiring inferential knowledge. M-KAT relies on an epistemological model of medical reasoning which represents a generalization of most of the problem-solving methods adopted in medical knowledge-based systems. The metarules formalism has been adopted as a mean for representing inferential knowledge and making its acquisition easier, thus allowing the computational implementation of the epistemological model of medical reasoning.
本文描述了我们在基于知识的系统中对推理过程进行建模所采用的方法。其目的是克服影响文献中所描述的许多系统的通用性不足问题。这种情况主要是因为那些系统所采用的问题解决方法与该方法所建模的特定领域问题联系过于紧密。我们还描述了一个名为M-KAT（医学知识获取工具）的系统，它有助于简化推理知识的获取过程。M-KAT依赖于医学推理的认识论模型，该模型代表了医学知识系统中所采用的大多数问题解决方法的概括。元规则形式主义已被用作表示推理知识并使其获取更容易的手段，从而实现医学推理认识论模型的计算实现。
