Notes on Formalizing Context TeX Export

@inproceedings{McCarthy1993Notes, abstract = {These notes discuss formalizing contexts as first class objects. The basic relation is \$ist(c,p)\$. 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, i.e. beyond the nonmonotonic inference methods first invented in AI and now studied as a new domain of logic. Various notations are considered, but these notes are tentative in not proposing a single language with all the desired capabilities.}, address = {San Mateo, California}, author = {Mccarthy, John}, booktitle = {IJCAI}, citeulike-article-id = {1901831}, citeulike-linkout-0 = {http://dblp.uni-trier.de/rec/bibtex/conf/ijcai/McCarthy93}, keywords = {context, d22, definition, logic, model}, pages = {555--562}, posted-at = {2007-11-12 08:28:04}, priority = {1}, publisher = {Morgan Kaumann}, title = {Notes on Formalizing Context}, url = {http://dblp.uni-trier.de/rec/bibtex/conf/ijcai/McCarthy93}, year = {1993} }

TY - CONF ID - McCarthy1993Notes L3 - citeulike-article-id:1901831 N2 - These notes discuss formalizing contexts as first class objects. The basic relation is $ist(c,p)$. 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, i.e. beyond the nonmonotonic inference methods first invented in AI and now studied as a new domain of logic. Various notations are considered, but these notes are tentative in not proposing a single language with all the desired capabilities. AD - San Mateo, California EP - 562 TI - Notes on Formalizing Context PB - Morgan Kaumann T2 - IJCAI SP - 555 KW - context KW - d22 KW - definition KW - logic KW - model AU - Mccarthy, John PY - 1993/// UR - http://dblp.uni-trier.de/rec/bibtex/conf/ijcai/McCarthy93 ER -