Search Results for author: Mark Law

Found 15 papers, 4 papers with code

The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning

no code implementations2 Feb 2024 Daniel Cunnington, Mark Law, Jorge Lobo, Alessandra Russo

In this paper, we leverage the implicit knowledge within foundation models to enhance the performance in NeSy tasks, whilst reducing the amount of data labelling and manual engineering.

Language Modelling Large Language Model

A Unifying Framework for Learning Argumentation Semantics

no code implementations18 Oct 2023 Zlatina Mileva, Antonis Bikakis, Fabio Aurelio D'Asaro, Mark Law, Alessandra Russo

In this paper we present a novel framework, which uses an Inductive Logic Programming approach to learn the acceptability semantics for several abstract and structured argumentation frameworks in an interpretable way.

Inductive logic programming

Hierarchies of Reward Machines

1 code implementation31 May 2022 Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo

Reward machines (RMs) are a recent formalism for representing the reward function of a reinforcement learning task through a finite-state machine whose edges encode subgoals of the task using high-level events.

Neuro-Symbolic Learning of Answer Set Programs from Raw Data

1 code implementation25 May 2022 Daniel Cunnington, Mark Law, Jorge Lobo, Alessandra Russo

A promising direction for achieving this goal is Neuro-Symbolic AI, which aims to combine the interpretability of symbolic techniques with the ability of deep learning to learn from raw data.

Decision Making

FF-NSL: Feed-Forward Neural-Symbolic Learner

1 code implementation24 Jun 2021 Daniel Cunnington, Mark Law, Alessandra Russo, Jorge Lobo

To address this limitation, we propose a neural-symbolic learning framework, called Feed-Forward Neural-Symbolic Learner (FFNSL), that integrates a logic-based machine learning system capable of learning from noisy examples, with neural networks, in order to learn interpretable knowledge from labelled unstructured data.

Inductive logic programming

Conflict-driven Inductive Logic Programming

no code implementations31 Dec 2020 Mark Law

The fundamental idea of the approach, called Conflict-driven ILP (CDILP), is to iteratively interleave the search for a hypothesis with the generation of constraints which explain why the current hypothesis does not cover a particular example.

Common Sense Reasoning Inductive logic programming

NSL: Hybrid Interpretable Learning From Noisy Raw Data

no code implementations9 Dec 2020 Daniel Cunnington, Alessandra Russo, Mark Law, Jorge Lobo, Lance Kaplan

Using the scoring function of FastLAS, NSL searches for short, interpretable rules that generalise over such noisy examples.

Inductive logic programming

The ILASP system for Inductive Learning of Answer Set Programs

no code implementations2 May 2020 Mark Law, Alessandra Russo, Krysia Broda

The goal of Inductive Logic Programming (ILP) is to learn a program that explains a set of examples in the context of some pre-existing background knowledge.

Common Sense Reasoning Inductive logic programming

Inductive general game playing

2 code implementations23 Jun 2019 Andrew Cropper, Richard Evans, Mark Law

This problem is central to inductive general game playing (IGGP).

Inductive logic programming

Iterative Learning of Answer Set Programs from Context Dependent Examples

no code implementations5 Aug 2016 Mark Law, Alessandra Russo, Krysia Broda

In ILP, examples must all be explained by a hypothesis together with a given background knowledge.

Inductive logic programming

Learning Weak Constraints in Answer Set Programming

no code implementations23 Jul 2015 Mark Law, Alessandra Russo, Krysia Broda

This paper contributes to the area of inductive logic programming by presenting a new learning framework that allows the learning of weak constraints in Answer Set Programming (ASP).

Inductive logic programming Scheduling

Cannot find the paper you are looking for? You can Submit a new open access paper.