정리 블로그

1. Agent System
 - Agent : 특정 사람의 일을 대신할 수 있는 전문성을 지닌 사람을 의미
 - Agent System은 이런 Agent의 기능을 수행하는 컴퓨터 시스템을 의미

2. Conversational Animated Agents
 - 대화가 가능한 가상의 대리인을 의미

3. Joseph Wiezenbaum
 - 자주 쓰이는 대화 문장을 정리해 사용자가 입력한 문장에 대한 대답을 할 수 있도록 rule을 만든 사람
 - Eliza : rule을 이용해 만든 대화형 에이전트
 - 동작 방식 : 문장을 받아들여 키워드를 체크하고, 문장의 형태를 분석한다.
                  질의의 주어와 목적어를 바꾸는 방식으로 대답
                  전의 문장의 내용을 기억하는 부분이 없기 때문에 전의 대화 내용과는 상관없는 대답이 나올 수 있다.
                  특정 문장 형식에도 대답하는 문장 형식을 여러개 만들어 랜덤으로 다양하게 출력할 수 있다.

1. Semantic Web
 - '의미론적 웹'이란 뜻으로 인터넷에 있는 정보를 컴퓨터가 이해할 수 있도록 Ontology형태로 표현하고 이를 처리하도록 하는 프레임워크이자 기술.

2. Resouce Description Framework(RDF)
 - Ontology 형태로 표현하는 규격 중의 하나이다.
 - triple 속성을 가지며 subject, predicate, object를 가진다
 - 각각 관계 주체, 관계, 관계 대상을 나타내며, 해당 테이블을 이용해 Directed Graph를 만들 수 있다.
 - 해당 정보들을 여러 군데서 받아 하나의 graph를 생성할 수도 있다.

3. RDFS(Resource Description Framework Schema)
 - RDF Schema Language로써, RDF의 스키마를 정의

4. Ontology
 - RDF 등 semantic web에서 컴퓨터가 파악할 수 있는 자료를 표현하는 것

5. DBPedia
 - WikiPedia의 Box 정보를 가져 올 수 있는 저장소

1. Propositional logic
 - 명제 논리
 - 서술문으로서 그 내용에 대해 참이나 거짓을 담고 있는 문장

2. Predicate logic
 - 술어 논리
 - 명제 논리를 기반으로 기호화시켜 관계를 나타낼 수 있고, 기호를 통해 수량도 나타낼 수 있게 한 것

3. Quantifier
 - 정량자, 전체 정량자(∀), 존재 정량자(∃) 두가지가 있다.
 - ∀ : 전체 정량자, '모든'
 - ∃ : 존재 정량자, '일부'

4. First-order logic
 - 일차 술어 계산
 - 술어 계산에서 정량자가 변수에만 적용되고, 술어나 함수에 대해서는 적용되지 않는 경우

5. Conversion to clause form
 1) implication 제거
  ex) p -> q = ￢p ∨ q
 2) 부정의 범위를 줄임
  ex) ￢(∃x)P(x) <=> (∀ㅌ)(￢P(x))
 3) 변수의 변환
  ex) (∀x)[P(x) -> (∃x)Q(x)] <=> (∀x)[P(x) -> (∃y)Q(y)]
 4) 정량자를 제거
  ex) (∀x)[(∃y)P(x, y)] <=> (∀x)P(x,F(x))
 5) prenex form 변환
  ex) (∀x)[P(x) -> (∀y)Q(y)] <=> (∀x)(∀y)[P(x)->Q(y)]
 6) global 정량자 제거
 7) ∧ 제거
 8) 변수 이름 재정의

6. Resolution in Propositional logic
 Given Axioms         Conversion to clause Form
   P                         P
   (P∧Q)->R              ￢P ∨ ￢Q ∨ R
   (S∨T)->Q              ￢S ∨ Q 
   T                         ￢T ∨ Q  
                              T

  To Prove R,
  ￢P ∨ ￢Q ∨ R                   ￢R
            └─────────┘
                      ￢P ∨ ￢Q                      P
                            └─────────┘
                                         ￢Q                     ￢T ∨ Q  
                                           └─────────┘
                                                        ￢T                          T
                                                          └─────────┘ 
                                                                       □        -------------> R 증명 완료

7. The Most General Unifier
 - 술어 논리에서 variable의 value를 최대한 정해주는 집합
 - UNIFY 함수를 호출하면 반환해준다.

8. Procedural Knowledge
 - 사람이 instruction의 순서를 정해준다.

9. Declarative Knowledge
 - 사람이 순서를 정해주지 않아도 컴퓨터가 스스로 순서를 정해서 수행한다.
 - 모든 가짓수를 계산해 맞는 답을 찾음
 - 사람이 instruction의 순서를 정해주는 것은 cost가 크므로 Declarative 방식이 유리할 때가 있다.

10. Closed World Assumption
 - 닫힌 세계이므로 현재 명시된 명제로 추론이 불가능하면 그 명제는 거짓이 된다.

11. Open World Assumption
 - 열린 세계이므로 현재 명시된 명제로 추론이 불가능 하다면 그 명제는 알 수 없는 명제가 된다.