Template:Computable knowledge
From Infogalactic: the planetary knowledge core
Jump to:
navigation
,
search
v
t
e
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
Question answering
Semantic reasoner
Proposals and
implementations
Zairja
Ars Magna
(1300)
An Essay towards a Real Character and a Philosophical Language
(1688)
Calculus ratiocinator
&
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)
Memex
(1945)
General Problem Solver
(1959)
Prolog
(1972)
Cyc
(1984)
Evi
(2007)
Wolfram Alpha
(2009)
Watson
(2011)
Siri
(2011)
Knowledge Graph
(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
Category
:
Technology and applied science templates
Navigation menu
Personal tools
Log in
Request account
Namespaces
Template
Discussion
Variants
Views
Read
View source
View history
More
Search
Navigation
Main page
Recent changes
Random page
Help
Infogalactic News
Buy an account
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information