A logical approach to context

Abstract

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].

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Analytics

Added to PP
2009-01-28

Downloads
87 (#178,790)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Essentially Incomplete Descriptions.Carlo Penco - 2010 - European Journal of Analytic Philosophy 6 (2):47 - 66.
The use of situation theory in context modeling.Varol Akman & Mehmet Surav - 1997 - Computational Intelligence 13 (3):427-438.
Contexts in Philosophy: Pragmatic competence as filter.Carlo Penco - 2018 - Modeling and Using Context 2 (1):1-19.

Add more citations

References found in this work

No references found.

Add more references