Reasoning

 

우리는 주어진 상황에 대한 지식을 가지고 새로운 사실을 유도하는 데 익숙해 있다.  실제 우리가 알고 있는 모든 과학적 사실들이 일정한 추론의 틀에서 비롯되었다고 하여도 과언이 아니다. 추론 (reasoning, inference, argument) 이란, 이미 알고 있는 명제를 기초로 하여 새로운 명제를 유도하는 과정으로 전제 (premise) 와 결론 (conclusion) 간의 논리적 관계를 다룬다. 전형적으로 조건명제 (implication) 을 들 수 있다. 여기서 결론이란 새로 유도된 명제를 말하며, 전제란 결론의 근거를 제공하는 이미 알려진 명제를 일컫는다 ... 불확실성 (Uncertainty)

paper   term

추론에서는 전제와 결론간의 논리적 관계가 문제이지 결론 또는 전제 자체의 진위가 문제되는 것이 아니다. 결론이 아무리 확실한 진리라 하더라도 그것이 추론규칙 (Inference Rule) 에 의거하여 전제와의 논리적 관계에서 도출된 것이 아니라면 그 추론을 정당하다고 볼 수 없기 때문이다. 결론이 도출될 때 그것이 전제에 대하여 갖는 논리적 관계는 곧 그 추론의 성격을 좌우한다. 그리하여 추론은 크게 2가지 유형으로 나눌 수 있으니, 연역법 (Deduction)귀납법 (Induction) 이 그것이다.

논리 (Logic) 는 표준적이며 정확한 추론을 묘사하려는 것이다. 인공지능 (Artificial Intelligence)인지과학 (Cognitive Science), 인지 심리학 (Cognitive Psychology) 에서의 보편적인 믿음은 인간이 생각하는 방법을 표현하는 절차들이 있다는 것이며, 그것은 논리형의 규칙(알고리즘) 을 직접사용하거나 논리적 원리를 구현하는 다른 방법을 찾음으로써 컴퓨터상에서 구현될 수 있다. 이러한 경우 추론에 대한 연구는 바로 자연적인 (natural) 논리에 대한 연구를 의미한다.

긍정식 (Modus Ponens) 나 삼단논법 등은 계속적으로 사실이나 정리를 증가시킨다. 이처럼 사실이나 정리의 수가 계속적으로 늘어나는 연역 추론과정을 Monotonic 하다 라고 한다. 반면에 한번 밝혀진 사실이 취소되거나 다른 사실과 상충되어 거짓으로 판명되어 시간이 지남에 따라 오히려 사실이나 정리의 수가 줄어들 수 있는 데 이러한 연역 추론과정을 Non-Monotonic하다 라고 한다 (비단조 추론 (Nonmonotonic Reasoning))

전문가시스템 (Expert System) 에서의 추론전략 (inference strategy) 는 크게 forward chaining 과 backward chaining 로 나눌 수 있다 ........  Forward Chaining 은 A → B 즉 조건 A 가 Working Memory 에 있으면 B 를 수행한다. 따라서 당연히 연역법 (Deduction) 에 속한다.   Backward Chaining 은 A → B 즉 IF A THEN B 에서 A 가 주어져 있을 때 B 를 추론할 필요가 있는가를 살피고, 필요시에 A 로부터 B 를 얻어내는 Deduction 의 일종이다 ....... Backward 방향의 진행은 수많은 Rule을 모두 수행하지 않고 조건을 만족하는 Rule을 찾아서 수행하기 위한 추론의 효율성 때문이다. Backward 방향에 의해 논리상으로는 상정논법 (Abduction) 에 가깝다.그러나 Abduction은 IF A THEN B 에서 B 로부터 A 를 유도하는 것으로 근본적으로 다르다.  

가정부 로봇의 가치에 대해서는 이의를 제기하는 사람이 거의 없다. 이러한 로봇 (Robot) 은 집을 깨끗이 하고 세탁을 하고 식사 준비를 하고 고장난 전구를 가는 것과 같은 통상적인 관리 업무를 하고 설거지를 하는 등의 일을 할 수 있다. 그러나 이런 로봇이 지녀야 하는 지식에 대해서 한번 생각해 보자. 이러한 로봇은 고장난 전구를 어디에 버려야 하는가, 접시나 컵을 어떻게 들어야 하는가, 식기세척기에서 꺼낸 식기들을 어디에 두어야 하는가, 진공청소기의 먼지를 언제 비워야 하는가, 상추를 냉장고에 얼마나 보관할 수 있는가 등과 같은 질문에 대답할 수 있을 정도의 지식을 가져야 한다 ... 상식 추론 (Common Sense Reasoning)

site :

Wikipedia : Inference    위키백과 : 추론

AI Topics : Representation & Reasoning    AI Topics : Metareasoning

video :

추리 (추리와 뇌, 조건문 추리, 연역 추리, 귀납추리와 가설 검정), 특강 (언어는 어떻게 이해되는가?) : 인지심리학 :  KUOCW   남기춘  2014/05/27