Situation calculus

Decision Procedures

Published in Satya Prakash Yadav, Dharmendra Prasad Mahato, Nguyen Thi Dieu Linh, Distributed Artificial Intelligence, 2020

Aishwarya Gupta

Calculative rationality plays an important role in the decision-theoretic and logical methods. In the case of the former, only the performance measure of those behaviors that achieve the specific goal in all cases will be evaluated. Newell defined that rational actions are the ones which guarantee to achieve the agent’s goal. Logical systems like theorem provers use situation calculus for satisfying the condition of calculative rationality. In the latter, design of calculative rational agents has moved outside artificial intelligence. For example, stochastic optimal control theory shows how calculative and computable the problems are at times, which can take exponential amounts of memory and time.

AI-enabled Enterprise Information Systems for Manufacturing

View Article

Journal Information

Published in Enterprise Information Systems, 2022

Milan Zdravković, Hervé Panetto, Georg Weichhart

A logic-based approach to dynamic systems is the situation calculus (J. McCarthy and Hayes 1969). This is a formal approach that supports reasoning about actions and change. The approach supports reasoning about behaviour and the consequences of enacting a behaviour (Reiter 2001). The situation calculus builds on first-order logic and has elements of second-order logic. This can lead to computational complex reasoning.

Situation calculus

Explore chapters and articles related to this topic

Decision Procedures

AI-enabled Enterprise Information Systems for Manufacturing