Steps Toward Formalizing Context

The importance of contextual reasoning is emphasized by various researchers in AI. (A partial list includes John McCarthy and his group, R. V. Guha, Yoav Shoham, Giuseppe Attardi and Maria Simi, and Fausto Giunchiglia and his group.) Here, we survey the problem of formalizing context and explore what is needed for an acceptable account of this abstract notion.

[1]  J. Barwise,et al.  The Liar: An Essay on Truth and Circularity , 1987 .

[2]  Varol Akman,et al.  Modeling Context with Situations , 1995 .

[3]  Maria Simi,et al.  Proofs in Context , 1994, KR.

[4]  Roger C. Schank,et al.  Inference and the Computer Understanding of Natural Language , 1973, Artif. Intell..

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

[6]  Fabio Massacci,et al.  Contextual Reasoning Is NP-Complete , 1996, AAAI/IAAI, Vol. 1.

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

[8]  Fausto Giunchiglia,et al.  Mulitlanguage First Order Theories of Propositional Attitudes , 1991, SCAI.

[9]  John Sinclair,et al.  Collins COBUILD English Language Dictionary , 1987 .

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

[11]  Thomas J. Froehlich,et al.  Relevance reconsidered—towards an agenda for the 21st century: introduction to special topic issue on relevance research , 1994 .

[12]  Jerome A. Niles,et al.  The Context of Comprehension , 1981 .

[13]  J. Barwise,et al.  THE RIGHTS AND WRONGS OF NATURAL REGULARITY , 1994 .

[14]  Attach Ptheorem.  A Multi-Context Monotonic Axiomatization of Inessential Non-Monotonicity , 1988 .

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

[16]  J. McCarthy,et al.  Formalizing Context (Expanded Notes) , 1994 .

[17]  Michael Lougee,et al.  Computer culture. The scientific, intellectual and social impact of the computer. , 1987, Annals of the New York Academy of Sciences.

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

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

[20]  Amar Gupta,et al.  Context interchange: A lattice based approach , 2015, Knowl. Based Syst..

[21]  E. Shortliffe.  Mycin: computer-based medical consultations , 1976 .

[22]  J. Simpson,et al.  The Oxford English Dictionary , 1884 .

[23]  Howard K. Wettstein,et al.  Themes from Kaplan , 1989 .

[24]  Varol Akman,et al.  Computing with Causal Theories , 1992, Int. J. Pattern Recognit. Artif. Intell..

[25]  C. Goodwin,et al.  Rethinking Context: An Introduction , 1992 .

[26]  Taemin Kim Park,et al.  Toward a Theory of User-Based Relevance: A Call for a New Paradigm of Inquiry , 1994, J. Am. Soc. Inf. Sci..

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

[28]  Douglas B. Lenat,et al.  CYC: a large-scale investment in knowledge infrastructure , 1995, CACM.

[29]  Eleanor Rosch,et al.  Principles of Categorization , 1978 .

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

[31]  J. McCarthy.  Some Expert Systems Need Common Sense , 1984, Annals of the New York Academy of Sciences.

[32]  A. D. Ritchie.  The Dictionary of Philosophy , 1945, Nature.

[33]  Stephen P. Harter,et al.  Psychological Relevance and Information Science , 1992, J. Am. Soc. Inf. Sci..

[34]  C. Pollard,et al.  Center for the Study of Language and Information , 2022 .

[35]  Maria Simi,et al.  Reflections about Reflection , 1991, KR.

[36]  Varol Akman,et al.  Contexts, oracles, and relevance , 1995 .

[37]  Gillier,et al.  Logic for Computer Science , 1986 .

[38]  Fausto Giunchiglia,et al.  Multi-content systems as a specification framework for complex reasoning systems , 1993 .

[39]  Yuri Gurevich,et al.  Logic in Computer Science , 1993, Current Trends in Theoretical Computer Science.

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

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

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

[43]  J. Saul,et al.  Direct Reference: From Language to Thought. , 1993 .

[44]  Uwe Reyle,et al.  From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory , 1993, Studies in linguistics and philosophy.

[45]  Thomas J. Froehlich,et al.  Relevance Reconsidered - Towards an Agenda for the 21st Century: Introduction to Special Topic Issue on Relevance Research , 1994, J. Am. Soc. Inf. Sci..

[46]  Merriam-Webster,et al.  The Merriam Webster Dictionary , 1983 .

[47]  Workshop on Using Knowledge in its Context , 1993, Knowl. Eng. Rev..

[48]  J. McCarthy.  A LOGICAL AI APPROACH TO CONTEXT , 1995 .

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

[50]  Eugene Charniak,et al.  Motivation Analysis, Abductive Unification, and Nonmonotonic Equality , 1988, Artif. Intell..

[51]  Martha Alice Hearst.  Context and structure in automated full-text information access , 1994 .

[52]  Jon Barwise,et al.  On Conditionals: CONDITIONALS AND CONDITIONAL INFORMATION , 1986 .

[53]  Ramanathan V. Guha,et al.  CYC: A Midterm Report , 1990, AI Mag..

[54]  Jan van Eijck,et al.  Representing Discourse in Context , 1997, Handbook of Logic and Language.

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

[56]  Laurent Perrussel,et al.  Contextual Reasoning , 1998, ECAI.

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

[58]  Geoffrey Leech,et al.  Semantics: The Study of Meaning , 1974 .

[59]  Jerry R. Hobbs,et al.  Interpretation as Abduction , 1993, Artif. Intell..

[60]  John McCarthy,et al.  Artificial Intelligence, Logic and Formalizing Common Sense , 1989 .

[61]  Varol Akman,et al.  Book Review -- Hans Kamp and Uwe Reyle, From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory , 1995 .

[62]  John Lyons,et al.  Linguistic Semantics: An Introduction , 1995 .

[63]  Keith Devlin,et al.  Logic and information , 1991 .