?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Notes+on+Formalizing+Context&rft.creator=McCarthy%2C+John&rft.subject=Artificial+Intelligence&rft.description=These+notes+discuss+formalizing+contexts+as+first+class+objects.+The+basic+relation+is+ist(c%2Cp).+It+asserts+that+the+proposition+p+is+true+in+the+context+c.+The+most+important+formulas+relate+the+propositions+true+in+different+contexts.+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+i.e.+beyond+the+nonmonotonic+inference+methods+first+invented+in+AI+and+now+studied+as+a+new+domain+of+logic.+Various+notations+are+considered%2C+but+these+notes+are+tentative+in+not+proposing+a+single+language+with+all+the+desired+capabilities.&rft.date=1993&rft.type=Preprint&rft.type=NonPeerReviewed&rft.format=application%2Fpostscript&rft.identifier=http%3A%2F%2Fcogprints.org%2F418%2F2%2Fcontext3.ps&rft.identifier=++McCarthy%2C+John++(1993)+Notes+on+Formalizing+Context.++%5BPreprint%5D+++++&rft.relation=http%3A%2F%2Fcogprints.org%2F418%2F