인공지능 강의 6화 :: 연언표준형, 명제, 술어논리식

 

인공지능 강의 6화를 보며 배운내용

 

 

KEYWORDS

• 연언표준형: 리터럴의 논리합으로 이루어진 절들의 논리곱 형식으로 표현된 논리식
  연언 표준형을 잘 알아두자
  
  
• 선언표준형: 리터럴의 논리곱으로 이루어진 절들의 논리합 형식으로 표현된 논리식
  
  
• 연역추론: 이미 알고 있는 전제를 이용해서 정확한 결론을 이끌어내는 추론 방법
  
  
• 긍정논법(modus ponens): P와 P -> Q가 참일 때 Q가 참이라는 결론을 내리는 추론 과정
  
  
• 부정논법(modus tollens): P->Q와 ~Q가 참일 때 ~P가 참이라는 견론을 내리는 추론 과정
  
  
• 삼단논법(law of syllogism): P->Q와 Q->R이 참일 때 P->R가 참이라는 결론을 내리는 추론 과정
  
  
• 술어논리: 객체와 술어로 나누어 명제를 표현하는 방식, 객체를 표현하기 위해 객체상수 외에 변수나 함수 사용
  
  
• 전칭기호: 정의역의 모든 원소를 지칭하는 기호
  
  
• 존재기호: 정의역 중 1개 이상의 임의 원소를 지칭하는 기호

 

 

명제(proposition)

참과 거짓을 구분할 수 있는 문장

 

기본명제

더 이상 분해할 수 없는 명제

 

합성명제

2개 이상의 기본명제를 결합

논리 연산자 이용 표현

p AND q

p OR q

 

 

술어논리식 도출

~Father(A, B) ∪ Male(A) = Father(A, B) -> Male(A)

Father(A, B)

=> Male(A)

 

 

정리 증명 알고리즘

1. 증명하고자 하는 정리를 부정해서 공리(참)의 리스트에 첨가
2. 공리들을 연언표준형으로 표현해서 절의 형태로 변환
3. 도출할 수 있는 절의 쌍을 찾아 도출절 구한다
4. 찾으면 true
5. 없으면 도출절 저장하고 반복
6. 전체 다 돌면 false

 

 

혼란스러운 이번 강의