What does a conditional knowledge base entail?
Proceedings of the first international conference on Principles of knowledge representation and reasoning
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
Nonmonotonic inference based on expectations
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3)
From belief revision to design revision: Applying theory change to changing requirements
PRICAI '96 Selected Papers from the Workshop on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations: Learning and Reasoning with Complex Representations
Revisions of knowledge systems using epistemic entrenchment
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Iterated theory base change: a computational model
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A Framework for Multi-Agent Belief Revision, Part I: The Role of Ontology
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
The Influence of Epistemology on the Design of Artificial Agents
Minds and Machines
An evaluation of intelligent agent based innovation in the wholesale financial services industry
Seeking sucess in E-business
Belief revision for adaptive information retrieval
Proceedings of the 27th annual international ACM SIGIR conference on Research and development in information retrieval
Context-sensitive text mining and belief revision for intelligent information retrieval on the web
Web Intelligence and Agent Systems
PeCAN: an architecture for users' privacy-aware electronic commerce contexts on the semantic web
Information Systems - Special issue: The semantic web and web services
Towards a belief-revision-based adaptive and context-sensitive information retrieval system
ACM Transactions on Information Systems (TOIS)
Knowledge state reconsideration: hindsight belief revision
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Dependency-directed reconsideration belief base optimization for truth maintenance systems
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Theoretical Computer Science
Hi-index | 0.00 |
Belief Revision is a ubiquitous process underlying many forms of intelligent behavior. The AGM paradigm is a powerful framework for modeling and implementing belief revision systems based on the principle of Minimal Change; it provides a rich and rigorous foundation for computer-based belief revision architectures. Maxi-adjustment is a belief revision strategy for theory bases that can be implemented using a standard theorem prover, and one that has been used successfully for several applications. In this paper we provide an anytime decision procedure for maxi-adjustments, and study its complexity. Furthermore, we outline a set of guidelines that serve as a protomethodology for building belief revision systems employing a maxi-adjustment. The algorithm is under development in the belief revision module of the CIN Project.