Belief Revision
철수는 백화점에서 쇼핑을 즐기는데, 백화점이 붐비지 않을 때만 간다. 그는 금요일 저녁에 영희와 함께 백화점에 가기로 동의했다. 왜냐하면 보통 그날은 물건을 사는 사람이 별로없는 시간이기 때문이다. 정해진 날이 되기전에 백화점들이 금요일에 세일을 한다고 발표했다. 철수는 사람이 많을 것이라 생각하여 영희와의 약속을 철회했다. 그러나 일기예보를 보니 그날 폭설이 올 것이라 하여 사람이 적을 것이라 보고 다시 약속을 했다. 그러나 당일 일기예보와 다르게 날씨가 좋아서 철수는 다시 약속을 철회했다 ......... 이것은 일상에서 흔하게 있는 일이다. 위와같이 철수의 믿음 개정 (belief revision) 은 상식추론의 한 유형이라고 할 수 있다 ..........
... 의사가 환자의 질병을 치료하면서 우선은 전형적인 진단을 한다. 가령 이런 증상을 가진 경우 어떤 병이라고 진단할 수 있으며 저런 증상을 보일 경우 다른 병이라고 진단할 수 있다. 그러나 전형적인 진단이 반드시 적중하는 것은 아니기 때문에 계속되는 진단에 의해 새로운 증상이 발견되면 의사는 이전의 결론을 수정해야 한다. 불완전한 정보에 기초하여 의사결정을 하는 체계에서 행위의 기초가 되는 한 신념은 다른 신념의 부재에 의존하게 된다. 그러나 다른 신념이 믿어지면 기존의 신념은 믿어줄 수 없게 된다. 이런 종류의 행위는 비단조적 (non monotonic) 이라 불린다. 이 경우 기존 신념과 다른 신념 사이에 모순이 발생하게 되며 신념은 수정되어야 한다.
우리가 비단조적으로 추리하다 보면 모순에 직면하게 된다. 신념수정은 모순된 정보를 포함할 수 있는 지식 토대 안에서 추리가 진행될 때 중요하다. 새로운 정보의 출현에 따라 신념 수정의 문제를 다루는 것이 신념수정 체계 (belief revision system) 이다. 신념수정체계는 모순을 다루는 인공지능 프로그램이다. 신념수정체계는 지식토대의 일부분만을 고려할 수 있으며 그 집합으로부터 추리를 진행하다가 모순이 발견되면 그 집합을 다른 집합으로 바꾸며 (신념을 수정하며) 새로운 집합에 포함되지 않는 모든 명제를 무시한다.
모순을 다루는 전통적인 방식은 최근에 이루어진 의사결정을 변경시키는 것이다 (chronological backtracking). 다른 방식은 가장 최근에 이루어진 선택을 변경하는 것이 아니라 예기치 않은 조건을 야기한 가정들을 변경하는 것이다 (dependence-directed backtracking). 두번째 방식은 인공지능 분야에 많은 연구를 내놓았으며 그것은 신념수정 (belief revision) 이라고 불린다. 신념수정은 새로운 정보가 기존의 정보와 모순을 일으킴이 발견되었을 때 일련의 신념을 수정하는 문제를 다루는 인공지능 연구분야이다. 신념수정의 연구주제는 신념표현에 연구, 특히 신념의존 개념을 표현하는 방법, 모순을 야기한 신념의 집합을 선택하는 방법의 개발, 원래의 신념집합으로부터 일련의 신념을 제거하는 기술의 개발 등을 포함한다 ........ (정영기, 1996)
term :
신념수정 (Belief Revision) 비단조 추론 (Nonmonotonic Reasoning) 논리학 (Logic) 추론 (Reasoning) 인공지능 (Artificial Intelligence) 상식추론 (Commonsense Reasoning)
site :
Mary-Anne Williams : books : 정보시스템은 그들과 상호작용하는 세상에 대한 견해를 가지고 있다. 즉 대략 얘기해서 그것은 두가지 형태의 입력을 가지는데, 그것은 질의와 변화를 요구하는 자극 (impetus) 이다. 정보시스템이 가지고 있는 정보는 물리적으로 도형일 수 있고, 그래프, 스프레드쉬트, 데이터베이스, 룰베이스, 아주 섬세한 인지 영역일 수도 있다. 흔히 정보는 불확실하고 변화에 민감한데, 그것은 단순한 데이터베이스 시스템에서 조차 그렇다. 따라서 정보시스템은 실세계의 정보를 더욱 많이 얻음에 따라서 그들의 견해를 수정하는 메카니즘을 요구하게 된다 .......
Belief Revision Organization : 로봇과 infobot 과 같은 지능적 에이전트는 목적을 달성하기 위해서 실생활에서의 믿음 (belief) 를 다루어야 한다. 믿음은 때때로 틀릴 수가 있기 때문에 지능적 에이전트는 그들의 기존 믿음과 모순되는 새로운 정보를 얻었을 때 믿음을 바꿀 필요가 있게된다. 믿음개정 (belief revision) 능력은 건전한 의사결정과 효율적인 대화를 위해서 매우 중요하다. 믿음개정은 실질적인 지능적 에이전트가 되는데 기본이 된다. 이 사이트에서는 믿음개정에 관한 유용한 정보를 제공한다 .......
paper :
비단조논리적인 신념수정 : 정영기