ContactPerson: flj@cse.buffalo.edu
Remote host: mira.cse.buffalo.edu
Remote ident: flj
### Begin Citation ### Do not delete this line ###
%R 99-09
%U /projects/flj/tech-reports/CSE-tech-reports/dot-scenario.ps
%A Johnson, Frances L.
%A Shapiro, Stuart C.
%T Finding and Resolving Contradictions in a Battle Scenario
%D September 09, 1999
%I Department of Computer Science and Engineering, SUNY Buffalo
%K knowledge representation; contradictions; belief; belief revision; beliefs; autoBR; automatic;
%Y Nonmonotonic reasoning and belief revision
%X This report presents an initial attempt to run a battle scenario with  
built in inconsistencies on the SNePS knowledge representation and  
reasoning system.  This system alerts the user to the inconsistencies  
as soon as they are detected and offers an opportunity to correct the  
base hypotheses as well and, consequently, the beliefs that were  
derived from them.  In this scenario, automatic belief revision is  
able to narrow down its culprit choices to one proposition each time  
it is called, so it removes those propositions.  The system  
automatically stops believing any derived beliefs whose  
justifications rely on the removed beliefs.