The situation calculus is a logic formalism used to represent and reason about dynamical domains. John McCarthy was the first to use it in 1963. Since then, it has become very popular, especially among people who study AI in North America. 

Overview

The situation calculus is a first-order logic equation set that represents shifting scenarios. The essential elements of calculus are as follows:

• The activities that are possible in the world
• The fluent speakers who explain the current status of the world
• The circumstances

A domain is a set of equations, which are as follows:

• Axioms of action preconditioning, one for each action
• Axioms of successor states, one for each fluent
• Axioms that describe the world in diverse contexts
• The situation's fundamental axioms calculus

As a running example, consider a simple robot environment. There is only one robot and various lifeless items in this environment. The globe is grid-based. Therefore robots can state locations in terms of display style (x,y)(x,y) coordinate points. The robot can travel around the world and pick up and drop stuff. Some goods may be too heavy for the robot to pick up or be fragile and break when dropped. The robot can also repair any damaged goods that it is holding.

Representations and AI

In artificial intelligence, knowledge representation is an essential part. Knowledge representation and reasoning (KR, KRR) is an area of artificial intelligence concerned with thinking and how thinking contributes to the intelligent behaviour of artificially intelligent systems. It means putting information from the real world into a form that computers can understand, process, and use to solve real-world problems or do real-world tasks.

Moreover, knowledge representation makes it possible for machines to understand, interpret, and reason. It also talks about how devices can show knowledge of artificial intelligence. It doesn't just store data in a database; smart machines can also learn from what they know and what they've done, which makes it possible for them to act like smart humans. 

Components

The actions, fluents, and situations are the main components of the situation calculus. Several objects are in the description of the world. Therefore, the situation calculus is on a sorted domain with three kinds: actions, circumstances, and objects encompassing everything that is not an action or a situation. 

A dynamic world is in situation calculus as progressing through a succession of situations due to various activities conducted within the world. A circumstance is a collection of activity occurrences. Contrary to the literal meaning of the term and the original definition by McCarthy and Hayes, a situation does not reflect a state in the Reiter version of the situation calculus discussed here. Reiter has summarized this point as follows:

"A situation is a limited set of actions. Period. It is neither a state nor a snapshot but a history."

Conclusion

The main difference between McCarthy and Hayes' original situation calculus and the one used today is the situation interpretation. In the modern version of situational calculus, a situation is a set of actions. At first, the situation was "the whole state of the universe at a given moment." 

Furthermore, situation calculus is the idea that describes the actions to get there. We call these possible states "situations." In addition, situation calculus is like a relationship-based version of the feature-based way of describing actions.

Image source: Unsplash