---
title: "Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals"
authors:
  - "Anthony S. Maida"
doi: ""
url: "https://ijcai.org/proceedings/1983/91"
pdf: "https://ijcai.org/proceedings/1983/0091.pdf"
venue: "Proceedings of the Eighth International Joint Conference on Artificial Intelligence"
year: 1983
pages: "382-383"
track: "Knowledge Representation"
keywords:
---

# Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals

Anthony S. Maida

*Proceedings of the Eighth International Joint Conference on Artificial Intelligence*, pages 382-383.

## Abstract

This paper outlines an approach toward computationally investigating the processes involved in reasoning about the knowledge states of other cognitive agents. The approach is Fregean and is compared with the work of HcCarthy and Creary. We des c ribe how the formalism represents the knowing of intensional individuals, coreferentiality, iterated propositional attitudes, and we describe plans to test the scheme in the domain of speech act recognition.