Sciweavers

237 search results - page 30 / 48
» Permissive Belief Revision
Sort
View
IICAI
2007
13 years 8 months ago
Logics for Action
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
Michael P. Fourman
ASWEC
2008
IEEE
14 years 1 months ago
Experiences on the Belief-Theoretic Integration of Para-consistent Conceptual Models
Viewpoint-based conceptual modeling is concerned with the identification of a complete and coherent set of software models that have been developed with the involvement of variou...
Ebrahim Bagheri, Ali A. Ghorbani
CLIMA
2006
13 years 8 months ago
Belief Updating by Communication Channel
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
Shingo Hagiwara, Mikito Kobayashi, Satoshi Tojo
INFFUS
2006
100views more  INFFUS 2006»
13 years 7 months ago
Social contraction and belief negotiation
An intelligent agent may receive information about its environment from several different sources. How should the agent merge these items of information into a single, consistent ...
Richard Booth
COLING
1990
13 years 8 months ago
Incremental Parsing and Reason Maintenance
The purpose of this paper is to compare different ways of adopting reason-maintenance techniques in incremental parsing (and interpretation). A reasonmaintenance system supports i...
Mats Wirén