Computable knowledge

Submitted by aua on
vf_node_title_variants
field_in_importance
3
field_t_processed
v1908
vf_node_webs
body
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
fr_importance
No votes yet