Results 151 to 160 of about 17,183,897 (183)
Some of the next articles are maybe not open access.
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
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 +3 more sources
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 +2 more sources
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 +4 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
Nonmonotonic relaxation kinetics of confined systems
Physical Review B, 2004The specific features of relaxation kinetics in systems with different kinds of confinements are discussed in the paper. In contrast to the usual Arrhenius, Eyring, or Vogel-Fulcher-Tammann patterns, a quite unusual nonmonotonic dependence of relaxation time versus temperature is observed in such systems.
Yaroslav E. Ryabov +2 more
openaire +1 more source
Nonmonotonic Resolution Inference Systems
1996Nonmonotonic inference systems, i.e., inference systems that fail to satisfy the monotonicity principle (c2), arose as a result of the search for logical tools which can handle a variety of forms of reasoning involving inferences based on information which can be incomplete, uncertain, approximate, or subject to revision.
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