Difference between revisions of "Template:Computable knowledge"
Jump to navigation
Jump to search
imported>Waldyrious (Remove wikidata -- it's just a data store for now, with little (if any) computation involved. Restore link in fiction column. Remove link to blog post in header. Jarble, please take you concerns to the talk page.) |
imported>Funandtrvl (refine category) |
||
| (31 intermediate revisions by 15 users not shown) | |||
| Line 4: | Line 4: | ||
| listclass = hlist | | listclass = hlist | ||
| − | | group1 = Topics and | + | | group1 = Topics and<br />concepts |
| list1 = | | list1 = | ||
* [[Alphabet of human thought]] | * [[Alphabet of human thought]] | ||
| Line 12: | Line 12: | ||
* [[Commonsense reasoning]] | * [[Commonsense reasoning]] | ||
* [[Computability]] | * [[Computability]] | ||
| + | * [[Discovery system]] | ||
* [[Formal system]] | * [[Formal system]] | ||
* [[Inference engine]] | * [[Inference engine]] | ||
| Line 18: | Line 19: | ||
* [[Knowledge engineering]] | * [[Knowledge engineering]] | ||
* [[Knowledge extraction]] | * [[Knowledge extraction]] | ||
| + | * [[Knowledge graph]] | ||
* [[Knowledge representation and reasoning|Knowledge representation]] | * [[Knowledge representation and reasoning|Knowledge representation]] | ||
* [[Knowledge retrieval]] | * [[Knowledge retrieval]] | ||
| Line 23: | Line 25: | ||
* [[Logic programming]] | * [[Logic programming]] | ||
* [[Ontology (information science)|Ontology]] | * [[Ontology (information science)|Ontology]] | ||
| + | * [[Personal knowledge base]] | ||
* [[Question answering]] | * [[Question answering]] | ||
* [[Semantic reasoner]] | * [[Semantic reasoner]] | ||
| − | | group2 = Proposals and | + | | group2 = Proposals and<br />implementations |
| list2 = | | list2 = | ||
* [[Zairja]] | * [[Zairja]] | ||
| − | * ''[[Ramon Llull# | + | * ''[[Ramon Llull#Ars Magna|Ars Magna]]''{{nbsp}}(1300) |
| − | * ''[[An Essay towards a Real Character and a Philosophical Language]]'' ( | + | * ''[[An Essay towards a Real Character, and a Philosophical Language]]''{{nbsp}}(1688) |
| − | * [[Calculus ratiocinator]] | + | * ''[[Calculus ratiocinator]]'' and ''[[characteristica universalis]]''{{nbsp}}(1700) |
| − | * [[Dewey Decimal Classification]] ( | + | * [[Dewey Decimal Classification]]{{nbsp}}(1876) |
| − | * [[Begriffsschrift]] ( | + | * [[Begriffsschrift]]{{nbsp}}(1879) |
| − | * [[Mundaneum]] ( | + | * [[Mundaneum]]{{nbsp}}(1910) |
| − | * [[Logical atomism]] ( | + | * [[Logical atomism]]{{nbsp}}(1918) |
| − | * ''[[Tractatus Logico-Philosophicus]]'' ( | + | * ''[[Tractatus Logico-Philosophicus]]''{{nbsp}}(1921) |
| − | * [[Hilbert's program]] ( | + | * [[Hilbert's program]]{{nbsp}}(1920s) |
| − | * [[Gödel's incompleteness theorems|Incompleteness theorem]] ([[ | + | * [[Gödel's incompleteness theorems|Incompleteness theorem]]{{nbsp}}(1931) |
| − | * [[Memex]] ([[ | + | * ''[[World Brain]]''{{nbsp}}(1938) |
| − | * [[Prolog]] (1972) | + | * [[Memex]]{{nbsp}}(1945) |
| − | * [[Cyc]] (1984) | + | * [[General Problem Solver]]{{nbsp}}(1959) |
| − | * [[ | + | * [[Prolog]]{{nbsp}}(1972) |
| − | * [[Wolfram Alpha]] ( | + | * [[Cyc]]{{nbsp}}(1984) |
| − | * [[Watson (computer)|Watson]] ([[ | + | * [[Semantic Web]]{{nbsp}}(2001) |
| − | * [[ | + | * [[Evi (software)|Evi]]{{nbsp}}(2007) |
| − | * [[ | + | * [[Wolfram Alpha]]{{nbsp}}(2009) |
| − | + | * [[Watson (computer)|Watson]]{{nbsp}}(2011) | |
| − | | group3 = | + | * [[Siri]]{{nbsp}}(2011) |
| + | * [[Google Knowledge Graph]]{{nbsp}}(2012) | ||
| + | * [[Wikidata]]{{nbsp}}(2012) | ||
| + | * [[Cortana]]{{nbsp}}(2014) | ||
| + | * [[Viv (software)|Viv]]{{nbsp}}(2016) | ||
| + | | group3 = In fiction | ||
| list3 = | | list3 = | ||
* [[The Engine]] (''[[Gulliver's Travels]]'', 1726) | * [[The Engine]] (''[[Gulliver's Travels]]'', 1726) | ||
| − | * Joe ("[[A Logic Named Joe]], | + | * Joe ("[[A Logic Named Joe]]", 1946) |
* The Librarian (''[[Snow Crash]]'', 1992) | * The Librarian (''[[Snow Crash]]'', 1992) | ||
| − | * Dr. Know (''[[A.I. Artificial Intelligence]]'', 2001) | + | * Dr. Know (''[[A.I. Artificial Intelligence|A.I. (film)]]'', 2001) |
* Waterhouse (''[[The Baroque Cycle]]'', 2003) | * Waterhouse (''[[The Baroque Cycle]]'', 2003) | ||
| + | ''See also: [[Artificial intelligence in fiction#Logic machines|Logic machines in fiction]] and [[List of fictional computers]]'' | ||
}}<noinclude> | }}<noinclude> | ||
| − | [[Category:Technology and applied science | + | [[Category:Technology and applied science navigational boxes]] |
| + | [[Category:Computer science navigational boxes]] | ||
</noinclude> | </noinclude> | ||