<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">陈睿</style></author><author><style face="normal" font="default" size="100%">谢新洲</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">面向对象信息系统的新思维──继承性推理中的F＊－logic方法</style></title><secondary-title><style face="normal" font="default" size="100%">北京大学学报(哲学社会科学版)</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">一阶逻辑;继承性;复杂对象</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">1995</style></year></dates><pages><style face="normal" font="default" size="100%">101-104+128</style></pages><isbn><style face="normal" font="default" size="100%">10005919</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">本文在Ｆ－ｌｏｇｉｃ的基础上提出了合理、完备、具有一阶语义和高阶表示能力的逻辑系统Ｆ￣＊－ｌｏｇｉｃ，研究了用Ｆ￣＊－ｌｏｇｉｃ在保持单调性的前提下进行继承性推理的方法，解决了在继承性推理中由于重置、例外和多重继承下的冲突所引起的难题。</style></abstract><issue><style face="normal" font="default" size="100%">2</style></issue></record></records></xml>