Template:Computable knowledge

v t e Computable knowledge
Topics and concepts	Alphabet of human thought Authority control Automated reasoning Commonsense knowledge Commonsense reasoning Computability Formal system Inference engine Knowledge base Knowledge-based systems Knowledge engineering Knowledge extraction Knowledge representation Knowledge retrieval Library classification Logic programming Ontology Personal knowledge base 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) Evi (2007) Wolfram Alpha (2009) Watson (2011) Siri (2011) 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. Artificial Intelligence, 2001) Waterhouse (The Baroque Cycle, 2003) See also: Logic machines in fiction and List of fictional computers