?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Applications+of+Circumscription+to+Formalizing+Common+Sense+Knowledge&rft.creator=McCarthy%2C+John&rft.subject=Artificial+Intelligence&rft.description=We+present+a+new+and+more+symmetric+version+of+the+circumscription+method+of+nonmonotonic+reasoning+first+described+in+(McCarthy+1980)+and+some+applications+to+formalizing+common+sense+knowledge.+The+applications+in+this+paper+are+mostly+based+on+minimizing+the+abnormality+of+different+aspects+of+various+entities.+Included+are+nonmonotonic+treatments+of+is-a+hierarchies%2C+the+unique+names+hypothesis%2C+and+the+frame+problem.+The+new+circumscription+may+be+called+formula+circumscription+to+distinguish+it+from+the+previously+defined+domain+circumscription+and+predicate+circumscription.+A+still+more+general+formalism+called+prioritized+circumscription+is+briefly+explored.&rft.date=1986&rft.type=Journal+(Paginated)&rft.type=NonPeerReviewed&rft.format=application%2Fpostscript&rft.identifier=http%3A%2F%2Fcogprints.org%2F415%2F2%2Fapplications.ps&rft.identifier=++McCarthy%2C+John++(1986)+Applications+of+Circumscription+to+Formalizing+Common+Sense+Knowledge.++%5BJournal+(Paginated)%5D+++++&rft.relation=http%3A%2F%2Fcogprints.org%2F415%2F