행동과 변화의 관계를 논리적으로 설명하며, 행동이 어떻게 변화를 일으키는지를 탐구합니다.
술어 논리의 기본 개념과 이를 통해 행동 변화의 표현이 가능해지는 이유를 설명합니다.
객체 간의 관계를 정의하고, 이를 통해 세상을 구성하는 요소들을 분석합니다.
행동이 일으키는 변화의 원인과 그 결과를 시간적 맥락에서 설명합니다.
상황의 변화가 행동을 통해 어떻게 이루어지는지를 논의합니다.
행동이 변하지 않는 요소들을 어떻게 처리할 수 있는지를 다룹니다.
행동이 특정 결과를 이끌어내기 위해 필요한 조건들을 설명합니다.
행동의 결과로 발생하는 부수적인 효과들을 분석합니다.
행동의 결과를 업데이트하는 방법론을 제시합니다.