  The Situation Calculus, developed by John McCarthy, is the origin of most of the later work in formalizing reasoning about action and change. It was first described in 1969, in  McCarthy 1983;  the earliest generally accessible publication on the topic is  McCarthy &amp; Hayes 1969.