Outline
Propositional Logic
- 명제 논리는 가장 기본적인 형태의 논리이다. 이 논리에서는 문장이 참 또는 거짓의 값을 가질 수 있다. 복잡한 문장은 기본적인 명제를 연결하는 논리 연산자를 사용하여 구성된다.
- Basic concepts of knowledge, logic, reasoning
- 지식(knowledge): 우리가 알고 있는 사실이나 정보
- 논리(logic): 사실이나 정보를 분석하고 결론을 도출하는 방법
- 추론(reasoning): 주어진 정보에서 새로운 정보나 결론을 도출하는 과정 - Propositional logic: syntax and semantics, Pacworld example
- 문법(Syntax): 명제 논리에서 허용되는 문장의 구조나 형식에 대한 규칙
- 의미론(Semantics): 문장이 가지는 의미를 정의하는 규칙. 이는 문장이 참인지 거짓인지를 결정하는 데 사용된다.
- Pacworld 예제: 명제 논리의 개념을 설명하기 위한 예제로, Pacman 게임의 세계를 사용하여 명제 논리의 문장과 그 의미를 설명한다. - Inference by model checking and theorem proving (briefly)
- 모델 검사(Model Checking): 주어진 논리 시스템에서 문장이 참인지 거짓인지를 결정하는 방법
- 정리 증명(Theorem Proving): 주어진 가정에서 특정 결론이 유도될 수 있는지를 확인하는 방법. 이는 논리적 추론을 사용하여 새로운 지식을 도출하는 데 사용된다.