面向对象信息系统的新思维──继承性推理中的F*-logic方法

Citation:

陈睿, 谢新洲. 面向对象信息系统的新思维──继承性推理中的F*-logic方法. 北京大学学报(哲学社会科学版). 1995;(2):101-104+128.

摘要:

本文在F-logic的基础上提出了合理、完备、具有一阶语义和高阶表示能力的逻辑系统F ̄*-logic,研究了用F ̄*-logic在保持单调性的前提下进行继承性推理的方法,解决了在继承性推理中由于重置、例外和多重继承下的冲突所引起的难题。