[3/21(화)] 인공지능 입문(이론) - 명제 지식 베이스, 진리표(과제 있음)

Sentence의 의미? : 참과 거짓을 구분

Semantics : 참과 거짓을 구분하기 위한 것

 

3개의 변수가 있다. P(1.2), P(2.2), P(3.1)

x	o
		x

 

 

참 거짓을 구분하도록 정의된 Rule이 존재한다.

 

 

주어진 문장을 해석하기 위해 Rule을 이용해야한다.

 

 

ex) P(2.2) ^ P(3.1) ---> True and False 이므로 정답은 False

 

 

기본적으로 모두 이해할 줄 알아야 함

 

 

 

아래 문장을 해석하면 구덩이가 있으면 그 sqare에 바람이 분다.

ex) B(2.2) ↔ (B(2.1) ∨ B(1.2) ∨ B(2.3) ∨ B(3.2))

 

 

 

모든 조합의 경우의 수(참/거짓) : 2^7

 

 

 

성질

 

 

 

• Valid Sentence : 어떤 경우에도 늘 True인 Sentence
• A∧ ㄱA = False

※ (A ∧ (A → B)) → B는 Valid한데 이것이 왜 그런지 증명. 3월 24일(금)까지 과제 씌발

 

• Satisfiable : 어떠한 경우에는 참일 수 있는 Sentence
• Unsatisfiable : 어떤 경우에도 참이 될 수 없는 Sentence

 

 

• Resolution이라는 추론 과정은 Sentence의 형태를 바꿔야 한다. (CNF로)
• 형식을 갖춘 형태로 바꾸는 것 Conjunctive Normal Form
• CNF식에서 l(i)와 m(j)가 빠짐. 서로 complementary literals 관계이기 떄문
• Complementray literals이란 l(i).= A And m(j) = ㄱA인 관계
• Resolution은 Sound하고 Complete한 추론 과정

 

 

ㄱ(ㄱ(l(1) ∨ l(3)) ∨l(2)

=> (l(1) ∨ l(3)) ∨l(2)

 

ㄱm(2) -> (m(1) ∨ m(3))

(ㄱ(ㄱ m(2)) ∨ (m(1) ∨ m(3))

=> m(2) ∨ m(1) ∨ m(3)

 

∴ l(i) and m(j) are complementary literals..

 

 

 

1. 첫 번째 단계는 ↔를 없애기 위해 풀어쓴다. 
2. 두 번째 단계는 →를 없애기 위해 풀어쓴다.
3. ㄱ를 드모르간 법칙에 의해 적용시켜준다.
4. 해석

 

 

 

 

위 과정을 거쳐 초록색 문장처럼 풀어쓸 수 있다. 그리고 이를 시각화로 나타낸 것이 아래의 그림

 

 

존나 어렵네 좆됐다