Results 141 to 150 of about 18,251,092 (179)
Some of the next articles are maybe not open access.
NonMonotonicity of Traveling Wave Profiles for a Unimodal Recursive System
SIAM Journal on Mathematical Analysis, 2022Recursive systems of unimodal type may exhibit rich propagation dynamics. The shape of traveling wave profiles is one of the unsolved questions in this challenging topic. In this paper, we obtain criteria for the nonmonotonicity of wave profiles in terms of an eigenvalue problem.
Jian Fang, Yingli Pan
openaire +1 more source
Formalizing nonmonotonic reasoning systems
Artificial Intelligence, 1987The paper addresses the problem of existence of expansions of semi-normal default theories introduced by \textit{R. Reiter} [ibid. 13, 81-132 (1980; Zbl 0435.68069)]. Semi-normal default theory \(\Delta\) is defined as (D,W), where W is a set of first-order formulae, and D is a set of semi- normal defaults, i.e. rules of inference having the form: (*)\
openaire +1 more source
The DReW System for Nonmonotonic DL-Programs
2013Nonmonotonic DL-programs provide a loose integration of Description Logic (DL) ontologies and Logic Programming (LP) rules with negation, where a rule engine can query an ontology with a native DL reasoner. However, in most systems for DL-programs, the overhead of an external DL reasoner might be considerable.
Guohui Xiao 0001 +2 more
openaire +2 more sources
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 +3 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 +2 more sources
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
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 +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