---
title: "Reasoning about Deduction with Unknown Constants"
authors:
  - "Andrew Eaas"
doi: ""
url: "https://ijcai.org/proceedings/1981/74"
pdf: "https://ijcai.org/proceedings/1981/0074.pdf"
venue: "Proceedings of the Seventh International Joint Conference on Artificial Intelligence"
year: 1981
pages: "382-383"
track: "INFERENCE and REASONING"
keywords:
---

# Reasoning about Deduction with Unknown Constants

Andrew Eaas

*Proceedings of the Seventh International Joint Conference on Artificial Intelligence*, 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.