Results 131 to 140 of about 2,636 (156)
Some of the next articles are maybe not open access.
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 inheritance systems
IEEE Transactions on Systems, Man, and Cybernetics, 1988The use of frames and other hierarchical representational schemes has become fairly pervasive in intelligent systems. Central to these representations is the inheritance of properties from one object to another by way of is-a-kind and is-an-element-of links.
openaire +1 more source
Nonmonotonic heat dissipation phenomenon in close-packed hotspot systems
Physical Review E, 2022Transient heat dissipation in close-packed quasi-two-dimensional nanoline and three-dimensional nanocuboid hotspot systems is studied based on the phonon Boltzmann transport equation. It is found that, counterintuitively, the heat dissipation efficiency is not a monotonic function of the distance between adjacent nanoscale heat sources but reaches the ...
Chuang Zhang, Lei Wu
openaire +2 more sources
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
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
A logic programming system for nonmonotonic reasoning
Journal of Automated Reasoning, 1995zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alferes, José Júlio +2 more
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.
C. K. MacNish, Grigoris Antoniou
openaire +1 more source
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 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
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