Proteus: A Frame-Based Nonmonotonic Inference System
نویسنده
چکیده
منابع مشابه
Nonmonotonic Reasoning and Multiple Belief Revision
The aim of the present paper is to reveal the interrelation between general patterns of nonmonotonic reasoning and multiple belief revision. For this purpose we de ne a nonmonotonic inference frame in which individual inference rules have been proposed in the literature but their combination as a system has not been investigated. It is shown that such a system is so strong that almost all the r...
متن کاملOn natural deduction system for nonmonotonic reasoning
This paper is concerned with the problem of how to construct a natural deduction system for nonmonotonic reasoning. Three possible constructions are investigated, the ones which consists of (1) pure nonmonotonic inference rules; (2) nonmonotonic inference rules plus a nonmonotonic tautology base; or (3) nonmonotonic inference rules plus a nonmonotonic conditional assertion base. Based on a fram...
متن کاملContributions to the Theory of Nonmonotonic Inference Systems
In the present paper an approach to nonmonotonic reasoning is discussed which is inspired by the paradigm of abstract model theory. The aim is to analyse non-monotonic reasoning within the framework of inference operations based on model operators. This is done by using the concept of a deductive frame and its semantical counterpart, a semantical frame. These are considered as a basis for nonmo...
متن کاملWell-Founded Optimism: Inheritance in Frame-Based Knowledge Bases
F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics for inheritance suffers from a number of anomalies when inheritance and deduction closely interact. This work rectifies this problem and develops a natural model-theoretic semantics for inheritance in frame-based knowledge bases,...
متن کاملDefault geasoning, Nonmonotonic Logics, and the Frame Problem
Nonmonotonic formal systems have been proposed as an extension to classical first-order logic that will capture the process of human “default reasoning” or “plausible inference” through their inference mechanisms just as modus ponena provides a model for deductive reasoning. But although the technical properties of these logics have been studied in detail and many examples of human default reas...
متن کامل