{"type":"ScholarlyArticle","title":"Deductive Retrieval Mechanisms for State Description Models","authors":[{"name":"Richard Fikes","slug":"richard-fikes","given":"Richard","family":"Fikes","affiliation":""}],"abstract":"This paper presents some programming facilities for modeling the semantics of a task domain and for describing the situations that occur in that domain as a task is being carried out. Each such de scription models a \"state\" of the task environment, and any given state can be transformed into a new state by the occurrence of an event that alters the environment . Such modeling systems are vital in many AI systems, particularly those that do question answering and those that do automatic generation and e xecution monitoring of plans. The modeling mechanisms described are basically extensions and modi~ i cations of facilities typically found in AI programming languages such as PLANNER, CONNIVER, and QA4. In particular, we discuss our usc of a 3 valu e d logic, generator functions to deduce answers to model queries, the saving and maintaining of derived results, and new facilities for modeling st a te chang e s produced by the occurrence of events.","doi":null,"url":"https://ijcai.org/proceedings/1975/16","pdf":"https://ijcai.org/proceedings/1975/0016.pdf","markdown":"https://ijcai.org/proceedings/1975/16.md","bibtex":"https://ijcai.org/proceedings/1975/bibtex/16","volume":{"slug":"1975","title":"Proceedings of the Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1975","url":"https://ijcai.org/proceedings/1975/","year":1975,"location":"Tbilisi, Georgia, USSR","dates":"","editors":"Patrick Winston and Carl Hewitt","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Representation Of Problems and Knowledge","track":"Representation Of Problems and Knowledge","number":16,"pages":{"first":99,"last":105},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}