Logic
is a fundamental and useful representation method in Artificial
Intelligence. In the area of Machine Learning, various types of
computational logic, such as logic programs, first-order logic,
description logic, higher-order logic, have been used for representing
knowledge obtained with various types of learning mechanisms including
identification in the limit, PAC learning, on-line learning, EXACT
learning, machine discovery, and learning based on Bayesian networks.
On the other hand, machine learning procedures are used in giving
semantics to logic and foundations of some procedures in mathematics.
The LLLL workshop is proposed to bring together researchers who are
interested in both of the areas of machine learning and computational
logic, and to have intensive discussions on various relations between
the two with making their interchange more active.
|