Logic and Learning: an Algebra and Finite-Model-Theory Approach

Projektinformationen

LLAMA

ID Finanzhilfevereinbarung: 101031081

DOI

10.3030/101031081

Projekt abgeschlossen

EK-Unterschriftsdatum 26 März 2021

Startdatum 1 Oktober 2021

Enddatum 15 Januar 2025

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 175 572,48

EU-Beitrag

€ 175 572,48

Koordiniert durch

UNIVERSITEIT VAN AMSTERDAM
Netherlands

Periodic Reporting for period 1 - LLAMA (Logic and Learning: an Algebra and Finite-Model-Theory Approach)

Berichtszeitraum: 2021-10-01 bis 2023-09-30

Zusammenfassung vom Kontext und den Gesamtzielen des Projekts

Computational learning theory is a branch of computer science that
studies the mathematical and algorithmic underpinnings of machine
learning. It provides the concepts and methods to classify the
computational feasibility of different learning problems. This
project lies at the intersection of computational learning theory
and logic It was concerned with techniques for learning concept
specified specified in logical languages such as first-order logic,
in the presence of background knowledge that is similarly specified
in logical languages such as first-order logic. The project builds
on connections between learning theory, universal algebra and
combinatorial graph theory in order to develop new learning algorithms
with applications in data management and knowledge representation.
Some of the main intended applications lie in the development of
new methodologies and systems for the interactive example-driven
specification and debugging of database queries and of description
logic concepts for knowledge representation.

Arbeit, die ab Beginn des Projekts bis zum Ende des durch den Bericht erfassten Berichtszeitraums geleistet wurde, und die wichtigsten bis dahin erzielten Ergebnisse

The project has led to
- 10 publications at international conferences (IJCAI, PODS, ICDT, CSL, FOSSACS, ICDT, POPL, AIML)
- 5 journal publications (ACM Transactions on Database Systems, SIGMOD Record, Information Processsing Letters, ACM Transactions on Computational Logic, Logical Methods in Computer Science)
- 5 supervised MSc theses
- 4 keynote lectures at international conferences and workshops
- 2 one-week-long summer school courses
- 5 national or international workshops

The outcomes of the project include several novel learning algorithms,
as well as example-generation algorithms, for fragments of first-order
logic, including modal fragments, description logics, and classes
of database queries. In addition, limiting results are obtained
mapping out what classes of logical concepts are, or are not,
efficiently learnable from examples.

Furthermore, as part of the project, these technical results were applied
to develop a methodology for the interactive example-driven specification
of databae queries, and an implemented system for deriving description
logic concepts from data examples, for use in knowledge representation.

Fortschritte, die über den aktuellen Stand der Technik hinausgehen und voraussichtliche potenzielle Auswirkungen (einschließlich der bis dato erzielten sozioökonomischen Auswirkungen und weiter gefassten gesellschaftlichen Auswirkungen des Projekts)

The project results are expected to enable (i) new educational tools for use in teaching
information- and knowledge-management courses as well as foundational courses on
logic, and (ii) new example-driven tools to assist users in specifying, refining, and
debugging database queries, thereby enabling a wider class of users to perform correct
data analyses over structured data sources.

pic.jpg