템플릿:계산 가능한 지식

hide v t 계산 가능한 지식
주제 및 개념	인간사상의 알파벳 권한통제 자동 추론 상식지식 상식적 추리 계산성 디스커버리 시스템 형식 체계 추론엔진 지식 기반 개인 지식 기반 지식 기반 시스템 지식공학 지식 추출 지식 그래프 지식 표현 지식 검색 도서관구분 논리 프로그래밍 온톨로지 질문 답변 의미론적 추론자
제안서 및 구현	자이르자 아르스 마그나(1300) 실존인물, 철학적 언어에 대한 에세이 (1688)을 향한 에세이 미적분 래티오시네이터 및 특성유니버설(1700) 듀이 십진분류(1876년) 베그리프슈리프트(1879년) 문다네움(1910) 논리원자론(1918년) Tracatus Logico-Philosophicus (1921) 힐베르트의 프로그램 (1920년대) 불완전성 정리(1931) 월드 브레인 (1938년) 메멕스(1945) 일반 문제 해결사(1959년) 프롤로그(1972) 싸이크 (1984년) 시맨틱 웹(2001) 위키백과(2001) 에비(2007) 울프람 알파(2009) 왓슨 (2011년) 시리(2011년) Google 지식 그래프(2012) 위키다타(2012년) 코르타나(2014년) 비비(2016년)
소설로	엔진 (걸리버 여행기, 1726년) 조("A Logic Named Joe", 1946) 사서(Snow Crash, 1992년) 닥터 노우 (A.I. (영화, 2001) 워터하우스 (The Jaguar Cycle, 2003) 참고 항목: 허구의 논리 기계와 허구의 컴퓨터 목록