Sciweavers

212 search results - page 27 / 43
» Belief Revision and Rationalizability
Sort
View
CLIMA
2004
14 years 7 days ago
Dynamic Logic for Plan Revision in Intelligent Agents
In this paper, we present a dynamic logic for a propositional version of the agent programming language 3APL. A 3APL agent has beliefs and a plan. The execution of a plan changes a...
M. Birna van Riemsdijk, Frank S. de Boer, John-Jul...
ACE
2004
183views Education» more  ACE 2004»
14 years 7 days ago
The Influence of Web-supported Independent Activities and Small Group Work on Students' Epistemological Beliefs
Epistemological beliefs are those concerning the nature of knowledge and learning: beliefs about how individuals come to know, and how knowledge is constructed. There is growing e...
Denise Tolhurst
LOGCOM
2007
141views more  LOGCOM 2007»
13 years 10 months ago
Conciliation through Iterated Belief Merging
Two families of conciliation processes for intelligent agents based on an iterated merge-then-revise change function for belief profiles are introduced and studied. The processes ...
Olivier Gauwin, Sébastien Konieczny, Pierre...
DEON
2008
Springer
14 years 19 days ago
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
Abstract. In this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based s...
Guido Governatori, Antonino Rotolo
DEXAW
2000
IEEE
74views Database» more  DEXAW 2000»
14 years 3 months ago
Retrieval Situations and Belief Change
Situational aspects are very helpful to decide relevance but they have often been left aside by Information Retrieval models. The standard logical approach to Information Retrieva...
David E. Losada, Alvaro Barreiro