Sciweavers

39 search results - page 6 / 8
» Automating Belief Revision for AgentSpeak
Sort
View
FOMI
2009
13 years 4 months ago
Do you still want to vote for your favorite politician? Ask Ontobella!
Abstract. The paper presents the preliminary version of Ontobella - a domain ontology of beliefs. The philosophical assumptions of this system are taken from the philosophy of Roma...
Pawel Garbacz, Marek Lechniak, Piotr Kulicki, Robe...
FSS
2010
102views more  FSS 2010»
13 years 4 months ago
Measuring conflict and agreement between two prioritized knowledge bases in possibilistic logic
In this paper we investigate the relationship between two prioritized knowledge bases by measuring both the conflict and the agreement between them. First of all, a quantity of co...
Guilin Qi, Weiru Liu, David A. Bell
ECSQARU
2007
Springer
14 years 1 months ago
COBA 2.0: A Consistency-Based Belief Change System
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
James P. Delgrande, Daphne H. Liu, Torsten Schaub,...
ECSQARU
2005
Springer
14 years 15 days ago
Conciliation and Consensus in Iterated Belief Merging
Two conciliation processes for intelligent agents based on an iterated mergethen-revise change function for belief profiles are introduced and studied. The first approach is ske...
Olivier Gauwin, Sébastien Konieczny, Pierre...
TARK
2007
Springer
14 years 1 months ago
From conditional probability to the logic of doxastic actions
We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...
Alexandru Baltag, Sonja Smets