基于默认逻辑的继承例外的表达和推理

Representation and Reasoning on Exceptions to Inheritance Based on Default Logic

继承层次网络的非单调性表现为例外和矛盾２种情形．本文讨论了例外的默认逻辑表达方式和推理机制，探讨了正规默认和半正规默认表达的直观含义和推理能力．

Excephons and ambiguities are two ways of nonmonotonicity in inheritance hierarchy. This paper focuses on exceptions to inheritance, particularly discusses its representation and reasoning facilities based on default logic, and proposes normal and semi-normal default rules for exceptions.