Predicate   Logic

 

(Predicate Logic, Predicate Calculus, First-order predicate Calculus 등은 모두 같은 의미이다)

어떤 지식 혹은 사실을 표현하는 데는 여러 가지 방법이 있다. 그 중 사람에게 가장 쉬운 것이 우리가 일상 사용하는 말 (자연어) 이다. 그러나 자연언어는 컴퓨터 상에서 사용하기에는 많은 문제점이 있다. 따라서 기호 (Symbol) 에 의한 사실의 표현방법에 관해 고찰해 보자. 우선, ..... 명제논리 (Propositional Logic) 를 사용하여 사실을 표현할 수 있다. 모든 사실을 논리식(wff) 으로 표현함으로써 기호화할 수 있다. 그러나 기호화된 사실들이 서로 독립적이어서 상호관계를 알 수 없고, 또 수량화시킬 수 없다는 단점이 있다. 이러한 단점은 술어 논리 (Predicate Logic) 에 의해 보완될 수 있다. 다음에서는 예제를 통하여 술어논리에 의한 사실의 표현에 대하여 검토한다 ... 지식표현 (Knowledge Representation)정량자 (Quantifier)

평  상  문

술어논리에 의한 표현

1. 철수는 남자이다.

2. 철수는 대학생이다.

3. 모든 대학생은 학생이다.

4. 민수는 배우이다.

5. 모든 학생은 민수를 좋아하거나 싫어한다.

6. 모든 사람은 누군가를 좋아한다.

7. 사람들은 그들이 좋아하지 않는 배우를 비난한다.

8. 철수는 민수를 비난한다.

9. 남자는 사람이다.

 man(철수)

 collegestudent(철수)

(collegestudent(x)  → student(x))

 actor(민수)

(student(x) → like(x, 민수) ∨dislike(x, 민수)

like(x, y)

(person(x) ∧ actor(y) ∧
blame(x, y) → ∼like(x, y)) 

blame(철수, 민수)

(man(x) → person(x)) 

위와 같은 지식체계를 이용하여 여러 가지의 질문에 답할 수 있을 것이다. 예를 들면, "철수는 민수를 좋아하는가?" 라는 질문은 ∼like(철수,민수)와 같은 목표에 대하여 옳고 그름을 묻고 있다고 볼 수 있다. 이것은 역방향으로 추론 (Reasoning) 함으로써 답을 얻을 수 있다 ... Prolog

term :

술어논리 (Predicate Logic)    일차논리 (First-order Predicate Calculus)   정량자 (Quantifier)   연결사 (Connective)   Prolog   추론 (Reasoning)   추론규칙 (Inference Rule)   명제논리 (Propositional Logic)     자연어처리 (Natural Language Processing)   인공지능 (Artificial Intelligence)   논리학 (Logic)     지식표현 (Knowledge Representation)

site :

Wikipedia : First-order predicate calculus    위키백과 : 술어논리

paper :

수리논리학에 의한 지식표현   술어논리

술어계산 (Predicate calculus) : 이재규

술어논리 : 소광희

서술논리를 이용한 지식의 표기 : Elaine Rich

술어논리 (Predicate Calculus) : Herbert Schildt

술어논리 : Nils J.Nilsson