https://wiki.tachyony.co.uk/w/index.php?action=history&feed=atom&title=Template%3AComputable_knowledge
Template:Computable knowledge - Revision history
2026-05-15T20:05:38Z
Revision history for this page on the wiki
MediaWiki 1.35.5
https://wiki.tachyony.co.uk/w/index.php?title=Template:Computable_knowledge&diff=7302&oldid=prev
Tachyony: Imported page
2022-01-19T16:16:41Z
<p>Imported page</p>
<p><b>New page</b></p><div>{{Navbox<br />
| name = Computable knowledge<br />
| title = Computable knowledge<br />
| listclass = hlist<br />
<br />
| group1 = Topics and<br />concepts<br />
| list1 =<br />
* [[Alphabet of human thought]]<br />
* [[Authority control]]<br />
* [[Automated reasoning]]<br />
* [[Commonsense knowledge (artificial intelligence)|Commonsense knowledge]]<br />
* [[Commonsense reasoning]]<br />
* [[Computability]]<br />
* [[Discovery system (AI research)|Discovery system]]<br />
* [[Formal system]]<br />
* [[Inference engine]]<br />
* [[Knowledge base]]<br />
** [[Personal knowledge base]]<br />
* [[Knowledge-based systems]]<br />
* [[Knowledge engineering]]<br />
* [[Knowledge extraction]]<br />
* [[Knowledge graph]] <br />
* [[Knowledge representation and reasoning|Knowledge representation]]<br />
* [[Knowledge retrieval]]<br />
* [[Library classification]]<br />
* [[Logic programming]]<br />
* [[Ontology (information science)|Ontology]]<br />
* [[Question answering]]<br />
* [[Semantic reasoner]]<br />
<br />
| group2 = Proposals and<br />implementations<br />
| list2 =<br />
* [[Zairja]]<br />
* ''[[Ramon Llull#Ars Magna|Ars Magna]]''{{nbsp}}(1300)<br />
* ''[[An Essay towards a Real Character, and a Philosophical Language]]''{{nbsp}}(1688)<br />
* ''[[Calculus ratiocinator]]'' and ''[[characteristica universalis]]''{{nbsp}}(1700)<br />
* [[Dewey Decimal Classification]]{{nbsp}}(1876)<br />
* [[Begriffsschrift]]{{nbsp}}(1879)<br />
* [[Mundaneum]]{{nbsp}}(1910)<br />
* [[Logical atomism]]{{nbsp}}(1918)<br />
* ''[[Tractatus Logico-Philosophicus]]''{{nbsp}}(1921)<br />
* [[Hilbert's program]]{{nbsp}}(1920s)<br />
* [[Gödel's incompleteness theorems|Incompleteness theorem]]{{nbsp}}(1931)<br />
* ''[[World Brain]]''{{nbsp}}(1938)<br />
* [[Memex]]{{nbsp}}(1945)<br />
* [[General Problem Solver]]{{nbsp}}(1959)<br />
* [[Prolog]]{{nbsp}}(1972)<br />
* [[Cyc]]{{nbsp}}(1984)<br />
* [[Semantic Web]]{{nbsp}}(2001)<br />
* [[Wikipedia]]{{nbsp}}(2001)<br />
* [[Evi (software)|Evi]]{{nbsp}}(2007)<br />
* [[Wolfram Alpha]]{{nbsp}}(2009)<br />
* [[Watson (computer)|Watson]]{{nbsp}}(2011)<br />
* [[Siri]]{{nbsp}}(2011)<br />
* [[Google Knowledge Graph]]{{nbsp}}(2012)<br />
* [[Wikidata]]{{nbsp}}(2012)<br />
* [[Cortana (virtual assistant)|Cortana]]{{nbsp}}(2014)<br />
* [[Viv (software)|Viv]]{{nbsp}}(2016)<br />
| group3 = In fiction<br />
| list3 =<br />
* [[The Engine]] (''[[Gulliver's Travels]]'', 1726)<br />
* Joe ("[[A Logic Named Joe]]", 1946)<br />
* The Librarian (''[[Snow Crash]]'', 1992)<br />
* Dr. Know (''[[A.I. Artificial Intelligence|A.I. (film)]]'', 2001)<br />
* Waterhouse (''[[The Baroque Cycle]]'', 2003)<br />
''See also: [[Artificial intelligence in fiction#Logic machines|Logic machines in fiction]] and [[List of fictional computers]]''<br />
<br />
}}<noinclude><br />
[[Category:Technology and applied science navigational boxes]]<br />
[[Category:Computer science navigational boxes]]<br />
</noinclude></div>
Tachyony