?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Formalizing+Context+(Expanded+Notes)&rft.creator=McCarthy%2C+John&rft.creator=Buvac%2C+Sasa&rft.subject=Artificial+Intelligence&rft.subject=Logic&rft.description=These+notes+discuss+formalizing+contexts+as+first+class+objects.+The+basic+relationships+are%3A++ist(c%2Cp)+meaning+that+the+proposition+p+is+true+in+the+context+c%2C+and++value(c%2Cp)+designating+the+value+of+the+term+e+in+the+context+c++Besides+these%2C+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%2C+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%2C+ie.+beyond+the+nonmonotonic+inference+methods+first+invented+in+AI+and+now+studied+as+a+new+domain+of+logic.&rft.date=1997&rft.type=Preprint&rft.type=NonPeerReviewed&rft.format=application%2Fpostscript&rft.identifier=http%3A%2F%2Fcogprints.org%2F419%2F2%2Fformalizing-context.ps&rft.identifier=++McCarthy%2C+John+and+Buvac%2C+Sasa++(1997)+Formalizing+Context+(Expanded+Notes).++%5BPreprint%5D+++++&rft.relation=http%3A%2F%2Fcogprints.org%2F419%2F