@prefix epid: .
@prefix dc: .
@prefix geo: .
@prefix bibo: .
@prefix epx: .
@prefix owl: .
@prefix void: .
@prefix event: .
@prefix skos: .
@prefix xsd: .
@prefix cc: .
@prefix ep: .
@prefix foaf: .
@prefix rdf: .
@prefix rdfs: .
@prefix eprel: .
@prefix dct: .
<>
foaf:primaryTopic ;
rdfs:comment "The repository administrator has not yet configured an RDF license."^^xsd:string .
rdfs:label "applications.ps"^^xsd:string .
dc:format "text/html";
dc:title "HTML Summary of #415 \n\nApplications of Circumscription to Formalizing Common Sense Knowledge\n\n";
foaf:primaryTopic .
dct:hasPart ;
ep:hasFile ;
eprel:hasVersion ;
eprel:hasVolatileVersion ;
eprel:haspreviewThumbnailVersion ;
rdf:type bibo:Document,
ep:Document;
rdfs:label "Applications of Circumscription to Formalizing Common Sense Knowledge (Postscript)"^^xsd:string .
rdf:_1 .
bibo:abstract "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, the unique names hypothesis, 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."^^xsd:string;
bibo:authorList ;
bibo:status ,
;
bibo:volume "28";
dct:creator ;
dct:date "1986";
dct:isPartOf ,
;
dct:subject ;
dct:title "Applications of Circumscription to Formalizing Common Sense Knowledge"^^xsd:string;
ep:hasDocument ;
rdf:type bibo:Article,
ep:EPrint,
ep:JournalpEPrint;
rdfs:seeAlso .
rdf:type skos:Concept;
skos:prefLabel "Artificial Intelligence" .
foaf:familyName "McCarthy"^^xsd:string;
foaf:givenName "John"^^xsd:string;
foaf:name "John McCarthy"^^xsd:string;
rdf:type foaf:Person .
foaf:name "Artificial Intelligence"^^xsd:string;
rdf:type bibo:Collection .