The ability to reason about action and change has long been considered a necessary component for any intelligent system. Many proposals have been offered in the past to deal with ...
Steven Shapiro, Maurice Pagnucco, Yves Lespé...
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...
The Situation Calculus is a logic of time and change in which there is a distinguished initial situation ¡£¢ and all other situations arise from the different sequences of acti...