{"type":"ScholarlyArticle","title":"Reasoning about Deduction with Unknown Constants","authors":[{"name":"Andrew Eaas","slug":"andrew-eaas","given":"Andrew","family":"Eaas","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1981/74","pdf":"https://ijcai.org/proceedings/1981/0074.pdf","markdown":"https://ijcai.org/proceedings/1981/74.md","bibtex":"https://ijcai.org/proceedings/1981/bibtex/74","volume":{"slug":"1981","title":"Proceedings of the Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1981","url":"https://ijcai.org/proceedings/1981/","year":1981,"location":"Vancouver, British Columbia, Canada","dates":"24-28 August 1981","editors":"Roger C. Schank","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"INFERENCE and REASONING","track":"INFERENCE and REASONING","number":74,"pages":{"first":382,"last":383},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}