Results 121 to 130 of about 279 (150)
Some of the next articles are maybe not open access.
Embedding a Default System into Nonmonotonic Logics
Fundamenta Informaticae, 1991An embedding of minimal sets for default theories into nonmonotonic and nonmonotonic ground logics based on S4 and S5 is presented.
openaire +2 more sources
Specification morphisms for nonmonotonic knowledge systems
1997Conservative extensions of (classical) logical theories play an important role in software engineering, because they provide a formal basis for program refinement and guarantee the integrity and transparency of modules and objects. Similarly specification morphisms play a central role for information hiding and combining modules.
Cara MacNish, Grigoris Antoniou
openaire +1 more source
Nonmonotonic rule systems with recursive sets of restraints
Archive for Mathematical Logic, 1997Nonmonotonic rule systems are introduced to capture the common features of several nonmonotonic logics as, e.g., auto-epistemic logic, default logic and general logic programs. A nonmonotonic rule system is a pair \((U,N)\) where \(U\) is a set and \(N\) is a collection of rules.
V. Wiktor Marek +2 more
openaire +2 more sources
Parallelism in nonmonotonic multiple inheritance systems
1990Organizing information in the form of an inheritance hierarchy is a basic concept in knowledge representation. Nonmonotonic multiple inheritance systems are the most powerful in their expressiveness. They allow a class to inherit properties from multiple superclasses and exceptions to those inherited properties are also permitted. However, due to their
Vickitt Lau, Jia-Huai You
openaire +1 more source
Monotonic and Nonmonotonic Reasoning in Zoom Reasoning Systems
2004Both monotonic and nonmonotonic reasoning are shown to be represented in zoom reasoning systems which are a way of reasoning using granularized possible worlds and lower approximation in rough set theory.
Tetsuya Murai +3 more
openaire +1 more source
A compositional reasoning system for executing nonmonotonic theories of reasoning
International Journal of Intelligent Systems, 1997Summary: In this paper the framework DESIRE for the design of compositional reasoning systems and multi-agent systems was applied to build a generic nonmonotonic reasoning system. The outcome is a general reasoning system that can be used to model different nonmonotonic reasoning formalisms and that can be executed by a generic execution mechanism. The
Joeri Engelfriet, Jan Treur
openaire +3 more sources
System LS: A Three‐Tiered Nonmonotonic Reasoning System
Computational Intelligence, 2004In this paper, a formal system of nonmonotonic reasoning is developed, which takes as its inspiration the manner in which some people make logically justifiable conclusions about nonmonotonic reasoning problems. The people, when asked about individuals, compare the logical strength of the arguments relating any sets to which the individual belongs ...
openaire +2 more sources
Some Algorithms for Extension Computation of Nonmonotonic Rule Systems
Fundamenta Informaticae, 2001In this paper, we will place our emphasis on the problem of existence of extensions and on finding more efficient algorithms for computing extensions of nonmonotonic rule systems. First, in order to dedicate further research into nonmonotonic rule systems a new characterization and some new results are given.
Xishun Zhao, Decheng Ding
openaire +3 more sources
ON THE COMPLETION OF PRIORITY ORDERINGS IN NONMONOTONIC REASONING SYSTEMS
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 1993We discuss the structure of nonmonotonic reasoning. We suggest that an important aspect of nonmonotonic reasoning systems is the ordering relationship (preference structure) on the propositions in the knowledge. We suggest that this ordering relationship must be a weak order, a complete and transitive relationship.
openaire +1 more source
A nonmonotone hybrid method for nonlinear systems∗
Optimization Methods and Software, 2000A nonmonotone hybrid method for solving nonhnear systems is proposed. The idea consists in matching a Newton-like method stabilized by nonmonotone line-search with a cheap direct search method that...
openaire +2 more sources