본 연구는 대화 기반 인간-로봇 상호작용(HRI)에서 발생하는 오류, 실패, 갈등, 지식 문제 등 '모순'을 식별하고 해결하기 위한 통합적이고 계산 가능한 프레임워크의 부재를 해결하고자 합니다. 이를 위해 활동 이론(Activity Theory)을 기반으로 한 '활동 이론 기반 기반 온톨로지(ATFOt)'를 제안하며, 이는 대화 기반 협력적 상호작용과 관련 모순을 포괄적으로 표현하고 평가합니다. 현재까지 자연어 정의, 집합 이론적 정의, 1차 논리(FoL) 형식화를 통해 대화와 모순의 개념을 정의하고, 인간과 로봇 간의 대화 기반 상호작용을 안내하는 세 가지 새로운 원칙을 제시했습니다.