ML Anthology

Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals

Anthony S. Maida
IJCAI 1983 pp. 382-384
/ijcai/1983/maida1983ijcai-knowing/

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 McCarthy and Creary. We describe 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.

PDF Semantic Scholar

Cite

Text

Maida. "Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals." International Joint Conference on Artificial Intelligence, 1983.

Markdown

[Maida. "Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/maida1983ijcai-knowing/)

BibTeX

@inproceedings{maida1983ijcai-knowing,
  title     = {{Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals}},
  author    = {Maida, Anthony S.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {382-384},
  url       = {https://mlanthology.org/ijcai/1983/maida1983ijcai-knowing/}
}