[컴퓨터 개론] 혼(Horn)절(Clause)에 관하여...

등록일 2002.06.20 한글 (hwp) | 4페이지 | 가격 1,000원

목차

(1) 절(Clause) 집합으로의 변환
1) 암시부호 =>를 삭제한다.
2) 부정부호 ¬의 범위를 축소한다.
3) 변수를 표준화한다.
4) 존재정량자 를 제거한다.
5) 선행정량자(Prenex)형으로 변환한다.
6) 무정량자형을 논리적 정규형(Conjuctive Normal)형으로 변환한다.
7) 전체정량자 ∀를 삭제한다.
8) AND 부호 ∧를 삭제한다.
9) 변수명을 다시 부여한다.

혼(Horn) 및 비혼(non-Horn) 논리 프로그래밍

PPT 슬라이드

본문내용

(1) 절(Clause) 집합으로의 변환
절은 논리구의 OR 결합만으로 구성된 판명문을 의미한다. 모든 술어계산의 판명문은 절로 구성된 집합으로 변환할 수 있다. 술어계산의 정리증명을 위해서는 모든 문장을 절의 집합으로 변환하는 것이 필요하므로 이 변환과정을 상세히 살펴보도록 하자.

다음의 술어계산 문장을 절의 집합으로 변환하는 과정을 살펴보도록 하자. 이 때, {, }, [, ] 부호들은 문장을 묶기 위해 사용하는 부호로서 괄호부호와 같은 용도로 이용된다.

(∀x) { P(x) => { (∀y) [P(y) => P(f(x,y))] ∧ ¬(∀y) [Q(x,y) => P(y)]}}


1) 암시부호 =>를 삭제한다.
암시부호가 있는 X1 => X2 문장을 동일한 ¬X1 ∨ X2 문장으로 대치함으로써, 암시부호를 삭제할 수 있다. 위 예제에서 이 대치가 실행되면 다음 문장을 얻게 된다.

(∀x) { ¬P(x) ∨ { (∀y) [¬P(y) ∨ P(f(x,y))] ∧ ¬(∀y) [¬Q(x,y) ∨ P(y)]}}

이 자료와 함께 구매한 자료

      최근 구매한 회원 학교정보 보기
      1. 최근 2주간 다운받은 회원수와 학교정보이며
         구매한 본인의 구매정보도 함께 표시됩니다.
      2. 매시 정각마다 업데이트 됩니다. (02:00 ~ 21:00)
      3. 구매자의 학교정보가 없는 경우 기타로 표시됩니다.
      최근 본 자료더보기
      추천도서