Formalization of Inheritance Reasoning in Autoepistemic Logic

Publisher Website
Google Scholar
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.

This publication has 0 references indexed in Scilit: