Template:Computable knowledge

v t e Computable knowledge
Topics and concepts	Alphabet of human thought Authority control Automated reasoning Commonsense knowledge Commonsense reasoning Computability Discovery system Formal system Inference engine Knowledge base Personal knowledge base Knowledge-based systems Knowledge engineering Knowledge extraction Knowledge graph Knowledge representation Knowledge retrieval Library classification Logic programming Ontology Question answering Semantic reasoner
Proposals and implementations	Zairja Ars Magna (1300) An Essay towards a Real Character, and a Philosophical Language (1688) Calculus ratiocinator and characteristica universalis (1700) Dewey Decimal Classification (1876) Begriffsschrift (1879) Mundaneum (1910) Logical atomism (1918) Tractatus Logico-Philosophicus (1921) Hilbert's program (1920s) Incompleteness theorem (1931) World Brain (1938) Memex (1945) General Problem Solver (1959) Prolog (1972) Cyc (1984) Semantic Web (2001) Wikipedia (2001) Evi (2007) Wolfram Alpha (2009) Watson (2011) Siri (2011) Google Knowledge Graph (2012) Wikidata (2012) Cortana (2014) Viv (2016)
In fiction	The Engine (Gulliver's Travels, 1726) Joe ("A Logic Named Joe", 1946) The Librarian (Snow Crash, 1992) Dr. Know (A.I. (film), 2001) Waterhouse (The Baroque Cycle, 2003) See also: Logic machines in fiction and List of fictional computers