Projects per year
Abstract
In general, axioms 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 multiple repairs, the one that changes the item of least IV is preferred. However, quantifying IV is challenging. Given a benchmark, we
evaluate the IV from the perspective of how much an axiom/precondition supports the benchmark, which is quantitatively defined as the {\em vitality} of axioms and preconditions. The bigger contribution of an axiom/precondition in supporting the benchmark, the more information it conveys, so the bigger its vitality is. Our evaluation shows that the ABC repair system finds the best-repaired theories with smaller search space by only changing the least vital axioms/preconditions, as shown by our evaluation.
evaluate the IV from the perspective of how much an axiom/precondition supports the benchmark, which is quantitatively defined as the {\em vitality} of axioms and preconditions. The bigger contribution of an axiom/precondition in supporting the benchmark, the more information it conveys, so the bigger its vitality is. Our evaluation shows that the ABC repair system finds the best-repaired theories with smaller search space by only changing the least vital axioms/preconditions, as shown by our evaluation.
Original language | English |
---|---|
Title of host publication | Proceedings of the Tenth Annual Conference on Advances in Cognitive Systems |
Editors | Jamie C. Macbeth, Leilani Gilpin, Michael T. Cox |
Publisher | Computer Science: Faculty Publications |
Pages | 390-405 |
Number of pages | 16 |
Publication status | Published - 13 Jan 2023 |
Event | The Tenth Annual Conference on Advances in Cognitive Systems - Arlington, United States Duration: 19 Nov 2022 → 22 Nov 2022 Conference number: 10 http://www.cogsys.org/conference/2022/ |
Conference
Conference | The Tenth Annual Conference on Advances in Cognitive Systems |
---|---|
Abbreviated title | ACS 2022 |
Country/Territory | United States |
City | Arlington |
Period | 19/11/22 → 22/11/22 |
Internet address |
Keywords / Materials (for Non-textual outputs)
- Entrechment
- Theory repair
- Preferences
Fingerprint
Dive into the research topics of 'Benchmark based Vitality of Axioms and Preconditions for Datalog Theory Repair'. Together they form a unique fingerprint.-
TEAMER : Teaching Machines to Reason Like Humans
Lapata, M. (Principal Investigator)
UK central government bodies/local authorities, health and hospital authorities
1/10/21 → 30/09/26
Project: Research
-
UKRI Trustworthy Autonomous Systems Node in Governance and Regulation
Ramamoorthy, R. (Principal Investigator), Belle, V. (Co-investigator), Bundy, A. (Co-investigator), Jackson, P. (Co-investigator), Lascarides, A. (Co-investigator) & Rajan, A. (Co-investigator)
1/11/20 → 30/04/24
Project: Research