Logical foundations for belief representation

Cognitive Science 10 (4):371-422 (1986)
Download Edit this record How to cite View on PhilPapers
Abstract
This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined.
PhilPapers/Archive ID
RAPLFF
Revision history
Archival date: 2015-11-21
View upload history
References found in this work BETA

View all 57 references / Add more references

Citations of this work BETA
To Think or Not to Think.Rapaport, William J.
QuasiÔÇÉIndexicals and Knowledge Reports.Rapaport, William J.; Shapiro, Stuart C. & Wiebe, Janyce M.

View all 14 citations / Add more citations

Added to PP index
2010-12-22

Total views
179 ( #18,499 of 43,036 )

Recent downloads (6 months)
14 ( #33,865 of 43,036 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.