[컴퓨터 개론] 혼(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)]}}
*원하는 자료를 검색 해 보세요.
  • 걸물절왜사소 4 페이지
    中訓大夫弘文館典翰知製敎兼經筵侍講官春秋館編修官承文院叅校臣李滉誠惶誠恐, 중훈대부홍문관전한지제교겸경연시강관 춘추관편수관승문원참교신이황성황성공 - 중훈대부 홍문관의 전한 지제교를 겸하고 경연에서 시강관을 맡고 춘추관편수관, 승문원..
  • [교육학][교육의 기초]제 1절 교육의 개념/제 2절 교육의 기본전제제 /제 3절 교육의 .. 7 페이지
    * 제 1절 교육의 개념 1. 어원으로 본 교육의 개념 - 동양의 고전인 맹자에서 처음으로 나타나고 있다. 맹자 진심편 중 군자유삼락장 속에 나오는 ‘득천하영재이교유지삼락야(세가지 즐거움 중 천하의 영특한 인재를 ..
  • 기계 재료 실험 항절 굽힘 시험 프리(예비) 레포트 2 페이지
    1. 시험의 목적 굽힘시험 : 탄성계수 측정시험(연성재), 작용하중이나 모우멘트 및 포아송의 비를 측정하기 위한 시험이다. 항절시험 : 목재, 유리, 주철, 세라믹 같은 취성재료의 항절(인장)강도를 측정하기 위한 시..
  • 기계재료실험 굽힘 항절 시험 레포트 ( 최종레포트, 결과레포트) 36 페이지
    굽힘시험 및 항절시험의 목적은 임의의 하중을 부재, 구조물 등에 가했을 때 단면에 발생하는 변화량을 측정하여 응력의 크기, 분포, 변동사태 및 방향을 예상하고 확인함으로써 부재나 구조물의 결함의 유무 및 가장 위험한 단면을 가..
  • 우리나라의 절 문화 3 페이지
    우리나라의 절 문화 절의 의미는 상대편에 공경을 나타내는 기초적인 행동 예절이다. 절하는 대상은 사람뿐만 아니라 공경해야할 대상을 상징하는 표상에 대해서도 한다. 서로 예절을 지키기 위해서 존경의 표시로, 문안 인사로..

이 자료와 함께 구매한 자료

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