싸이클

CycL
인공지능 프로젝트는 Cyc를 참조하십시오.

컴퓨터 과학과 인공지능 분야의 CycL은 더그 레나트의 Cyc 인공지능 프로젝트에서 사용하는 온톨로지 언어다.라마나탄 5세 구하는 언어의 초기 버전 디자인에 중요한 역할을 했다.MELD로 알려진 CycL에는 가까운 변종이 있다.[1]null

CycL의 원래 버전은 프레임 언어였지만, 현대 버전은 그렇지 않다.오히려 고전적인 1차적 논리에 바탕을 둔 선언적 언어로서, 모달 연산자를 위한 확장성과 고차적 정량화를 가지고 있다.null

CycL은 Cycorp에서 구할 수 있는 Cyc Knowledge Base에 저장된 지식을 나타내기 위해 사용된다.OpenCyc 시스템과 함께 발매된 CycL에서 작성된 소스 코드는 오픈 소스로 라이선스 되어 있어 의미 웹을 지원하는 데 유용성을 높인다.null

기본 사상

CycL은 몇 가지 기본적인 생각을 가지고 있다.

  • 표시된 개념에 대한 정보를 참조하는 데 사용되는 상수의 이름 지정.
  • 일반화/특수화 계층(일반적으로 범주화라고 함)에서 상수를 함께 그룹화.
  • 개념에 대한 추론을 지원하는 일반 규칙 명시.
  • CycL 문장의 진실이나 거짓은 문맥과 관련이 있다; 이러한 문맥은 CycL에서 Microtheries로 표현된다.

상수

싸이크의 개념명은 상수로 알려져 있다.상수는 "#$"로 시작하며 대소문자를 구분한다.다음과 같은 상수가 있다.

  • 개인으로 알려진 개별 항목(예: #$빌클린턴 또는 #$프랑스).
  • #$Tree-ThePlant(모든 트리 포함) 또는 #$EqualityRelation(모든 동등성 관계 포함)과 같은 컬렉션.컬렉션의 구성원은 그 컬렉션의 인스턴스라고 불린다.
  • 하나 이상의 다른 개념에 적용되고 참 또는 거짓으로 반환될 수 있는 진실 함수.예를 들어 #$siblings는 형제 관계인데, 두 주장이 형제자매라면 참이다.관례상 진실 함수 상수는 소문자로 시작한다.진실 함수는 논리적 연결자(예: #$ 및 #$, #$or, #$not, #$implies), 수량자(#$ForAll, #$not, #$implies)로 나눌 수 있다.존재 등)과 술어.
  • 함수, 주어진 용어로부터 새로운 용어를 만들어낸다.예를 들어, #$FruitFn은 식물의 유형(또는 수집)을 설명하는 인수가 제공될 때, 그 과일 컬렉션을 반환한다.관례상 함수 상수는 대문자로 시작하고 "Fn" 문자열로 끝난다.

전문화 및 일반화

가장 중요한 술어는 #$isa와 #$genls이다.첫 번째 항목(#$isa)은 한 항목이 일부 수집의 인스턴스(예: 전문화)이고, 두 번째 항목(#$genls)이 다른 항목의 하위 집합(예: 일반화)이라고 설명한다.개념에 관한 사실들은 특정 CycL 문장을 사용하여 주장된다.술어는 그들의 인수 앞에 괄호 안에 쓰여진다.

예를 들면 다음과 같다.

(#$isa #$빌클린턴 #$UnitedStates President) \;

"빌 클린턴은 미국 대통령 컬렉션에 속해 있다"와

(#$genls #$Tree-ThePlant #$Plant) \;

"모든 나무는 식물이다."null

(#$CapitalCity #$프랑스 #$파리) \;

"파리스는 프랑스의 수도야."null

규칙.

문장은 또한 "?"로 시작하는 변수, 문자열을 포함할 수 있다.#$isa 술어 읽기에 대해 주장된 하나의 중요한 규칙

(#$190 (#$and) 그리고 (#$isa?)OBJ ?SUBset)(#$genls ?하위 집합 ?SUPRSET)(#$isa ?OBJ ?SUPERSET))

"OBJ가 SUPRSET 수집의 인스턴스이고 SUPERSET의 하위 집합인 경우, OBJ는 SUPRSET 수집의 인스턴스"라는 해석과 함께.null

또 다른 더 복잡한 예는 특정 개인보다는 집단이나 범주에 관한 규칙을 표현하는 것이다.

(#$relationAllExists #$생물학적 어머니 #$ChordataPhilm #$Memal)

즉, #$ChordataPhil(즉, 모든 화음) 컬렉션의 모든 예에 대해, 어미인 암컷 동물(#$Memanimal)이 존재한다는 것을 의미한다.null

(혹은 더 느슨한 영어에서, 만약 당신이 등뼈를 가지고 있는 특정한 동물을 가지고 있다면, 그 동물의 "생물학적 어머니"의 개념을 표현하는 그 특정한 동물로부터의 연결고리가 있을 것이다.생모를 위한 '빈칸의 fills'도 암컷으로 분류할 수 있어야 한다.)null

미시적 이론

지식 기반은 미시적 이론(Mt)으로 나뉘며, 일반적으로 지식의 특정 영역에 관련된 개념과 사실의 모음입니다.전체적인 지식기반과는 달리 각각의 미시이론은 모순으로부터 자유로워져야 한다.각각의 미시이론은 정규 상수인 이름을 가지고 있다; 미시이론 상수는 관습에 의해 "Mt"라는 문자열을 포함한다.수학적 지식을 담고 있는 미시적 이론인 #$MathMt가 그 예다.미시적 이론은 서로 계승할 수 있고 계층 구조로 구성된다.

#$MathMt의 한 특성은 #$Geometry이다.지엠트, 기하학에 대한 미시론.null

참고 항목

참조

  • R.V. 구하; 더글러스 B.레나트. "CYC: 중간 보고서"AI 매거진, 1990년 가을, 11(3): 32–59.

메모들

  1. ^ R.V. Guha, Douglas B. Lenat. "CYC". doi:10.1080/08839519108927917. {{cite journal}}:Cite 저널은 필요로 한다. journal=(도움말)