Академический Документы
Профессиональный Документы
Культура Документы
Computational Journalism
Columbia Journalism School
Week 9: Knowledge Representation
November 9, 2015
This class
Structured Journalism
Ontologies and Linked Data
Relations from Text
Knowledge in Classical AI
Structured Journalism
Unstructured data
Structured data
Article Metadata
headline
photo
photo credit
photo caption
byline
publication date
dateline
article body
related articles
rdf:type
Knowledge Representation
in Classic AI
KR in GOFAI
Classic "symbolic" paradigm represents knowledge as
statements in mathematical logic.
Many variations. Most are subsets or modifications of
standard first order logic (FOL).
Mathematical representation of human knowledge is a
very old dream! (Greeks, Leibniz, Esperanto)
Leibniz, 1685
The only way to rectify our reasonings is to make them
as tangible as those of the Mathematicians, so that
we can find our error at a glance, and when there are
disputes among persons, we can simply say: Let us
calculate, without further ado, to see who is right.
Inference
General rules
a (a => b) => b
p !p
attended(alice, wedding)
IBM was founded in 1917.
founded(IBM, 1917)
Hurricane Sandy hit New York
hit(hurricane_sandy, New_York)
Inference
(bob brother-of alice)
(alice mother-of lucy) =>
(bob uncle-of lucy)
Problems
Not all subjects are simple.
Over a hundred guests attended the wedding
attended(num_guests, wedding)
greater_than(num_guests,100)
Ontology explosions
(water made rivers of Avenues C and D)
(East Village was a mixture of disaster and nonchalance)
(group of young men in pajama pants and shorts threw
football)
(workers pumped the basement of CHP Hardware )