artificialintelligence and logicprogramming..."pedro domingos demystifies machine learning and...
TRANSCRIPT
Artificial Intelligence and Logic ProgrammingFabrizio Riguzzi
Università di Ferrara
LISP
Prolog
1985 2002
RDFRDFSTriples
ProbabilisticLP
ASP
Linked Data
2012
1953
Backpropagation
LSTM
RecurrentNN
ConvolutionalNN Deep Learning
1960 1972
DescriptionLogics
1992 1998
OWL
2006
Knowledge Graph
Perceptron
1982 1986 1997 20061998
2014
2014
Knowledge GraphEmbeddings
1999
Five Tribes of ML
´ Symbolists – inverse deduction
´ Connectionists – backpropagation
´ Evolutionaries - genetic programming
´ Bayesians - Bayesian inference
´ Analogizers - support vector machine
Master Algorithm
´ Probabilistic Logic as the representation
´ Evaluation function: ´ posterior probability for discrete features
´ margin-style score function for continuous properties
´ Optimizer: genetic search coupled with gradient descent
http://alchemy.cs.washington.edu/ http://cplint.ml.unife.it/
NIPS Workshop on Cognitive Computation2015
NIPS 2017
PLP 2017
AAAI 2011
NIPS 2013
AI*IA 2016
Challenges and Trends
´ It’s time for LPers to come out of the closet!