Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals
نویسنده
چکیده
This paper out l ines an approach toward computa t i ona l l y invest igat ing the processes involved in reasoning about the knowledge states of other cogn i t i ve agents. The approach is Fregean and is compared with the work of McCarthy and Creary. We describe how the formalism represents the knowing o f intensional i nd iv idua ls , c o r e f e r e n t i a l i t y , i t e r ated propos i t iona l a t t i t udes , and we describe plans to test, the scheme in the domain of speech act recogn i t ion .
منابع مشابه
Conditionally Knowing What
Classic epistemic logic focuses on propositional knowledge expressed by “knowing that” operators. However, there are various types of knowledge used in natural language, in terms of “knowing how”, “knowing whether”, “knowing what”, and so on. In [10], Plaza proposed an intuitive know-what operator which was generalized in [16] by introducing a condition. The latter know-what operator can expres...
متن کاملPropositions as Cognitive Acts
Scott Soames My topic is the concept of information needed in the study of language and mind. It is widely acknowledged that knowing the meaning of an ordinary declarative sentence, or the content of a representational mental state, involves knowing which things it represents as being which ways. Knowing this gives one knowledge of the truth conditions of the sentence or state, which are ways t...
متن کاملCircuit Semantics and Intensional Expressivity
We introduce a new denotational semantics for functional programming languages and use it to reason about intensional aspects of programs. Circuit semantics associates a gate with each basic construct of the language, and takes the meaning of a program to be a circuit. The dimensions of the circuit enable reasoning about running time and work required for execution. We use circuit semantics to ...
متن کاملAugmented Intensional Reasoning in Knowledge-Based Accounting Systems
A limitation of existing accounting systems is their lack of knowledge sharing and knowledge reuse, which makes the design and implementation of new accounting systems time consuming and expensive. An important requirement for knowledge sharing and reuse is the existence of a common semantic infrastructure. In this article we use McCarthy’s (1982) Resource-Event-Agent (REA) model as a common se...
متن کاملConceptual Knowledge Representation and Reasoning
One of the main areas in knowledge representation and logic-based artificial intelligence concerns logical formalisms that can be used for representing and reasoning with concepts. For almost 30 years, since research in this area began, the issue of intensionality has had a special status in that it has been considered to play an important role, yet it has not been precisely established what it...
متن کامل