술어 논리(Predicate Logic) / ①

문제12) 술어 논리(Predicate Logic)

답)

 

 

1. 지식표현 언어로서의 술어논리 개념

 

 

 

개념도	정의
	명제의 내용을 다루기 위해 변수변수, 함수 등을 도입하고 이들 값에 따라 참참, 거짓이 결정되도록 명제논리를 확장한 논리표현 기법기법
명제논리(Proposition Logic)의 관계성 파악한계를 개선한 서술어 중심의 논리표현 방식방식

 

2. 술어논리 구문과 지식표현 사례

가. 술어논리 구문

구분	구성요소	설명	예시
기호	존재 한정사 ∃x)	할당된 변수 x에 대해 적어도 하나이상 참 값을 가짐가짐	∃ x Friend(John,x)
	전칭 한정사 ∀x)	할당된 변수 x에 대해 모든 할당에 대해 참값을 가짐가짐	∀ x[King(x) Person(x)]
	연결자 (￢ , ∧∧, ∨∨, ⇒⇒)	논리명제의 주술관계를 표현	On(A, B) Clear(B)
집합	상수(Constant)	객체, 함수함수, 변수의 무합집합	Friend, Family, Animal(x)
	술어(Predicate)	참, 거짓을 갖는 관계집합	Horse(x) Animal(x)
	함수(function)	주어진 인자에 대해 일반값을 반환하는 함수집합	Friend(John, x) Class(x)
명제논리의 모든 요소를 포함하고 보다 효율적인 지식 표현이 가능함가능함

나. 술어논리 표현 사례

자연어	술어논리 표현
(a) Whoever can read is literate. (b) Monkeys are not literate (c) some monkeys are intelligent (d) Some who are intelligent cannot read.	(a) x[CanRead(x) literate(x)] (b) x[Monkey(x) ￢ literate(x)] (c) x[Monkey(x) Intelligent(x)] (d) x[Intelligent(x) ￢ CanRead(x)]
술어논리는 관계형데이터 베이스의 릴레이션 연산표현연산표현, 기호기반의 인공지능에서 사용되는 지식표현 및 추론의 기반으로 활용됨활용됨

 

3. 술어논리 활용사례

적용사례	설명
요구사항 명세	요구사항 명세 시 정형명세 기법 적용
관계형 데이터베이스	Graph 자료구조에 대한 확장 표현표현. Restrict, Join, Product 연산연산
인공지능 지식표현	단일화, 논리융합논리융합, 지식추론 검증이 가능한 Prolog 기반 언어적용언어적용
자연어를 논리적인 기호기반의 표현을 통해 다양한 분야에서 활용이 가능함가능함

 

---

 

공감과 댓글은 아이티신비에게 큰 힘이 됩니다.

블로그 글이 유용하다면 블로그를 구독해주세요.♥