[FOM] "First order minimality" and circumscription

Martin Davis martin at eipye.com
Tue Jan 20 18:42:56 EST 2004

In a recent post, Harvey proposed a notion of first order minimality. This 
appears to be identical to a form of what John McCarthy has called 
"circumscription" on which there is a considerable literature.

An early paper is my:
``Notes on the Mathematics of Non-Monotonic Reasoning,''  Artificial 
Intelligence, vol.13(1980), pp. 73-80.


More information about the FOM mailing list