POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Mon 15 Jan 2024 11:00 - 11:30 at Lovelace Room - Knowledge Representation and Learning Chair(s): Jessica Zangari

State of the art frameworks for ad hoc teamwork i.e., for enabling an agent to collaborate with others “on the fly”, pursue a data-driven approach, using a large labeled dataset of prior observations to model the behavior of other agents and to determine the ad hoc agent’s behavior. It is often difficult to pursue such an approach in complex domains due to the lack of sufficient training examples and computational resources. In addition, the learned models lack transparency and it is difficult to revise the existing knowledge in response to previously unseen changes. Our prior architecture enabled an ad hoc agent to perform non-monotonic logical reasoning with commonsense domain knowledge and predictive models of other agents’ behavior that are learned from limited examples. In this paper, we enable the ad hoc agent to acquire previously unknown domain knowledge governing actions and change, and to provide relational descriptions as on-demand explanations of its decisions in response to different types of questions. We evaluate the architecture’s knowledge acquisition and explanation generation abilities in two simulated benchmark domains: Fort Attack and Half Field Offense.

Mon 15 Jan

Displayed time zone: London change

11:00 - 12:30
Knowledge Representation and LearningPADL at Lovelace Room
Chair(s): Jessica Zangari Università della Calabria
11:00
30m
Talk
Explanation and Knowledge Acquisition in Ad Hoc Teamwork
PADL
Hasra Dodampegama University of Birmingham, Mohan Sridharan University of Birmingham
11:30
30m
Talk
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures
PADL
Teodoro Baldazzi Università degli Studi Roma Tre, Luigi Bellomarini Banca d'Italia, Marco Favorito Banca d'Italia, Emanuel Sallinger TU Wien & University of Oxford
12:00
30m
Talk
FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explainability
PADL
Huaduo Wang THE UNIVERSITY OF TEXAS AT DALLAS, Gopal Gupta University of Texas at Dallas