Formalization of Inheritance Reasoning in Autoepistemic Logic

Article type: Research Article

Authors: Gelfond, Michael | Przymusinska, Halina^{; *}

Affiliations: Computer Science Department, The University of Texas at El Paso, 500 West University Avenue, El Paso, TX 79968, USA

Note: [*] The authors acknowledge support from the National Science Foundation under Grant No. IRI-8906516.

Abstract: Current research in the area of nonmonotonic reasoning suggests that autoepistemic logic provides a general framework for formalizing commonsense reasoning in various domains of discourse. The goal of this paper is to investigate the suitability of autoepistemic logic for formalization of some forms of inheritance reasoning. To this end we propose a new semantics for inheritance networks with exceptions based on autoepistemic logic.

DOI: 10.3233/FI-1990-13403

Journal: Fundamenta Informaticae, vol. 13, no. 4, pp. 403-443, 1990