The implementation of a model-based belief revision system

Authors:
Timothy S. C. Chou;Marianne Winslett
Affiliations:
-;-
Venue:
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Year:
1991

Citing 6
Cited 2

An assumption-based TMS

Artificial Intelligence
A theory of diagnosis from first principles

Artificial Intelligence
Specification and implementation of programs for updating incomplete information databases

PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Reasoning about action I: a possible worlds approach

Readings in nonmonotonic reasoning
A model for belief revision

Artificial Intelligence
Revisions of Knowledge Systems Using Epistemic Entrenchment

Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge

Critical reasoning: AI for emergency response

Applied Intelligence
A framework for empirical evaluation of belief change operators

SBIA'12 Proceedings of the 21st Brazilian conference on Advances in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we briefly describe Immortal, an implementation of a model-based belief revision system. We present our motivation for building Immortal, describe its basic components and properties, and discuss our method of evaluating Immortal.