상황 계산법(Situation Calculus)은 시간에 따라 변화하는 세계를 표현하기 위한 지식 표현법의 하나이다. 상황 계산법에서는 어떤 사실이 참이 되는 상황, 또는 - 반대로 - 어떤 상황을 묘사하기 위해 필요한 사실들을 기술하는 방법 및 이들의 변화 과정 속에서 추론을 수행하는 방법이 무엇인지를 연구한다.
[1]에 따르면, 상황 계산법은 "시간에 따른 변화를 추론하기 위해 매카시(John McCarthy)가 개발한 일차 술어 논리 이론"이다. 다음 문단은 매카시의 논문 [2]에서 발췌한 것이다.
One of the basic entities in our theory is the situation. Intuitively, a situation is the complete state of affairs at some instant of time. . . . Since a situation is defined as a complete state of affairs, we can never describe a situation fully; and we therefore provide no notation for doing so in our theory. Instead, we state facts about situations in the language of an extended predicate calculus. Examples of such facts are 1. raining(s) meaning that it is raining in situation s.
지식은 동적으로 변화한다. 지식이 적용되는 상황도 마찬가지. 그렇다면, 지식 처리 기술을 현실에 적용하기 위해 지식과 상황의 동적 측면을 고려하지 않을 수 없을 것이다......
[1] 상황 계산법
[2] J. McCarthy. Situations, actions, and causal laws. Stanford Artificial Intelligence Project Memo 2, Stanford University, 1963.