?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=A+Logical+Approach+to+Context&rft.creator=McCarthy%2C+John&rft.subject=Artificial+Intelligence&rft.subject=Logic&rft.description=Logical+AI+develops+computer+programs+that+represent+what+they+know+about+the+world+primarily+by+logical+formulas+and+decide+what+to+do+primarily+by+logical+reasoning--including+nonmonotonic+logical+reasoning.+It+is+convenient+to+use+logical+sentences+and+terms+whose+meaning+depends+on+context.+The+reasons+for+this+are+similar+to+what+causes+human+language+to+use+context+dependent+meanings.+This+note+gives+elements+of+some+of+the+formalisms+to+which+we+have+been+led.+Fuller+treatments+are+in+%5BMcC93%5D%2C+%5BGuh91%5D+and+%5BMB94%5D+and+the+references+cited+in+the+Web+page+%5BBuv95%5D.+The+first+main+idea+is+to+make+contexts+first+class+objects+in+the+logic+and+use+the+formula+ist(c%2Cp)+to+assert+that+the+proposition+p+is+true+in+the+context+c.+A+second+idea+is+to+formalize+how+propositions+true+in+one+context+transform+when+they+are+moved+to+different+but+related+contexts.+An+ability+to+transcend+the+outermost+context+is+needed+to+give+computer+programs+the+ability+to+reason+about+the+totality+of+all+they+have+thought+about+so+far+%5BMcC96%5D.&rft.date=1996&rft.type=Preprint&rft.type=PeerReviewed&rft.format=application%2Fpostscript&rft.identifier=http%3A%2F%2Fcogprints.org%2F421%2F2%2Flogical.ps&rft.identifier=++McCarthy%2C+John++(1996)+A+Logical+Approach+to+Context.++%5BPreprint%5D+++++&rft.relation=http%3A%2F%2Fcogprints.org%2F421%2F