맨위로가기

Cyc

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
목차

1. 개요

Cyc는 1984년 더글러스 레너트가 주도하여 시작된 인공지능 프로젝트로, 인간 수준의 지식을 컴퓨터에 구축하는 것을 목표로 한다. Cyc는 지식베이스와 추론 엔진으로 구성되며, 지식베이스는 다양한 개념과 사실을 포함하는 마이크로이론으로 나뉘어 관리된다. Cyc는 OpenCyc와 ResearchCyc 등의 형태로 공개되었으며, 의학, 테러 대응, 네트워크 보안, 교육 등 다양한 분야에 응용되었다. 그러나 방대한 데이터 구축의 어려움과 자체 진화 능력 부족으로 인해 비판을 받기도 했다.

더 읽어볼만한 페이지

  • 인지적 구조 - ACT-R
    ACT-R은 존 R. 앤더슨이 개발한 인지 아키텍처이자 모델링 언어로서, 선언적 기억과 절차적 기억을 바탕으로 인지 과정을 설명하며, 다양한 분야에 응용되고 활발한 연구가 진행되고 있다.
  • 인지적 구조 - 마음의 모듈성
    마음의 모듈성이란 마음의 능력이 특정한 영역에 특화된 모듈로 구성되어 있다는 이론이며, 제리 포더는 언어 습득 장치와 착시 현상을 근거로 모듈 개념을 체계화했고, 진화 심리학자들은 이를 확장하여 연구하지만 비판도 존재하며, 한국에서는 인지과학, 뇌 과학, 인공지능 분야에서 연구하고 있다.
  • 커먼 리스프 소프트웨어 - ACT-R
    ACT-R은 존 R. 앤더슨이 개발한 인지 아키텍처이자 모델링 언어로서, 선언적 기억과 절차적 기억을 바탕으로 인지 과정을 설명하며, 다양한 분야에 응용되고 활발한 연구가 진행되고 있다.
  • 커먼 리스프 소프트웨어 - 맥시마 (소프트웨어)
    맥시마는 MIT에서 개발된 Macsyma를 기반으로 GPL 라이선스 하에 공개된 오픈 소스 컴퓨터 대수 시스템으로, 기호 연산, 임의 정밀도 연산, 프로그래밍 기능 등을 제공하며 프로그래밍 교육 및 컴퓨터 대수 교육용으로 활용 가능하다.
  • 지식 베이스 - 지식 그래프
    지식 그래프는 개념과 관계를 통해 지식을 표현하는 디지털 구조로, 구글, 페이스북 등 여러 기업에서 활용되며 대중화되었고, 온톨로지, 그래프 데이터베이스, 대규모 언어 모델 등을 통해 구현 및 연구되고 있다.
  • 지식 베이스 - 온톨로지
    온톨로지는 철학의 존재론에서 유래하여 정보기술 분야에서 지식의 위치와 관계를 명확히 하는 연구 분야로 사용되며, 시맨틱 웹 구현의 핵심 도구로서 웹 자원 관리 및 정보 검색 효율성을 높이는 데 기여한다.
Cyc - [IT 관련 정보]에 관한 문서
Cyc 정보
명칭Cyc
Cycorp 회사 로고
"(시계 방향) Cyc의 지식 베이스, 추론 엔진, 실행 가능한 출력 및 지능형 데이터 선택 로고"
개발자Cycorp, Inc.
출시일1984년
최신 버전 출시일2017년 11월 27일
프로그래밍 언어Lisp, CycL, SubL
장르지식 표현 언어 및 추론 엔진
웹사이트www.cyc.com
개발자
개발자더글라스 레나트
개요
프로젝트 목표인공지능 프로젝트
개발언어LISP, CycL, SubL
분류온톨로지, 지식 표현, 추론 엔진

2. 역사

사이클 프로젝트는 1984년 7월, 더글러스 레너트가 이끄는 마이크로일렉트로닉스 및 컴퓨터 기술 공사(MCC)에서 시작되었다. 이는 당시 일본의 "5세대 컴퓨터" 프로젝트에 대한 미국의 대응책 중 하나였다.[3] 1995년 1월부터는 더글러스 레너트가 CEO로 있는 Cycorp에서 개발을 이어오고 있다.

2. 1. 개발 배경

1980년대 초, 일본은 인공지능 분야에서 5세대 컴퓨터 프로젝트를 추진하며 큰 주목을 받았다.[3] 이에 대응하여 미국은 1984년 국가 협력 연구 및 생산법(National Cooperative Research and Production Act)을 제정하여 기업 간 공동 연구를 장려하였다.[3] 이러한 배경 속에서, 미국의 여러 기업들이 참여한 연구 컨소시엄인 마이크로일렉트로닉스 및 컴퓨터 기술 공사(MCC)는 1984년 7월 더글러스 레너트의 주도로 사이클 프로젝트를 시작하였다.[3]

2. 2. 초기 개발

CycL 표현 언어는 스탠퍼드 대학교에서 더글러스 레너트와 그의 대학원생 러셀 그레이너가 1979년부터 1980년까지 개발한 RLL(Representation Language Language)[4][5]의 확장으로 시작되었다. 1989년[6] CycL은 표현력을 고차 논리(higher-order logic, HOL)로 확장했다.

2. 3. 온톨로지 구축

사이클(Cyc)의 온톨로지는 1994년에 약 10만 개의 용어로 구성되었으며, 2017년에는 약 150만 개의 용어를 포함하는 수준으로 발전했다.[3] 사이클 지식베이스는 대부분 수동으로 공리(axiom)를 작성하여 만들어졌는데, 1994년에는 약 100만 개, 2017년에는 약 2450만 개의 공리가 존재했다.[3]

2. 4. 외부 연계

2008년, 사이클 자원은 많은 위키백과 문서에 매핑되었으며[7], 현재는 위키데이터에 연결되어 있다.

3. 지식베이스

지식베이스는 여러 개의 ''마이크로이론''으로 나뉜다. 각 마이크로이론은 전체 지식베이스와 달리 단조 증가적이며 모순이 없어야 한다. 각 마이크로이론은 Cyc 온톨로지의 일급 객체이며, 일반 상수인 이름을 갖는다.

3. 1. CycL 상수

Cyc의 개념 이름은 CycL '항' 또는 '상수'이다.[6] 상수는 선택적으로 `#$`로 시작하며 대소문자를 구분한다. 상수의 종류는 다음과 같다.

  • 개체: 개별 항목을 가리키며, 예시는 `#$BillClinton` 또는 `#$France`와 같다.
  • 집합: 모든 나무를 포함하는 `#$Tree-ThePlant`나 모든 동치 관계를 포함하는 `#$EquivalenceRelation`과 같이 특정 조건을 만족하는 요소들의 모임이다. 집합의 구성원을 해당 집합의 '인스턴스'라고 부른다.[1]
  • 함수: 주어진 항목으로부터 새로운 항목을 생성한다. 예를 들어 `#$FruitFn`은 식물의 유형(또는 집합)을 인수로 받아 해당 과일의 집합을 반환한다. 함수 상수는 관례적으로 대문자로 시작하고 `Fn`으로 끝난다.
  • 진리 함수: 하나 이상의 개념에 적용되어 참 또는 거짓을 반환한다. 예를 들어 `#$siblings`는 형제 자매 관계를 나타내며, 두 인수가 형제 자매인 경우 참을 반환한다. 진리 함수 상수는 관례적으로 소문자로 시작한다.


`#$ChordataPhylum` 집합의 모든 인스턴스(즉, 모든 척색동물)에 대해, `#$biologicalMother` 술어로 표현되는 어미(`#$FemaleAnimal`의 인스턴스)인 암컷 동물이 존재한다.[1]

3. 2. 지식 표현 예시

`#$ChordataPhylum` 집합의 모든 인스턴스(즉, 모든 척색동물)에 대해, `#$biologicalMother` 술어로 설명되는 어미(`#$FemaleAnimal`의 인스턴스)인 암컷 동물이 존재한다.[1]

4. 추론 엔진

추론 엔진은 지식베이스에서 답을 도출하는 컴퓨터 프로그램이다. Cyc 추론 엔진은 일반적인 논리적 추론 외에도 귀납적 추론, 통계적 기계 학습, 기호적 인공 지능, 반증적 추론을 수행한다.[8]

4. 1. 인식론적 문제와 휴리스틱 문제 분리

Cyc 추론 엔진은 인식론적 문제와 휴리스틱적 문제를 분리한다.[8] 휴리스틱 문제를 해결하기 위해 Cyc는 전문화된 모듈(각각 자체 알고리즘을 가짐)이 하위 문제에 진전을 이룰 수 있는 경우 우선순위가 지정되는 다중 에이전트 시스템 아키텍처를 사용했다.

5. 릴리스

Cyc는 여러 버전으로 공개되어 왔다.

버전출시일내용비고
OpenCyc 1.02002년 봄개념 6,000개, 사실 60,000개아파치 라이선스로 배포, 사이클 및 SubL 인터프리터는 소스 코드 없이 바이너리 형태로 무료 배포 (리눅스, 마이크로소프트 윈도우 지원). Texai[9] 프로젝트에서 RDF 호환 콘텐츠 공개.[10]
OpenCyc (의미 웹 버전)2008년2016년 이후 서비스 종료.[12]
OpenCyc 4.02012년 6월개념 239,000개, 사실 2,093,000개주로 분류학적 주장 포함.[13]
ResearchCyc 1.02006년 7월연구 커뮤니티에 실행 파일 무료 공개. 2004년 베타 개발, 2005년 2월 베타 버전 출시. 분류 정보 외 의미론적 지식, 어휘, 영어 구문 분석 및 생성 도구, 자바 기반 인터페이스, 온톨로지 기반 데이터 통합 시스템 포함.



2017년 3월경, OpenCyc는 4.0 버전을 마지막으로 서비스가 중단되었다. Cycorp는 서비스 중단 이유를 "사용자와 기술 커뮤니티 전반에 걸쳐 OpenCyc 조각이 Cyc인 것으로 혼란을 야기했기 때문"이라고 밝혔다.[14]

5. 1. OpenCyc

OpenCyc의 첫 번째 버전은 2002년 봄에 출시되었으며, 개념 6,000개와 사실 60,000개만 포함하고 있었다. 지식베이스는 아파치 라이선스 하에 배포되었다. Cycorp는 사용자의 요구를 충족하기 위해 OpenCyc를 병렬적이고 제한 없는 라이선스 하에 배포할 의향이 있다고 밝혔다. 사이클 및 SubL 인터프리터(사용자가 데이터베이스를 탐색하고 편집하며 추론을 도출할 수 있도록 하는 프로그램)는 무료로 배포되었지만, 소스 코드 없이 바이너리 형태로만 제공되었다. 리눅스와 마이크로소프트 윈도우에서 사용할 수 있었다. 오픈소스 Texai[9] 프로젝트는 OpenCyc에서 추출한 RDF 호환 콘텐츠를 공개했다.[10] 사용자 인터페이스는 Java 6으로 작성되었다.

Cycorp는 2001년부터 2003년까지 활동한 의미 웹, 표준 상위 온톨로지 작업 그룹에 참여했다.[11]

OpenCyc의 의미 웹 버전은 2008년부터 사용할 수 있었지만, 2016년 이후 어느 시점에 서비스가 종료되었다.[12]

2012년 6월, OpenCyc 4.0이 출시되었다.[13] OpenCyc 4.0에는 239,000개의 개념과 2,093,000개의 사실이 포함되어 있었지만, 이들은 주로 분류학적 주장이다.

2017년 3월경, OpenCyc는 4.0 버전을 마지막으로 서비스를 중단했다. Cycorp는 "그러한 '분열'이 차이를 야기하고, 사용자와 기술 커뮤니티 전반에 걸쳐 OpenCyc 조각이 Cyc인 것으로 혼란을 야기했기 때문"이라고 서비스 중단 이유를 밝혔다.[14]

5. 2. ResearchCyc

2006년 7월, 사이코프(Cycorp)는 연구 커뮤니티를 대상으로 Cyc의 한 버전인 ResearchCyc 1.0의 실행 파일을 무료로 공개했다. ResearchCyc는 2004년 한 해 동안 베타 개발 단계에 있었으며, 2005년 2월 베타 버전이 출시되었다. ResearchCyc는 분류 정보 외에도 더 많은 의미론적 지식을 포함하고 있다. 또한 방대한 어휘, 영어 구문 분석 및 생성 도구, 지식 편집 및 쿼리에 사용되는 자바 기반 인터페이스, 온톨로지 기반 데이터 통합 시스템도 포함하고 있다.

6. 응용 분야

Cyc는 여러 분야에 응용되어 왔다. 2001년 글락소스미스클라인(GlaxoSmithKline)이 Cyc에 자금을 지원했지만, 그 용도는 알려지지 않았다.[15] 라이코스(Lycos)는 검색어 의미 분석에 Cyc를 사용했지만 2001년에 중단했다.[20]

6. 1. 의학

2007년, 클리블랜드 클리닉(Cleveland Clinic)은 Cyc를 사용하여 심장흉부외과 수술에 대한 생물의학 정보의 자연어 질의 인터페이스를 개발했다.[16] 질의는 열린 변수가 있는 사이클(CycL) 조각 집합으로 구문 분석된다.[17]

6. 2. 테러 대응

테러리즘 지식 베이스는 Cyc를 활용하여 테러 관련 지식을 저장하고 추론하는 시스템으로, 관련 설명을 수학적 논리의 명제로 저장했다. 이 프로젝트는 2004년부터 2008년까지 운영되었다.[18][19]

6. 3. 네트워크 보안

CycSecure는 2002년에 개발된, Cyc를 기반으로 하는 네트워크 취약성 평가 도구이다.[21] 미국 전략사령부(STRATCOM) 컴퓨터 비상 대응 팀에서 시험 운영되었다.[22]

6. 4. 교육

MathCraft[24]는 6학년 수준의 수학을 하는 학생들을 돕기 위한 Cyc 응용 프로그램이다.[23] MathCraft는 사용자보다 해당 과목에 대해 약간 더 혼란스러워하는 학우의 역할을 수행하도록 설계되었다. 사용자가 좋은 조언을 하면 Cyc는 아바타가 실수를 덜 하도록 한다.

6. 5. 기타

2001년, 글락소스미스클라인(GlaxoSmithKline)이 Cyc에 자금을 지원했지만, 그 용도는 알려지지 않았다.[15] 2007년, 클리블랜드 클리닉(Cleveland Clinic)은 Cyc를 사용하여 심장흉부외과 수술에 대한 생물의학 정보의 자연어 질의 인터페이스를 개발했다.[16] 질의는 열린 변수가 있는 사이클(CycL) 조각 집합으로 구문 분석된다.[17] 테러리즘 지식 베이스는 "테러리즘" 관련 설명에 대한 지식을 포함하려고 시도한 Cyc의 응용 프로그램이었다. 지식은 수학적 논리의 명제로 저장된다. 이 프로젝트는 2004년부터 2008년까지 진행되었다.[18][19] 라이코스(Lycos)는 검색어 의미 분석에 Cyc를 사용했지만 2001년에 중단했다.[20] CycSecure는 2002년에 개발되었으며,[21] Cyc를 기반으로 하는 네트워크 취약성 평가 도구로, 미국 전략사령부(STRATCOM) 컴퓨터 비상 대응 팀에서 시험 운영되었다.[22]

Cyc 응용 프로그램 중 하나는 6학년 수준의 수학을 하는 학생들을 돕는 것을 목표로 한다.[23] MathCraft[24]라고 불리는 이 응용 프로그램은 사용자보다 해당 과목에 대해 약간 더 혼란스러워하는 학우의 역할을 수행하도록 설계되었다. 사용자가 좋은 조언을 하면 Cyc는 아바타가 실수를 덜 하도록 한다.

7. 비판

사이클 프로젝트는 "인공지능 역사상 가장 논란이 많은 시도 중 하나"로 묘사된다.[25] 루미노소의 CEO 캐서린 하바시는 사이클이 IBM의 왓슨의 전신 프로젝트라고 말한다.[26] 기계 학습 과학자 페드로 도밍고스는 이 프로젝트가 실질적인 결과를 얻는 데 필요한 엄청난 양의 데이터와 스스로 진화할 수 없는 능력 때문에 "처참한 실패"라고 언급한다.[27]

인지 과학자이자 지오메트릭 인텔리전스라는 AI 회사 공동 설립자인 게리 마커스는 "그것은 뉴스에 나오는 모든 딥러닝과는 매우 다른 접근 방식을 나타낸다"라고 말한다.[28] 이는 더그 레너트의 "때때로 지능의 허울만으로는 충분하지 않다"는 입장과 일치한다.[29]

8. 주요 관계자

참조

[1] 서적 Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project https://dl.acm.org/c[...] Addison-Wesley Longman Publishing Co., Inc. 1989
[2] 웹사이트 Hal's Legacy: 2001's Computer as Dream and Reality. From 2001 to 2001: Common Sense and the Mind of HAL https://www.cyc.com/[...] Cycorp, Inc. 2006-09-26
[3] 학술지 The World in a Box
[4] 웹사이트 A Representation Language Language http://www.aaai.org/[...] 2017-11-27
[5] 보고서 RLL-1: A Representation Language Language https://apps.dtic.mi[...] 1980-10-01
[6] 학술지 The Evolution of CycL, the Cyc Representation Language 1991-06-01
[7] 웹사이트 Integrating Cyc and Wikipedia: Folksonomy meets rigorously defined common-sense http://researchcommo[...] 2013-05-10
[8] 웹사이트 cyc Inference engine https://www.cyc.com/[...] 2015-06-04
[9] 웹사이트 The open source Texai project http://www.texai.org
[10] 웹사이트 Texai SourceForge project files http://sourceforge.n[...]
[11] 웹사이트 Standard Upper Ontology Working Group (SUO WG) - Home Page http://suo.ieee.org/ 2024-12-16
[12] 웹사이트 http://sw.opencyc.or[...] 2024-12-16
[13] 웹사이트 OpenCyc.org http://opencyc.org/ 2024-12-16
[14] 웹사이트 http://opencyc.org/ 2024-12-16
[15] 뉴스 Birth of a Thinking Machine https://www.latimes.[...] 2017-11-29
[16] 웹사이트 Case Study: A Semantic Web Content Repository for Clinical Research http://www.w3.org/20[...] 2018-02-28
[17] 학술지 Harnessing Cyc to Answer Clinical Researchers' Ad Hoc Queries 2010-07-28
[18] 학술지 The Comprehensive Terrorism Knowledge Base in Cyc https://citeseerx.is[...]
[19] 기술보고서 Terrorism Knowledge Base (TKB) Final Technical Report https://www.research[...] 2008-04-01
[20] 웹사이트 Computer to Save World? http://www.cyc.com/a[...] 2024-12-15
[21] 웹사이트 Cyc in use https://www.computer[...] 2024-12-15
[22] 학술지 A knowledge-based approach to network security: applying Cyc in the domain of network risk assessment https://dl.acm.org/d[...] AAAI Press 2005-07-09
[23] 학술지 Reinforcing Math Knowledge by Immersing Students in a Simulated Learning-By-Teaching Experience 2014-09-01
[24] 웹사이트 Mathcraft by Cycorp http://www.mathcraft[...] 2017-11-29
[25] 서적
[26] 뉴스 Who's Doing Common-Sense Reasoning And Why It Matters https://techcrunch.c[...] 2017-11-29
[27] 서적 The Master Algorithm: How the Quest for the Ultimate Learning Machine Will Remake Our World https://archive.org/[...] Basic Books
[28] 뉴스 An AI that spent 30 years learning some common sense is ready for work https://www.technolo[...] 2017-11-29
[29] 웹사이트 Sometimes the Veneer of Intelligence is Not Enough https://cognitivewor[...] 2017-11-29


본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com