Changes
no edit summary
{{Navbox
| name = Computable knowledge
| title = Computable knowledge
| listclass = hlist
| group1 = Topics and<br />concepts
| list1 =
* [[Alphabet of human thought]]
* [[Authority control]]
* [[Automated reasoning]]
* [[Commonsense knowledge (artificial intelligence)|Commonsense knowledge]]
* [[Commonsense reasoning]]
* [[Computability]]
* [[Formal system]]
* [[Inference engine]]
* [[Knowledge base]]
* [[Knowledge-based systems]]
* [[Knowledge engineering]]
* [[Knowledge extraction]]
* [[Knowledge representation and reasoning|Knowledge representation]]
* [[Knowledge retrieval]]
* [[Library classification]]
* [[Logic programming]]
* [[Ontology (information science)|Ontology]]
* [[Personal knowledge base]]
* [[Question answering]]
* [[Semantic reasoner]]
| group2 = Proposals and<br />implementations
| list2 =
* [[Zairja]]
* ''[[Ramon Llull#Ars Magna|Ars Magna]]''{{nbsp}}(1300)
* ''[[An Essay towards a Real Character, and a Philosophical Language]]''{{nbsp}}(1688)
* ''[[Calculus ratiocinator]]'' and ''[[characteristica universalis]]''{{nbsp}}(1700)
* [[Dewey Decimal Classification]]{{nbsp}}(1876)
* [[Begriffsschrift]]{{nbsp}}(1879)
* [[Mundaneum]]{{nbsp}}(1910)
* [[Logical atomism]]{{nbsp}}(1918)
* ''[[Tractatus Logico-Philosophicus]]''{{nbsp}}(1921)
* [[Hilbert's program]]{{nbsp}}(1920s)
* [[Gödel's incompleteness theorems|Incompleteness theorem]]{{nbsp}}(1931)
* ''[[World Brain]]''{{nbsp}}(1938)
* [[Memex]]{{nbsp}}(1945)
* [[General Problem Solver]]{{nbsp}}(1959)
* [[Prolog]]{{nbsp}}(1972)
* [[Cyc]]{{nbsp}}(1984)
* [[Semantic Web]]{{nbsp}}(2001)
* [[Evi (software)|Evi]]{{nbsp}}(2007)
* [[Wolfram Alpha]]{{nbsp}}(2009)
* [[Watson (computer)|Watson]]{{nbsp}}(2011)
* [[Siri]]{{nbsp}}(2011)
* [[Knowledge Graph]]{{nbsp}}(2012)
* [[Wikidata]]{{nbsp}}(2012)
* [[Cortana]]{{nbsp}}(2014)
* [[Viv (software)|Viv]]{{nbsp}}(2016)
| group3 = In fiction
| list3 =
* [[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: [[Artificial intelligence in fiction#Logic machines|Logic machines in fiction]] and [[List of fictional computers]]''
}}<noinclude>
[[Category:Technology and applied science templates]]
[[Category:Computer science templates]]
</noinclude>
| name = Computable knowledge
| title = Computable knowledge
| listclass = hlist
| group1 = Topics and<br />concepts
| list1 =
* [[Alphabet of human thought]]
* [[Authority control]]
* [[Automated reasoning]]
* [[Commonsense knowledge (artificial intelligence)|Commonsense knowledge]]
* [[Commonsense reasoning]]
* [[Computability]]
* [[Formal system]]
* [[Inference engine]]
* [[Knowledge base]]
* [[Knowledge-based systems]]
* [[Knowledge engineering]]
* [[Knowledge extraction]]
* [[Knowledge representation and reasoning|Knowledge representation]]
* [[Knowledge retrieval]]
* [[Library classification]]
* [[Logic programming]]
* [[Ontology (information science)|Ontology]]
* [[Personal knowledge base]]
* [[Question answering]]
* [[Semantic reasoner]]
| group2 = Proposals and<br />implementations
| list2 =
* [[Zairja]]
* ''[[Ramon Llull#Ars Magna|Ars Magna]]''{{nbsp}}(1300)
* ''[[An Essay towards a Real Character, and a Philosophical Language]]''{{nbsp}}(1688)
* ''[[Calculus ratiocinator]]'' and ''[[characteristica universalis]]''{{nbsp}}(1700)
* [[Dewey Decimal Classification]]{{nbsp}}(1876)
* [[Begriffsschrift]]{{nbsp}}(1879)
* [[Mundaneum]]{{nbsp}}(1910)
* [[Logical atomism]]{{nbsp}}(1918)
* ''[[Tractatus Logico-Philosophicus]]''{{nbsp}}(1921)
* [[Hilbert's program]]{{nbsp}}(1920s)
* [[Gödel's incompleteness theorems|Incompleteness theorem]]{{nbsp}}(1931)
* ''[[World Brain]]''{{nbsp}}(1938)
* [[Memex]]{{nbsp}}(1945)
* [[General Problem Solver]]{{nbsp}}(1959)
* [[Prolog]]{{nbsp}}(1972)
* [[Cyc]]{{nbsp}}(1984)
* [[Semantic Web]]{{nbsp}}(2001)
* [[Evi (software)|Evi]]{{nbsp}}(2007)
* [[Wolfram Alpha]]{{nbsp}}(2009)
* [[Watson (computer)|Watson]]{{nbsp}}(2011)
* [[Siri]]{{nbsp}}(2011)
* [[Knowledge Graph]]{{nbsp}}(2012)
* [[Wikidata]]{{nbsp}}(2012)
* [[Cortana]]{{nbsp}}(2014)
* [[Viv (software)|Viv]]{{nbsp}}(2016)
| group3 = In fiction
| list3 =
* [[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: [[Artificial intelligence in fiction#Logic machines|Logic machines in fiction]] and [[List of fictional computers]]''
}}<noinclude>
[[Category:Technology and applied science templates]]
[[Category:Computer science templates]]
</noinclude>
