面向对象信息系统的新思维——继承性推理中的F[*]-logic方法，本文主要内容关键词为：新思维论文,信息系统论文,面向对象论文,方法论文,logic论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。
则除C1中的L属性被C继承外，C2,……,cn中的L属性均不被继承，因而不存在冲突。
上述的所有论述不但适用于值属性（表示ispart-of关系），也同样适用于方法（表示行为特征）。
我们已经看到，F[*]-logic对继承性推理中的重置、例外和多重继承冲突问题都能很好解决。为了保持推理的单调性，我们也付出了一定代价：在没有重置的情况下，也需显式说明。所幸的是，当解释I确定之后，对象间的重置关系也是确定的（回忆CUT是关于特定解释预先给定的）。这样我们就能对特定解释和指派给定一个特定的公式集OVERRIDING[,I，s]：
4 结语
F[*]-logic是一个关于复杂对象推理的逻辑系统，它提供了完整继承性推理机制，解决了重置、例外和多重继承冲突问题，并且是一个单调逻辑。它是一个有高阶表示能力和一阶语义的逻辑系统，具有合理性和完备性，保持了一阶逻辑的许多有用特性，尤其是消解原理。因此，F[*]-logic为进行面向对象程序设计语言和数据库的形式化研究提供了理论基础。
注释：
①P.H.Winston,Artificial Intelligence,second edition,Addison-Wesley,1984.
②陈睿、谢新洲：《新一代信息系统：面向对象信息系统分析与设计》，航空工业出版社，1993。
③L.Cardelli,P.Wegner,"On Understanding Types,Data Abstraction,and Polymorphism",ACM Computing Surveys,Vol.17.No.4.Dec.1985.
④⑥D.S.Touretzky,The Mathematics of Inheritance Systems,PITMAN Publishing Ltd.,1986.
⑤M.Kifer,G.Lausen,"F-Logic:a Higher-order Language for Reasoning about Objects,Inheritance,and Scheme,"Proc.of the 1989 ACMSIGMOD Int.Conf.on the Mang tmeht of Oala Dorland,Orgon.1989.
⑦M.Kifer.J.Wu,"Alogic for objict-oriented Logic Programming(Maier′s O-Logic Revisited).",Proc.of the ACMSIGACT-SIGMOD-SIGART Symp.on Principles of Database Systems,1989.
D.Maier,"A Logic for Objects",Workshop on Foundation of Deductive Databases and Logic Programming,1986.
⑧王元元，计算机科学中的逻辑学，科学出版社，1989。
本文来源: https://www.lw33.cn/article/e4a96e0eb84d5a601c1a0ae4.html