මුල් පිටුව
අහඹු
අවට
පිවිසෙන්න
සැකසුම්
පරිත්යාග
විකිපීඩියා පිළිබඳ
වියාචනයන්
සොයන්න
සැකිල්ල
:
Computable knowledge
භාෂාව
මුර කරන්න
සංස්කරණය
v
t
e
ගණනය කළ හැකි දැනුම
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