- 코드의 ||와 논리학의 ∨, 그리고 Resolution Rule의 오해 풀기 지난 포스팅에서 도출 규칙을 다루며, 상충되는 조건이 사라지고 결론이 도출되는 과정을 살펴봤습니다. [Algorithm] AI는 어떻게 추론하는가? : 도출 규칙(Resolution Rule) 분석최근 하버드의 CS50 AI 강의를 듣다가 흥미로운 장표를 발견했습니다. 겉보기에는 단순한 영어 문장 놀이처럼 보이지만, 사실 이 장표는 현대 자동 정리 증명(Automated Theorem Proving)과 지식 기반 에yermi.tistory.com 그런데 이 식을 곰곰이 뜯어보다 보면, 개발자로서 한 가지 근본적인 의문이 생길 수 있습니다. 논리식에서 OR(∨)는 양자택일 아닌가?둘 다 True일 수는 없나? 결론..

최근 하버드의 CS50 AI 강의를 듣다가 흥미로운 장표를 발견했습니다. 겉보기에는 단순한 영어 문장 놀이처럼 보이지만, 사실 이 장표는 현대 자동 정리 증명(Automated Theorem Proving)과 지식 기반 에이전트(Knowledge-Based Agent)가 세상을 이해하는 가장 핵심적인 알고리즘, 바로 도출 규칙을 설명하고 있습니다.오늘은 이 논리식이 왜 성립하는지, 그리고 우리 개발자들이 다루는 시스템 내부에서 이것이 어떻게 응용되는지 'Deep Dive' 해보겠습니다.1. 문제의 정의 (Formal Definition)사진 속 강사(Brian Yu)가 보여주는 예시는 다음과 같은 구조를 가지고 있습니다.(Ron is in the Great Hall) ∨ (Hermione is in th..