{"type":"ScholarlyArticle","title":"A Formal Representation for Plans in the Programmers Apprentice","authors":[{"name":"Charles Rich","slug":"charles-rich","given":"Charles","family":"Rich","affiliation":""}],"abstract":"A pl1n c1lculus is presented which is being used to represent programs 1nd a library of standard data and ccmlrol abstractions in the progr~mmer's apprentice. Important features of this formalism include : programming lan~uage independence, additivity, verifiability and multiple points of view . The logical foundations of the represent alion are specified formally using a situational calculus in which side effects and overlapping mutable data structures are accounlet;l lor . The plan calculus is compared·with other formalisms,. such as program schemas, and its advantages pointed out.","doi":null,"url":"https://ijcai.org/proceedings/1981/199","pdf":"https://ijcai.org/proceedings/1981/0199.pdf","markdown":"https://ijcai.org/proceedings/1981/199.md","bibtex":"https://ijcai.org/proceedings/1981/bibtex/199","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":"Program Synthesis","track":"Program Synthesis","number":199,"pages":{"first":1044,"last":1051},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}