Situation  Calculus

Google : 상황논리     Google : Situation Calculus

상황논리 (The Situation Calculus) : Nils J.Nilsson : 상황논리 (situation calculus) [Some Philosophical Problems from the Standpoint of Artificial Intelligence , John McCarthy and Patrick Hayes , 1969  ........ Application of Theorem Proving  to Problem Solving , Cordell Green , 1969] 는 상태, 행동 그리고 상태에 미치는 행동의 결과 등을 술어논리로 정형화시킨 것이다. 상태와 행동에 대한 지식은 일차 술어논리 (first-order predicate calculus) 의 식으로 표현되고, 연역 시스템 (deduction system) 을 이용하여 어떤 (목표) 특성을 만족시키는 상태가 존재하는가? 존재한다면 어떤 행동을 취하여 현재 상태를 그 상태로 변환시킬 수 있는가? 와 같은 질문을 하게 된다. 이 질의에 대한 대답이 바로 원하는 상태에 도달하기 위한 계획을 구성하게 된다. 상황논리는 초기의 AI 계획수립 시스템에서 주로 사용되었지만, 현재는 거의 사용되지 않고 있으며, 다음 장에서 논의할 방법들에게 대부분 자리를 내주었다. 하지만 상황논리의 형식 체계 (formalism) 는 행동의 결과를 포함하는 개념적 문제를 표출하고 명확히 하는 데 있어서 아직도 중요하다 ...........

로봇의 세계 : 임무와 상황들 : Richard E. Pattis 등등 : 상황 (Situation) 이란 로봇의 세계를 정확하게 묘사하는 것을 뜻한다. 로봇 세계의 기본적인 구조뿐만 아니라, 벽들과 비퍼들을 포함시켜 모든 상황을 나타내는 것이다. 상황을 완벽하게 설명하기 위해서는 우리는 다음과 같은 정보를 나타내 주어야 한다.

그림 4  로봇이 해야 할 서로 다른 6 가지 임무

........ 만약에 우리가 로봇의 비퍼백 (Beeper Bag) 에 있는 비퍼의 개수를 알고 있다면 이것도 알려 주어야 한다. [그림 4] 는 앞으로 로봇이 해야 할 몇 가지 임무의 서로 다른 초기상황을 나타내고 있다. 어떤 임무라도 초기상황 (Initial Situation) 에는 로봇이 임무를 시작할 초기 위치를 표시하여야 한다. 종료 상황 (Final Situation) 은 로봇이 자신의 스위치를 끌 때의 위치를 나타낸다. 다른 말이 없는 이상 로봇은 빈 비퍼백으로 임무를 시작한다고 생각할 수 있다. ...........