Abstract
One of the hidden problems in a domain theory is that an agent does not understand the meaning of its action. Graphplan uses mutex to improve efficiency, but it does not understand negation and suffers from a redundancy problem. Introducing a negative function not in IPP partially helps to solve this kind of problem. However, using a negative function comes with its own price in terms of time and space. Observing that a human utilizes opposite concept to negate a fact based on MDL principle, we hypothesize that using a positive atom rather than a negative function to represent a negative fact is a more efficient technique for building an intelligent agent. We show empirical results supporting our hypothesis in IPP domains. To autonomously learn the human-like concept, we generate a cycle composed of opposite operators from a domain theory and extract opposite literals through experimenting with the operators.
영역이론의 숨겨진 문제점들 중의 하나는 에이전트가 자신의 행위를 이해하지 못한다는 점이다. Graphplan은 효율향상을 위해 mutex를 활용하고 있지만 이와 관련된 부정의 의미를 이해하지 못함으로써 영역이론의 중복성 문제를 야기한다. 이 문제에 대한 해결을 위해 IPP에서는 not 등과 같은 부정함수를 이용하지만, 부정함수의 사용은 시간과 공간적 비용을 수반한다. 인간은 주어진 어떤 사실을 부정하기 위하여 MDL 원리에 의해 반대개념을 사용한다는 점을 통하여, 우리는 부정적 사실을 표현하기 위해서 통념적 방식처럼 부정함수를 사용하는 것보다 긍정적 atom을 사용하는 것이 지능에이전트의 구축을 위해서 더 효율적 기법이라는 가설을 제시하고 IPP 도메인에서 이 가설을 지지하는 실험적 결과를 제시한다. 인간이 사용하는 것과 유사한 반대개념을 에이전트가 자동적으로 학습하기 위하여 영역이론으로부터 반대연산자들로 구성된 사이클을 생성하고 연산자들에 대한 실험을 통해서 반대 literal들을 추출한다.