|
predicate logic)로 명제를 표현하고, 논리연산 기능을 겸비한 언어이다. Lisp 과 같이 Prolog는 심볼 처리용으로 만들어지고, 리스트 처리는 매우 효율적이다. Prolog의 큰 장점은, 입력문을 절 형식으로 나타내고 연역추론을 한다. 패턴 매칭을 입력문
|
|
|
Logic
(p ^ q) -> r
Predicate Logic
hate(Marcus, Caesar)
Monotonic Reasoning
과거지식 그대로 축적
Nonmonotonic Reasoning
새로운 지식은 과거지식을 무력화(Invalid)시킴
지식의 구조적 표현
Semantic Nets
객체나 사건을 표현하는 의미네트워크
가지(Arc), 마디(
|
|
|
Predicate Logic) : 사례 명확한 논리로 표현
2. 객체지향 사례표현
사례표현 : 객체의 집합으로 표현
객체의 구성 : 특성항목으로 구성되어 있으며 이에 의해 표현됨
객체의 특성
- 객체와 객체간에는 관계가 존재 : 상속관계, 형제관
|
|
|
(Predicate logic)
2. 의미망(Semantic Network)
3. 프레임(Frames)
4. 산출시스템(Production System)
1) 산출규칙의 집합(Production, 장기기억)
2) 작업기억(Working Memory, 단기 기억)
3) 인터프리터(Production System Interpreter)
Ⅷ. 표현과 일러스트레이션
참고문헌
|
|
|
logic>
1. Idempotent Laws
a. (P ∨ P) ⇔ P
b. (P & P) ⇔ P
2. Associative Laws
a. ((P ∨ Q) ∨ R) ⇔ (P ∨ (Q ∨ R))
b. ((P & Q) & R) ⇔ (P & (Q & R))
3. Commutative Laws
a. (P ∨ Q) ⇔ (Q ∨ P)
b. (P & Q) ⇔ (Q & P)
4. Distributive Laws
a. (P ∨ (Q & R)) ⇔ ((P ∨ Q) & (P ∨ R))
b. (P & (Q ∨ R))
|
|
메뉴펼치기
