@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 "formalizing-context.ps"^^xsd:string .
dc:format "text/html";
dc:title "HTML Summary of #419 \n\nFormalizing Context (Expanded Notes)\n\n";
foaf:primaryTopic .
dct:hasPart ;
ep:hasFile ;
eprel:hasVersion ;
eprel:hasVolatileVersion ;
eprel:haspreviewThumbnailVersion ;
rdf:type bibo:Document,
ep:Document;
rdfs:label "Formalizing Context (Expanded Notes) (Postscript)"^^xsd:string .
rdf:_1 ;
rdf:_2 .
bibo:abstract "These notes discuss formalizing contexts as first class objects. The basic relationships are: ist(c,p) meaning that the proposition p is true in the context c, and value(c,p) designating the value of the term e in the context c Besides these, there are lifting formulas that relate the propositions and terms in subcontexts to possibly more general propositions and terms in the outer context. Subcontextx are often specialised with regard to time, place and terminology. Introducing contexts as formal objects will permit axiomatizations in limited contexts to be expanded to transcend the original limitations. This seems necessary to provide AI programs using logic with certain capabilities that human fact representation and human reasoning possess. Fully implementing transcendence seems to require further extensions to mathematical logic, ie. beyond the nonmonotonic inference methods first invented in AI and now studied as a new domain of logic."^^xsd:string;
bibo:authorList ;
bibo:status ;
dct:creator ,
;
dct:date "1997";
dct:isPartOf ;
dct:subject ,
;
dct:title "Formalizing Context (Expanded Notes)"^^xsd:string;
ep:hasDocument ;
rdf:type bibo:Article,
ep:EPrint,
ep:PreprintEPrint;
rdfs:seeAlso .
rdf:type skos:Concept;
skos:prefLabel "Artificial Intelligence" .
rdf:type skos:Concept;
skos:prefLabel "Logic" .
foaf:familyName "Buvac"^^xsd:string;
foaf:givenName "Sasa"^^xsd:string;
foaf:name "Sasa Buvac"^^xsd:string;
rdf:type foaf:Person .
foaf:familyName "McCarthy"^^xsd:string;
foaf:givenName "John"^^xsd:string;
foaf:name "John McCarthy"^^xsd:string;
rdf:type foaf:Person .