Formalizing Context (Expanded Notes)

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.

[1]  D. Prawitz.  Natural Deduction: A Proof-Theoretical Study , 1965 .

[2]  R. Thomason.  Some Completeness Results for Modal Predicate Calculi , 1970 .

[3]  J. McCarthy.  First Order Theories of Individual Concepts and Propositions. , 1979 .

[4]  John McCarthy,et al.  Ascribing Mental Qualities to Machines , 1979 .

[5]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[6]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[7]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[8]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[9]  Joseph S. Weening,et al.  EKL - an interactive proof checker user''s reference manual , 1984 .

[10]  Candace L. Sidner,et al.  Attention, Intentions, and the Structure of Discourse , 1986, CL.

[11]  David Israel.  On formal versus commonsense semantics , 1987, TINLAP '87.

[12]  John McCarthy,et al.  Generality in artificial intelligence , 1987, Resonance.

[13]  Christine Collet,et al.  Resource integration using a large knowledge base in Carnot , 1991, Computer.

[14]  Yoav Shoham,et al.  Varieties of Context , 1991, Artificial and Mathematical Theory of Computation.

[15]  R. Guha.  Contexts: a formalization and some applications , 1992 .

[16]  Fausto Giunchiglia,et al.  Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.

[17]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[18]  Ian A. Mason,et al.  Propositional Logic of Context , 1993, AAAI.

[19]  Luciano Serafini,et al.  Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[20]  P. Pandurang Nayak,et al.  Representing Multiple Theories , 1994, AAAI.

[21]  Maria Simi,et al.  A Formalization of Viewpoints , 1995, Fundam. Informaticae.

[22]  Rodney J. Douglas,et al.  Synthesis of High-Performance Transportation Schedulers , 1995 .

[23]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[24]  Megumi Kameyama,et al.  Indefeasible Semantics and Defeasible Pragmatics , 1994, ArXiv.

[25]  Donald Perlis.  Papers on Context: Theory and Practice , 1995, Fundam. Informaticae.

[26]  Ian A. Mason,et al.  Metamathematics of Contexts , 1995, Fundam. Informaticae.

[27]  Wanda Pratt,et al.  Integrating Information Sources Using Context Logic , 1995 .

[28]  Richard Fikes,et al.  A declarative formalization of knowledge translation , 1995, CIKM '95.

[29]  Dov M. Gabbay,et al.  Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics , 1996, Journal of Symbolic Logic.

[30]  Sasa Buvac.  Quantificational Logic of Context , 1996, AAAI/IAAI, Vol. 1.

[31]  James M. Crawford,et al.  Toward Efficient Default Reasoning , 1996, AAAI/IAAI, Vol. 1.

[32]  Sa Sa Buva.  Resolving Lexical Ambiguity Using a Formal Theory of Context , 1996 .

[33]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.

[34]  John McCarthy,et al.  Combining Planning Contexts , 1996 .

[35]  Varol Akman,et al.  Steps Toward Formalizing Context , 1996, AI Mag..