Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Pointwise Circumscription Revisited Department of Computer Science,
 

Summary: Pointwise Circumscription Revisited
Eyal Amir
Department of Computer Science,
Gates Building, 2A wing
Stanford University, Stanford, CA 94305­9020, USA
eyala@cs.stanford.edu
Abstract
A decade ago, Pointwise Circumscription was
proposed as a tool for formalizing common
sense. In this paper, we revisit some of its uses
and examine some cases in which it does not
yield the intended behavior. Specifically, we ex­
plore the cases in which unsatisfiability may re­
sult from the presence of multiple minimal mod­
els (for McCarthy's Circumscription). Then, we
present a form of circumscription, called Point­
Sensitive Circumscription, that is a generaliza­
tion of McCarthy's Circumscription and Lifs­
chitz's Generalized Pointwise Circumscription.
We illustrate how Point­Sensitive Circumscrip­

  

Source: Amir, Eyal - Department of Computer Science, University of Illinois at Urbana-Champaign

 

Collections: Computer Technologies and Information Sciences