Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals

Maida, Anthony S.

Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals

Download BibTeX Cite

Proceedings of the Eighth International Joint Conference on Artificial Intelligence. Knowledge Representation. 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.

Anthony S. Maida. 1983. Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83. IJCAI, 382–383. https://ijcai.org/proceedings/1983/91

@inproceedings{ijcai1983p91,
  title     = {Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals},
  author    = {Maida, Anthony S.},
  booktitle = {Proceedings of the Eighth International Joint Conference on
               Artificial Intelligence, {IJCAI-83}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Alan Bundy},
  pages     = {382--383},
  year      = {1983},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1983/91},
}

TY  - CPAPER
TI  - Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals
AU  - Maida, Anthony S.
T2  - Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1983
SP  - 382
EP  - 383
UR  - https://ijcai.org/proceedings/1983/91
ER  -