[컴퓨터 개론] 혼(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)]}}
*원하는 자료를 검색 해 보세요.
  • [프로그래밍 언어론] 논리형 프로그래밍이란? 11페이지
    prolog가 탄생하였다. prolog는 horn을 사용하였다 ... . ※ horn(발명자인 Alfred Horn의 이름을 따서)은 { { a ... horn에는 or 연결자가 없고 정량자도 없다. 여기서 horn
  • [프로그래밍 언어] 논리형 프로그래밍 10페이지
    als(human, y) ? - Horn 논리 프로그래밍 시스템은 술어 ... 해석의 특별한 부분집합으로 제한하고 있는데 이를 Horn이라 한다 ... . Horn 은 다음과 같이 일차 술어해석 으로 쓰여지는며 a and b
  • 척수의 구조와 기능, 신경회로 4페이지
    matter a. 뒤뿔 posterior horn 1) 감각사이신경세포 ... 들어와 post. Horn에서 interneuron과 synapse ... nucleus (1) 가쪽뿔 lateral horn: T1-L2 level
  • 반사활동과 자율신경 11페이지
    구성 되어있다. ● 회백질의 H자형의 날개를 각(horn) 이라고 한다 ... . 앞에 있는 것을 전각(ventral horn)이라 하고, 전각에서는 ... . 뒤에 있는 것을 후각(dosal horn)이라 하고, 후각에서는 구심
  • [성인간호학] 신경계, 두개내압 요약 14페이지
    Basal ganglia 기저신경 ? 추체외로계의 시발점으로 근육활동을 ... 부(body) : 두정엽 전각(anterior horn) : 전두엽 하각 ... (inferior horn) : 측두엽 후각(posterior horn
  • 소의 제왕절개ppt 26페이지
    Incision Laparotomy 개창 길이 : 30~40CM Muscles ... 선단을 개창으로 유도 Push the omentum : 창탈출 억제 ... Incision of uterine horn holding the uterine
  • 자율신경계 부교감, 교감 비교 성인간호학 2페이지
    중 가슴분절과 허리분절에서 시작된 신경이전섬유들은 척수근처의 신경 ... 들에서 연접을 이룬다. 이 축삭들과 신경들은 모두 sympathetic ... 시작된 신경이전 섬유들은 parasympathetic division의
더보기

이 자료와 함께 구매한 자료

      최근 구매한 회원 학교정보 보기
      1. 최근 2주간 다운받은 회원수와 학교정보이며
         구매한 본인의 구매정보도 함께 표시됩니다.
      2. 매시 정각마다 업데이트 됩니다. (02:00 ~ 21:00)
      3. 구매자의 학교정보가 없는 경우 기타로 표시됩니다.
      4. 지식포인트 보유 시 지식포인트가 차감되며
         미보유 시 아이디당 1일 3회만 제공됩니다.
      상세하단 배너
      최근 본 자료더보기
      상세우측 배너
      상세우측 배너
      추천도서
      [컴퓨터 개론] 혼(Horn)절(Clause)에 관하여...
      하나은행 통장 개설 이벤트 오늘 하루 보지 않기 닫기
      ?>
      닫기