Reasoning About Deduction with Unknown Constants
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 technique to handle this case.
Cite
Text
Eaas. "Reasoning About Deduction with Unknown Constants." International Joint Conference on Artificial Intelligence, 1981.Markdown
[Eaas. "Reasoning About Deduction with Unknown Constants." International Joint Conference on Artificial Intelligence, 1981.](https://mlanthology.org/ijcai/1981/eaas1981ijcai-reasoning/)BibTeX
@inproceedings{eaas1981ijcai-reasoning,
title = {{Reasoning About Deduction with Unknown Constants}},
author = {Eaas, Andrew},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1981},
pages = {382-384},
url = {https://mlanthology.org/ijcai/1981/eaas1981ijcai-reasoning/}
}