Sciweavers

3845 search results - page 19 / 769
» Belief Logic Programming
Sort
View
KI
2010
Springer
14 years 4 months ago
Focused Belief Revision as a Model of Fallible Relevance-Sensitive Perception
We present a framework for incorporating perception-induced beliefs into the knowledge base of a rational agent. Normally, the agent accepts the propositional content of perception...
Haythem O. Ismail, Nasr Kasrin
ATAL
2006
Springer
15 years 1 months ago
Designing agent chips
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
Insu Song, Guido Governatori
EVOW
2001
Springer
15 years 2 months ago
Belief Revision by Lamarckian Evolution
We propose a multi-agent genetic algorithm to accomplish belief revision. The algorithm implements a new evolutionary strategy resulting from a combination of Darwinian and Lamarck...
Evelina Lamma, Luís Moniz Pereira, Fabrizio...
UM
2001
Springer
15 years 2 months ago
An Integrated Approach for Generating Arguments and Rebuttals and Understanding Rejoinders
This paper describes an integrated approach for interpreting a user’s responses and generating replies in the framework of a WWW-based Bayesian argumentation system. Our system c...
Ingrid Zukerman
87
Voted
CORR
2000
Springer
132views Education» more  CORR 2000»
14 years 9 months ago
Uniform semantic treatment of default and autoepistemic logics
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
Marc Denecker, Victor W. Marek, Miroslaw Truszczyn...