David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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 [McC93], [Guh91] and [MB94] and the references cited in the Web page [Buv95]. The first main idea is to make contexts first class objects in the logic and use the formula ist(c,p) 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 [McC96].
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Ruth Manor (2006). Solving the Heap. Synthese 153 (2):171 - 186.
Kent Bach (2012). Context Dependence. In Manuel García-Carpintero & Max Kölbel (eds.), The Continuum Companion to the Philosophy of Language. Continuum International Pub.
Varol Akman & Mehmet Surav (1997). The Use of Situation Theory in Context Modeling. Philosophical Explorations.
Christopher Gauker (2012). What Tipper is Ready For: A Semantics for Incomplete Predicates. Noûs 46 (1):61-85.
Kevin C. Klement, Russell-Myhill Paradox. Internet Encyclopedia of Philosophy.
Christopher Menzel (1999). The Objective Conception of Context and its Logic. Minds and Machines 9 (1):29-56.
Added to index2009-01-28
Total downloads37 ( #87,808 of 1,724,889 )
Recent downloads (6 months)1 ( #349,126 of 1,724,889 )
How can I increase my downloads?