Difference between revisions of "Template:Computable knowledge"
Jump to navigation
Jump to search
imported>Waldyrious m (Reverted edits by 37.5.141.14 (talk) to last version by Waldir) |
imported>Funandtrvl (refine category) |
||
| (16 intermediate revisions by 11 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 27: | Line 29: | ||
* [[Semantic reasoner]] | * [[Semantic reasoner]] | ||
| − | | group2 = Proposals and | + | | group2 = Proposals and<br />implementations |
| list2 = | | list2 = | ||
* [[Zairja]] | * [[Zairja]] | ||
| − | * ''[[Ramon Llull#Ars Magna|Ars Magna]]'' (1300) | + | * ''[[Ramon Llull#Ars Magna|Ars Magna]]''{{nbsp}}(1300) |
| − | * ''[[An Essay towards a Real Character and a Philosophical Language]]'' (1688) | + | * ''[[An Essay towards a Real Character, and a Philosophical Language]]''{{nbsp}}(1688) |
| − | * [[Calculus ratiocinator]] | + | * ''[[Calculus ratiocinator]]'' and ''[[characteristica universalis]]''{{nbsp}}(1700) |
| − | * [[Dewey Decimal Classification]] (1876) | + | * [[Dewey Decimal Classification]]{{nbsp}}(1876) |
| − | * [[Begriffsschrift]] (1879) | + | * [[Begriffsschrift]]{{nbsp}}(1879) |
| − | * [[Mundaneum]] (1910) | + | * [[Mundaneum]]{{nbsp}}(1910) |
| − | * [[Logical atomism]] (1918) | + | * [[Logical atomism]]{{nbsp}}(1918) |
| − | * ''[[Tractatus Logico-Philosophicus]]'' (1921) | + | * ''[[Tractatus Logico-Philosophicus]]''{{nbsp}}(1921) |
| − | * [[Hilbert's program]] (1920s) | + | * [[Hilbert's program]]{{nbsp}}(1920s) |
| − | * [[Gödel's incompleteness theorems|Incompleteness theorem]] (1931) | + | * [[Gödel's incompleteness theorems|Incompleteness theorem]]{{nbsp}}(1931) |
| − | * ''[[World Brain]]'' (1938) | + | * ''[[World Brain]]''{{nbsp}}(1938) |
| − | * [[Memex]] (1945) | + | * [[Memex]]{{nbsp}}(1945) |
| − | * [[General Problem Solver]] (1959) | + | * [[General Problem Solver]]{{nbsp}}(1959) |
| − | * [[Prolog]] (1972) | + | * [[Prolog]]{{nbsp}}(1972) |
| − | * [[Cyc]] (1984) | + | * [[Cyc]]{{nbsp}}(1984) |
| − | * [[Semantic Web]] (2001) | + | * [[Semantic Web]]{{nbsp}}(2001) |
| − | * [[Evi (software)|Evi]] (2007) | + | * [[Evi (software)|Evi]]{{nbsp}}(2007) |
| − | * [[Wolfram Alpha]] (2009) | + | * [[Wolfram Alpha]]{{nbsp}}(2009) |
| − | * [[Watson (computer)|Watson]] (2011) | + | * [[Watson (computer)|Watson]]{{nbsp}}(2011) |
| − | * [[Siri]] (2011) | + | * [[Siri]]{{nbsp}}(2011) |
| − | * [[Knowledge Graph]] (2012) | + | * [[Google Knowledge Graph]]{{nbsp}}(2012) |
| − | * [[ | + | * [[Wikidata]]{{nbsp}}(2012) |
| − | * [[Viv (software)|Viv]] (2016) | + | * [[Cortana]]{{nbsp}}(2014) |
| + | * [[Viv (software)|Viv]]{{nbsp}}(2016) | ||
| group3 = In fiction | | group3 = In fiction | ||
| list3 = | | list3 = | ||
* [[The Engine]] (''[[Gulliver's Travels]]'', 1726) | * [[The Engine]] (''[[Gulliver's Travels]]'', 1726) | ||
| − | * 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]]'' | ''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> | ||