Bản mẫu:Kiến thức tính toán

x t s Kiến thức tính toán
Các chủ đề và các khái niệm	Alphabet of human thought Kiểm soát tính nhất quán Automated reasoning Commonsense knowledge (artificial intelligence) Commonsense reasoning Computability Formal system Inference engine Cơ sở tri thức Knowledge-based systems Knowledge engineering Knowledge extraction Knowledge representation and reasoning Knowledge retrieval Library classification Lập trình logic Bản thể học Question answering Semantic reasoner
Các đề xuất và các thực thi	Zairja Ramon Llull#Ars generalis ultima (Ars Magna) (Ramon Llull, 1300) An Essay towards a Real Character and a Philosophical Language (John Wilkins, 1688) Calculus ratiocinator & Characteristica universalis (Gottfried Leibniz, 1700) Dewey Decimal Classification (Melvil Dewey, 1876) Begriffsschrift (Gottlob Frege, 1879) Mundaneum (Paul Otlet & Henri La Fontaine, 1910) Logical atomism (Bertrand Russell, 1918) Tractatus Logico-Philosophicus (Ludwig Wittgenstein, 1921) Hilbert's program (David Hilbert, 1920s) Gödel's incompleteness theorems (Kurt Gödel, 1931) Memex (Vannevar Bush, 1945) Prolog (1972) Cyc (1984) Mạng ngữ nghĩa (2001) Evi (software) (Evi (software), 2007) Alpha (Wolfram Research, 2009) Watson (IBM, 2011) Siri (Apple Inc., 2011) Knowledge Graph (Google, 2012) Wikidata (Quỹ Wikimedia, 2012) Cortana (2014) Viv (2016)
Tiểu thuyết	The Engine (Gulliver du kí, 1726) Joe ("A Logic Named Joe," 1946) The Librarian (Snow Crash, 1992) Dr. Know (A.I. Artificial Intelligence, 2001) Waterhouse (The Baroque Cycle, 2003)