Reasoning about Deduction with Unknown Constants

Eaas, Andrew

Reasoning about Deduction with Unknown Constants

Download BibTeX Cite

Proceedings of the Seventh International Joint Conference on Artificial Intelligence. INFERENCE and REASONING. Pages 382-383.

Abstract

An intelligent agent must plan future deductions and anticipate what other agents will deduce from their beliefs. Creary (1979) proposed to do this by simulation. Often the agent's future beliefs, or the beliefs of other agents, involve terms unknown to the agent at simulation time. This paper shows how to extend Creary's technique to handle this case.

Andrew Eaas. 1981. Reasoning about Deduction with Unknown Constants. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81. IJCAI, 382–383. https://ijcai.org/proceedings/1981/74

@inproceedings{ijcai1981p74,
  title     = {Reasoning about Deduction with Unknown Constants},
  author    = {Eaas, Andrew},
  booktitle = {Proceedings of the Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI-81}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Roger C. Schank},
  pages     = {382--383},
  year      = {1981},
  month     = {8},
  note      = {INFERENCE and REASONING},
  url       = {https://ijcai.org/proceedings/1981/74},
}

TY  - CPAPER
TI  - Reasoning about Deduction with Unknown Constants
AU  - Eaas, Andrew
T2  - Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1981
SP  - 382
EP  - 383
UR  - https://ijcai.org/proceedings/1981/74
ER  -