OLS——一个描述理论与实践交互作用的逻辑系统

OLS——A SYSTEM FOR DESCRIBING INTERACTION BETWEEN LOGICAL INFORMATION AND EMPIRICAL INFORMATION

定义了认知过程中出现的反例及反驳两个概念,定义了一个描述理论与实践交互作用的逻辑系统OLS,此系统由证明演算及假设演算组成。当反例(或反驳)出现时,通过假设演算,人们可以修改假设,使修改后的假设不仅是可满足的而且包含反例(或反驳)作为其逻辑结论。OLS在机器学习、知识获取、软件开发、故障诊断及知识库维修方面有着广泛的应用前景。

The concepts of counter example and refutation by facts in epistemic processes are defined formally.The system OLS is constructed.It is a logical system for describing interaction between logical information and empirical information.OLS consists of a proof calculus and a hypothesis calculus.The latter can be used to rectify a given hypothesis when a refutation by facts of the hypothesis arises.The potential applications of OLS are the areas of machine learning,knowledge acquisition,specification development,diagnosis,and knowledge base maintenance.