Results 141 to 150 of about 17,183,897 (183)

Validation of Nonmonotonic Knowledge-Based Systems

[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1993
Nonmonotonic logical systems are logics in which the introduction of new axioms can invalidate old theorems. For practical applications, the authors restrict themselves to nonmonotonic systems that consist of facts and rules, and call them nonmonotonic knowledge-based systems (KBSs).
Chin-Liang Chang, Rolf A. Stachowitz, Jacqueline B. Combs   +2 more
openaire   +2 more sources

Nonmonotonic Proof Systems: Algebraic Foundations

Fundamenta Informaticae, 2004
A general framework for the algebraization of a category of nonmonotonic logics has been suggested. This method has been applied to the systems of Gabbay, and to Cumulative, Preferential and Ranked systems. The minimal logics required to serve as the base logics for the above systems are investigated.
Sujata Ghosh, Mihir K. Chakraborty
openaire   +3 more sources

A logic programming system for nonmonotonic reasoning

Journal of Automated Reasoning, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira   +2 more
openaire   +2 more sources

Nonmonotonic inheritance systems

IEEE Transactions on Systems, Man, and Cybernetics, 1988
The 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   +2 more sources

NonMonotonicity of Traveling Wave Profiles for a Unimodal Recursive System

SIAM Journal on Mathematical Analysis, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jian Fang, Yingli Pan
openaire   +1 more source

Formalizing nonmonotonic reasoning systems

Artificial Intelligence, 1987
The 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

2013
Nonmonotonic 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, Thomas Eiter, Stijn Heymans   +2 more
openaire   +2 more sources

Quasiperiodic Perturbations of Twodimensional Hamiltonian Systems with Nonmonotone Rotation

Journal of Mathematical Sciences, 2021
The paper deals with quasiperiodic nonconservative perturbations of two-dimensional Hamiltonian systems with nonmonotone rotation, namely \[\begin{array}{c} \dot{x} = \dfrac{\partial H(x,y)}{\partial y} + \varepsilon g(x,y,\omega_1 t, \omega_2 t,\dots , \omega_m t),\\ \dot{y} = -\dfrac{\partial H(x,y)}{\partial x} + \varepsilon f(x,y,\omega_1 t ...
Morozov, K. E., Morozov, A. D.
openaire   +2 more sources

Specification morphisms for nonmonotonic knowledge systems

1997
Conservative 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

Embedding a Default System into Nonmonotonic Logics

Fundamenta Informaticae, 1991
An embedding of minimal sets for default theories into nonmonotonic and nonmonotonic ground logics based on S4 and S5 is presented.
openaire   +3 more sources