ParaFrame: A paraconsistent frame system

Frames are a scheme for the representation of knowledge which allows the description of complex objects. However, there is a gap, between the knowledge represented by Frame Systems and the knowledge in the real world. Some Frame Systems have been designed in order to reduce this gap. Nevertheless, they do not deal with tasks such as exceptions and the inconsistency adequately. Inconsistency is a natural phenomenon arising from the description of the real world. This phenomenon may be encountered. in several situations., Nevertheless, human beings axe capable of reasoning adequately. The automation of such reasoning requires the development of formal theories. Paraconsistent Logic was proposed by N.C.A. da Costa to provide tools to reason about inconsistencies. In this work an inheritance reasoner has been implemented. It represents knowledge through paraconsistent frames and performs inferences: over the tangled hierarchies based upon the degree of inconsistency/underdeterminedness. Moreover, its main characteristic is that it does not eliminate, ab initio, contradictions. The inheritance reasoner has provided a more adequate treatment to exceptions and inconsistent information of Frame Systems with multiple inheritance.