Sciweavers

1917 search results - page 14 / 384
» Experimenting with Nonmonotonic Reasoning
Sort
View
IEAAIE
1998
Springer
13 years 11 months ago
Development of an Ecological Decision Support System
In this paper a knowledge-based decision support system is described that determines the abiotic (chemical and physical) characteristics of a site on the basis of in-homogeneous sa...
Frits van Beusekom, Frances M. T. Brazier, Piet Sc...
CORR
2000
Springer
132views Education» more  CORR 2000»
13 years 7 months ago
Declarative Representation of Revision Strategies
Abstract. We introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the in...
Gerhard Brewka
KR
2000
Springer
13 years 11 months ago
Finding Admissible and Preferred Arguments Can be Very Hard
Bondarenko et al. have recently proposed an extension of the argumentation-theoretic semantics of admissible and preferred arguments, originally proposed for logic programming onl...
Yannis Dimopoulos, Bernhard Nebel, Francesca Toni
AI
2004
Springer
13 years 7 months ago
Logic-based subsumption architecture
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL...
Eyal Amir, Pedrito Maynard-Zhang
AMAI
2004
Springer
14 years 27 days ago
Production Inference, Nonmonotonicity and Abduction
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
Alexander Bochman