챕터별 상세
00:00
1차 논리의 필요성과 동기
명제 논리는 개별 사실을 표현하기에는 유용하지만, '모든 학생은 똑똑하다'와 같은 일반적인 규칙이나 객체 간의 관계를 간결하게 표현하는 데 한계가 있다. 1차 논리는 객체(Object)와 술어(Predicate)라는 개념을 도입하여 훨씬 더 강력한 표현력을 제공한다. 강의에서는 앨리스와 피닉스라는 구체적인 예시를 통해 지식 베이스를 구축하고 질문에 답하는 과정을 보여주며 1차 논리의 필요성을 강조했다.
python
kb = []
kb.append(Student(alice))
kb.append(From(alice, phoenix))
kb.append(And(Hot(phoenix), City(phoenix)))
# 모든 학생은 사람이다
kb.append(ForAll([x], Implies(Student(x), Person(x))))Python DSL을 사용하여 1차 논리의 지식 베이스(KB)에 사실과 일반 규칙을 추가하는 예시
17:00
1차 논리의 문법: 항과 술어
1차 논리의 문법은 항(Term)과 술어(Predicate)로 구성된다. 항은 상수를 나타내는 객체(예: Alice, Arithmetic)나 변수(x, y), 그리고 객체를 입력받아 다른 객체를 반환하는 함수(예: Father(Alice))를 포함한다. 술어는 항들을 인자로 받아 참 또는 거짓을 반환하는 함수로, 객체 간의 관계나 속성을 정의한다. 이러한 구성 요소들을 통해 명제 논리보다 훨씬 세밀한 세계 모델링이 가능하다.
26:00
한정사: 전칭 한정사와 존재 한정사
한정사(Quantifier)는 1차 논리의 핵심으로, 모든 객체에 대해 성립하는 규칙을 정의하는 전칭 한정사(∀, For All)와 특정 조건을 만족하는 객체가 하나 이상 존재함을 나타내는 존재 한정사(∃, Exists)가 있다. 전칭 한정사는 주로 함축(Implication, →)과 결합하여 '모든 학생은 사람이다'와 같은 규칙을 만든다. 반면 존재 한정사는 논리곱(And, ∧)과 결합하여 '어떤 학생은 똑똑하다'와 같은 구체적 존재를 서술하는 것이 일반적인 패턴이다.
40:00
1차 논리의 의미론: 모델과 해석
1차 논리에서 모델은 도메인(Domain, 객체들의 집합)과 해석 함수(Interpretation Function)로 정의된다. 해석 함수는 문법적 기호(상수, 함수, 술어)를 실제 도메인의 객체나 관계에 매핑하는 역할을 한다. 이를 통해 논리식이 실제 세계(또는 가능한 세계)에서 참인지 거짓인지를 판별할 수 있는 수학적 구조를 갖추게 된다. 모델 체크 과정은 이러한 매핑을 통해 지식 베이스의 일관성을 검증한다.
python
def interpret_formula(f, w, subst):
if is_variable(f):
return subst[f]
# 술어 및 한정사 처리 로직
# ...(중략)
return result주어진 모델과 변수 치환 환경에서 논리식의 참/거짓을 판별하는 해석 함수의 구현 구조
52:00
논리적 추론: 단일화와 전건 긍정
추론은 지식 베이스(KB)로부터 새로운 사실을 도출하는 과정이다. 명제 논리에서 사용하던 전건 긍정(Modus Ponens)을 1차 논리로 확장하기 위해서는 치환(Substitution)과 단일화(Unification) 과정이 필수적이다. 단일화는 변수를 포함한 두 논리식을 동일하게 만드는 변수 할당을 찾는 알고리즘이다. 이를 통해 일반적인 규칙 템플릿을 구체적인 사례에 적용하여 새로운 결론을 자동으로 도출할 수 있다.
용어 해설
- 명제 논리(Propositional Logic)
- — 참 또는 거짓을 판별할 수 있는 문장(명제)을 기본 단위로 사용하는 논리 체계이다. 문장 간의 논리적 연결은 가능하지만, 문장 내부의 객체나 그들 사이의 세부적인 관계를 표현하는 데는 한계가 있다.
- 술어(Predicate)
- — 객체의 속성이나 객체 간의 관계를 나타내는 논리적 기호이다. 'Student(x)'와 같이 항을 인자로 받아 해당 조건의 성립 여부를 참/거짓으로 반환하며, 지식을 구조화하는 핵심 요소이다.
- 한정사(Quantifier)
- — 변수가 적용되는 범위를 지정하는 기호로, 모든 객체에 적용되는 전칭 한정사(∀)와 조건을 만족하는 객체가 하나 이상 존재함을 나타내는 존재 한정사(∃)가 있다. 이를 통해 일반적인 규칙을 수식화할 수 있다.
- 단일화(Unification)
- — 두 개의 논리식을 동일하게 만들기 위해 변수에 적절한 항을 할당하는 과정이다. 추론 엔진이 일반적인 규칙 템플릿을 구체적인 데이터 사례와 매칭할 때 필수적으로 사용되는 알고리즘이다.
- 해석 함수(Interpretation Function)
- — 논리 체계의 기호들을 실제 세계의 객체나 관계(도메인)에 매핑하는 규칙이다. 추상적인 논리식이 특정 모델 내에서 어떤 실제적 의미를 갖는지 결정하는 역할을 한다.
AI 분석 전체 내용 보기
AI 요약 · 북마크 · 개인 피드 설정 — 무료
출처 · 인용 안내
원문 발행 2026. 03. 10.수집 2026. 03. 10.출처 타입 YOUTUBE
인용 시 "요약 출처: AI Trends (aitrends.kr)"를 표기하고, 사실 확인은 원문 보기 기준으로 진행해 주세요. 자세한 기준은 운영 정책을 참고해 주세요.
