Xue Li

The University of Edinburgh | UoE · School of Informatics

Reasoning is the derivation of new knowledge from old. The reasoner must represent both the old and new knowledge. This representation will change as reasoning proceeds. This change will not just be the addition of the new knowledge. We claim that the representation of the old knowledge will also often change as a side effect of the reasoning proce...

Individuals engage in arguments on an everyday basis as they seek to obtain information about current affairs and engage with social media. While fact-checkers are available to help dispel misinformation, it is almost impossible for users to verify every single claim they encounter. This means that oftentimes, it is left to the user to decide wheth...

Root-cause analysis (RCA) is a crucial task in software system maintenance, where system logs play an essential role in capturing system behaviours and describing failures. Automatic RCA approaches are desired, which face the challenge that the knowledge model (KM) extracted from system logs can be faulty when logs are not correctly representing so...

Knowledge bases (KBs) are ideal vehicles for tackling many challenges, such as Query Answering, Root Cause Analysis. Given that the world is changing over time, previously acquired knowledge can become outdated. Thus, we need methods to update the knowledge when new information comes and repair any identified faults in the constructed KBs. However,...

Humans are smart in revising their knowledge and concepts based on observations when they find conflicts. This ability to repair representations is also important for AI agents so that they can represent their environment correctly. This paper gives an overview of the domain-independent ABC system for repairing faulty logical theories by combining...

In general, axioms of a logical theory are not equal in terms of their informational value (IV), and neither are the preconditions in a logical rule. Measuring IV is crucial, particularly in automated repair systems, e.g., the Abduction, Belief Revision and Conceptual Change (ABC) repair system \citep{li2022overview}, because when there are multipl...

The ArgMining 2022 Shared Task is concerned with predicting the validity and novelty of an inference for a given premise and conclusion pair. We propose two feed-forward network based models (KEViN 1 and KEViN 2), which combine features generated from several pre-trained transformers and the WikiData knowledge graph. The transformers are used to pr...

Knowledge bases (KBs) are ideal vehicles for tackling many challenges, like Root Cause Analysis, etc. Given that the world is changing over time, previously acquired knowledge could become outdated. Thus, we require methods to update the knowledge when new information comes and repair any identified faults in the constructed knowledge bases. Howeve...

Root-cause analysis (RCA) is a crucial task in software system maintenance, where system logs play an essential role in capturing system behaviours and describing failures. Automatic RCA approaches are desired, which face the challenge that the knowledge model (KM) extracted from system logs can be faulty when logs are not correctly representing so...

Human beliefs change, but so do the concepts that underpin them. The recent Abduction, Belief Revision and Conceptual Change (ABC) repair system combines several methods from automated theory repair to expand, contract, or reform logical structures representing conceptual knowledge in artificial agents. In this paper we focus on conceptual change:...

This thesis aims to develop a domain-independent system for repairing faulty Datalog-like theories by combining three existing techniques: abduction, belief revision, and conceptual change. Accordingly, the proposed system is named the ABC repair system (ABC). Given an observed assertion and a current theory, abduction adds axioms, which explain th...

We discuss work in progress on the computational modelling of virtual bargaining: inference-driven human coordination under severe communicative constraints. For this initial work we model variants of a two-player coordination game of item selection and avoidance taken from the current virtual bargaining literature. In this range of games, human pa...

The ABC system repairs faulty Datalog theories using a combination of abduction, belief revision and conceptual change via reformation. Abduction and Belief Revision add/delete axioms or delete/add preconditions to rules, respectively. Reformation repairs them by changing the language of the faulty theory. Unfortunately, the ABC system overproduces...