Results 11 to 20 of about 10,210,730 (222)
Annotated nonmonotonic rule systems [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Anil Nerode +2 more
exaly +7 more sources
Nonmonotonic Rule Systems on Top of Ontology Layers [PDF]
The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the from of the DAML+OIL language which corresponds to a rich description logic. The next step will be the the realization of logical rule systems on top of the ontology layer.Computationally simple nonmonotonic ...
G. Antoniou
exaly +5 more sources
A theory of nonmonotonic rule systems II [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
V. Wiktor Marek +2 more
semanticscholar +5 more sources
A context for belief revision: forward chaining-normal nonmonotomic rule systems
For some time it has been widely appreciated that those systems of nonmonotonic logic that are defined in the literature using fixed points (notably Reiter style default logic, autoepistemic systems, logic programs with negation, and certain truth-maintenance systems), have a considerable amount of structure in common.
V. Wiktor Marek +2 more
openaire +3 more sources
Nonmonotonic conditionals that behave like conditional probabilities above a threshold
James Hawthorne
exaly +2 more sources
The modifiability of rule-based expert systems [PDF]
This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.This thesis examines the claim that rule representations of knowledge are conveniently modified. The thesis falls into two parts and in the first, a precise
Bottaci, Leonardo
core +7 more sources
A theory of nonmonotonic rule systems [PDF]
The semantics for nonmonotonic rule systems are investigated. The notion of nonmonotonic formal systems is then introduced. Examples are given, along with applications of logic, logic programming, and common-sense reasoning. >
V. Wiktor Marek +2 more
openaire +1 more source
Equality-friendly well-founded semantics and applications to description logics [PDF]
We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and nega- tions in their bodies. In particular, we provide a WFS for the recent Datalog± family of ontology languages,
Lukasiewicz, Thomas +7 more
core +4 more sources
Belief Change in Nonmonotonic Multi-Context Systems [PDF]
Brewka and Eiter's nonmonotonic multi-context system is an elegant knowledge representation framework to model heterogeneous and nonmonotonic multiple contexts. Belief change is a central problem in knowledge representation and reasoning.
Yisong Wang +5 more
core +1 more source
Categorization and construction of rule based systems [PDF]
Expert systems have been increasingly popular for commercial importance. A rule based system is a special type of an expert system, which consists of a set of ‘if-then‘ rules and can be applied as a decision support system in many areas such as ...
Frederic Stahl +5 more
core +1 more source

