4주차 강의일지
loves(vincent, mia).
1. 논리 체계의 기본 개념
- 명제 논리 (Propositional Logic)
- 정의: 명제 논리는 참 또는 거짓 값을 가지는 명제들을 다루는 논리 체계이다. 각 명제는 기호로 표현되며, ‘AND’, ‘OR’, ‘NOT’ 등의 논리 연산자를 사용하여 결합할 수 있다.
- 한계: 개별 명제의 구조적 성질이나 변수 간의 관계를 표현하는 데 한계가 있다.
- 술어 논리 (Predicate Logic)
- 정의: 술어 논리는 개체와 그 속성, 개체 간의 관계를 표현하는 더 강력한 논리 체계이다. 변수와 함수를 도입하여 복잡한 명제를 다룬다.
- 장점: 보다 정교하고 유연한 표현이 가능하여 복잡한 논리적 관계를 다룰 수 있다.
2. 내부 언어
내부 언어(internal language) 또는 내부 표현(internal representation)은 AI 시스템에서 지식을 표현하고 처리하는 방법이다. 이는 데이터와 정보를 구조화하여 알고리즘이 해석하고 사용할 수 있도록 돕는다. 내부 언어는 개체, 속성, 관계를 표현하며, AI의 학습과 추론 과정에서 중요한 역할을 한다. 이러한 표현은 기호 기반 또는 벡터 기반일 수 있으며, 지식의 명확성과 효율성을 보장하는 데 필수적이다.
3. 절차적 언어
절차적 언어(Procedural Language)는 프로그램의 실행 순서와 절차를 명시적으로 정의하는 언어이다. 프로그래머는 명령문을 순차적으로 작성하여 프로그램이 수행해야 할 작업을 지정하며, 변수와 제어 구조를 사용하여 로직을 구성한다. 대표적인 예로 C, Java, Python 등이 있다.
4. 비절차적 언어
비절차적 언어(Declarative Language) 또는 선언형 언어는 프로그램이 무엇을 수행해야 하는지를 명시하는 언어이다. 사용자는 결과를 정의하고, 그 결과를 얻기 위한 과정은 언어가 처리한다. SQL, Prolog, HTML 등이 비절차적 언어의 예이다. 이러한 언어는 주로 데이터베이스 쿼리나 규칙 기반 시스템에서 사용된다.