CYC

AI 를 응용하여 인간과 같은 추론을 수행할수 있게 하려는 목적으로, 포괄적인 용어 (comprehensive ontology) 와 일상의 상식 (commonsense) 을 데이터베이스로 만들기 위한 AI 프로젝트이다. 1984 년 Douglas Lenat 가 시작하였다. "Cyc" (encyclopedia 에서 따온 이름으로, 발음할 때는 psych 와 유사하다) 란 이름은 텍사스에 있는 Cycorp 의 등록상표이며 Lenat 가 경영하는 회사로서 Cyc 발전에 전념하고 있다. 원래는 독점적인 (proprietary) 것이었지만, 그 데이터베이스의 작은 크기의 버전은 OpenCyc 라는 이름으로 open source license 로서 배포되어 왔다.

그 데이터베이스에서 표현된 지식의 전형적인 모습은 "모든 나무는 식물이다" , "식물은 결국은 죽는다" 와 같은 것이다. 이것으로부터 나무가 죽는지 아닌지를 질문받을 때 추론엔진 (Inference Engine) 은 분명한 결론을 이끌어 낼 수 있고 정확하게 답변한다. 지식베이스에는 백만여개의 사람이 정의한 주장 (assertions), 규칙 (rules), 상식 (Common Sense Knowledge) 개념들을 포함하고 있다. 이것들은 언어 CycL 로 작성된 것인데, 그것은 술어계산(Predicate Calculus) 에 기초한 것으로서 프로그램 언어 Lisp 과 유사한 문법을 가지고 있다.

Cyc 프로젝트에서의 대부분의 최근 작업은 지식공학 (Knowledge Engineering) 이라고 하며, 그것은 수작업으로 세계에 대한 사실들을 표현하고, 그 지식에 대해 효율적인 추론 메카니즘을 구현하는 것이다. 그러나 점차적으로 Cycorp 에서의 작업의 방향은 자연어로 사용자와 대화가 가능한 Cyc 시스템을 만드는 것이며, 지식형성 과정을 돕는 것이다. ............. (Wikipedia : Cyc)

레넛은 만일 학습이 지식에 의존한다고 하면, 어떤 컴퓨터 프로그램이 정말로 흥미로운 무언가를 발견하기 위해서는 사람들이 알고 있는 것만큼 많은 것을 알아야 한다고 추론하였다. ...... 레넛은 아주 폭넓은 견문을 갖춘 한 북아메리카 성인의 지식을 컴퓨터 프로그램에 주입시키는 것에 미치지 못하는 일은 아무것도 원하지 않았다. 그러한 기준에서 레넛은 프로그램이 어떤 흥미로운 학습을 수행할 수 있다고 생각하였다. 그 프로젝트로 계획된 프로그램의 이름은 사이크였다........ (Dennis Shasha 1998)

term :

Douglas Lenat   지식 (Knowledge)   학습 (Learning)   추론 (Reasoning)   지식베이스 (Knowledge Base)   지식공학 (Knowledge Engineering)   전문가시스템 (Expert System)   인공지능 (Artificial Intelligence)   지식표현 (Knowledge Representation)   존재론 (Ontology)   Cyc   계산가능성 이론 (Computability Theory)

site :

Cycorp : OpenCyc : Public OpenCyc Servers : 거대한 지식베이스 Cyc 제작 (상식)

paper :

사이크 : 상식을 지닌 컴퓨터 : Dennis Shasha