Results 11 - 20 of 473

Inconsistency management and prioritized syntax-based entailment

by Salem Benferhat, Claudette Cayrol, Didier Dubois, Jerome Lang, Henri Prade , 1993
"... The idea of ordering plays a basic role in commonsense reasoning for addressing three interrelated tasks: inconsistency handling, belief revision and plausible inference. We study the behavior of non-monotonic inferences induced by various methods for priority-based handling of inconsistent sets of ..."
Abstract - Cited by 178 (33 self) - Add to MetaCart
The idea of ordering plays a basic role in commonsense reasoning for addressing three interrelated tasks: inconsistency handling, belief revision and plausible inference. We study the behavior of non-monotonic inferences induced by various methods for priority-based handling of inconsistent sets

THEMIS: a nonmonotonic inductive student modeling system

by Yasuyuki Kono, Mjtsuru Ikeda, Riichiro Mizoguchi - Journal of Artificial Intelligence in Education , 1994
"... Nonmonotonicities of students7 behavior and the student model inference process itself are discussed including the usage of the model in tutoring. They are classified into two classes, i.e., single world contradictions and multi-world contradictions (student knowledge contradictions). Student knowle ..."
Abstract - Cited by 20 (0 self) - Add to MetaCart
Nonmonotonicities of students7 behavior and the student model inference process itself are discussed including the usage of the model in tutoring. They are classified into two classes, i.e., single world contradictions and multi-world contradictions (student knowledge contradictions). Student

On the Non-monotonic Behavior of Event Calculus for Deriving Maximal Time Intervals

by Iliano Cervesato, Angelo Montanari, Alessandro Provetti - INTERNATIONAL JOURNAL ON INTERVAL COMPUTATIONS , 1993
"... The Event Calculus was proposed by Kowalski and Sergot as a simple and effective tool for dealing with time and actions in the framework of logic programming [9]. In response to the occurrences of events, the formalism computes maximal and convex intervals of validity of the relationships holding in ..."
Abstract - Cited by 13 (10 self) - Add to MetaCart
in the modeled world. The case of interest is when the set of events is fixed, but the order of their occurrence times is only partially known. The availability of new (pieces of) information about the relative order of events has a non-monotonic effect, making previous intervals no longer derivable. As a

The Range of Applicability of Some Nonmonotonic Logics for Strict Inertia

by Erik Sandewall , 1994
"... We present assessments for a number of previously proposed theories of action and change as well as some new ones. Each assessment identifies a class of scenarios for temporal reasoning where the theory is guaranteed to obtain the correct results. For some of the theories we have also obtained upper ..."
Abstract - Cited by 17 (5 self) - Add to MetaCart
actions are deterministic, whether scenarios involve prediction only, or what is the behavior of each type of action within its execution period. The paper describes equally the methodology that has been used for obtaining the assessments, and the assessments themselves. The final part of the work

The Origin of Nonmonotonic Complex Behavior and the Effects of Nonnative Interactions on the Diffusive Properties of Protein Folding

by Ronaldo J. Oliveira, Paul C. Whitford, Jorge Chahine, Jin Wang, K José N. Onuchic, Vitor B. P. Leite , 2010
"... ABSTRACT We present a method for calculating the configurational-dependent diffusion coefficient of a globular protein as a function of the global folding process. Using a coarse-grained structure-based model, we determined the diffusion coefficient, in reaction coordinate space, as a function of th ..."
Abstract - Add to MetaCart
of the fraction of native contacts formed Q for the cold shock protein (TmCSP). We find nonmonotonic behavior for the diffusion coefficient, with high values for the folded and unfolded ensembles and a lower range of values in the transition state ensemble. We also characterized the folding landscape associated

Understanding and Modeling the Non-Monotonic Attenuation Behavior of PIN Limiter Diodes

by Robert H Caverly , Gerald Hiller
"... Abstract A commonly observed and unexplained behavior in limiter and switch circuits using PIN diodes is that attenuation may unexpectedly remain constant and even decrease with increasing input power or dc forward bias. This paper will demonstrate that this anomalous, non-monotonic behavior is att ..."
Abstract - Add to MetaCart
Abstract A commonly observed and unexplained behavior in limiter and switch circuits using PIN diodes is that attenuation may unexpectedly remain constant and even decrease with increasing input power or dc forward bias. This paper will demonstrate that this anomalous, non-monotonic behavior

ASYMPTOTIC BEHAVIOR OF SOLUTIONS FOR A SEMIBOUNDED NONMONOTONE EVOLUTION EQUATION

by Nikos Karachalios , Nikos Stavrakakis , Pavlos Xanthopoulos
"... We consider a nonlinear parabolic equation involving nonmonotone diffusion. Existence and uniqueness of solutions are obtained, employing methods for semibounded evolution equations. Also shown is the existence of a global attractor for the corresponding dynamical system. ..."
Abstract - Add to MetaCart
We consider a nonlinear parabolic equation involving nonmonotone diffusion. Existence and uniqueness of solutions are obtained, employing methods for semibounded evolution equations. Also shown is the existence of a global attractor for the corresponding dynamical system.

Declarative Update Policies for Nonmonotonic Knowledge Bases

by Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits , 2002
"... Updating databases, and in particular relational databases, is a central issue which has been well-studied in the database field for many years, and solutions have been incorporated into commercial database systems. As for more advanced databases such as logical databases, and in particular for n ..."
Abstract - Cited by 5 (4 self) - Add to MetaCart
for nonmonotonic knowledge bases, work on this problem is more recent. Various approaches for incorporating a single or a sequence of changes into a nonmonotonic knowledge base have been proposed. However, most of these approaches were concerned with how a change should be accomplished at a technical level

Pure Strategy Equilibria of Multidimensional and Non-Monotonic Auctions

by Aloisio Araujo, Luciano I. de Castro Filho, Humberto Moreira , 2004
"... We give necessary and sufficient conditions for the existence of symmetric equilibrium without ties in common values auctions, with multidimensional independent types and no monotonic assumptions. When the conditions are not satisfied, we are still able to prove the existence of pure strategy equili ..."
Abstract - Cited by 5 (3 self) - Add to MetaCart
for an intuitive interpretation for the behavior of the bidder: to bid in order to equalize the marginal benefit and the marginal cost of bidding.

The Nonmonotonic Semantics of Active Rules in Deductive Databases

by Carlo Zaniolo - Databases, Proceedings Fifth Int. Conference on Deductive and Object-Oriented Databases: DOOD , 1997
"... We provide a logic-based semantics for active database rules under the immediately-after, tuple-level activation policy of SQL3. This result allows us to characterize and analyze the behavior of complex rule systems using the declarative framework of stable models, and to lay the theoretical foundat ..."
Abstract - Cited by 5 (4 self) - Add to MetaCart
We provide a logic-based semantics for active database rules under the immediately-after, tuple-level activation policy of SQL3. This result allows us to characterize and analyze the behavior of complex rule systems using the declarative framework of stable models, and to lay the theoretical
Results 11 - 20 of 473