Activities per year
Abstract
The ABC system supports analogical abduction algorithms for knowledge transfer, e.g., existing logical rules are adapted, by reformation, into new rules by substituting symbols for similar ones. Although such knowledge transfer method can easily expand knowledge sets, it is likely to produce inconsistent knowledge, e.g., equations that do not fit target data in the real world. To solve this problem, we extend the classic reformation algorithm to repair numerical equations that violate target data. Equation reformation is achieved by weakening equation parameters when unblocking failed SLDresolution proofs. The feasibility of numerical equation reformation is demonstrated by the automated repair of a faulty electrostatic force equation that is analogically transferred from the gravity equation
Original language  English 

Title of host publication  Proceedings of the HumanLike Computing Workshop 2022 
Editors  Alan Bundy, Denis Mareschal 
Publisher  CEUR Workshop Proceedings (CEURWS.org) 
Pages  1823 
Number of pages  6 
Volume  3227 
Publication status  Published  2 Oct 2022 
Event  The 3rd International Workshop on HumanLike Computing 2022  Windsor, United Kingdom Duration: 28 Sep 2022 → 30 Sep 2022 Conference number: 3 https://ijclr22.doc.ic.ac.uk/hlc2022.html/index.html 
Publication series
Name  HumanLike Computing Workshop 2022 

Publisher  CEUR Workshop Proceedings 
Volume  3227 
ISSN (Electronic)  16130073 
Workshop
Workshop  The 3rd International Workshop on HumanLike Computing 2022 

Abbreviated title  HLC 2022 
Country/Territory  United Kingdom 
City  Windsor 
Period  28/09/22 → 30/09/22 
Internet address 
Keywords
 Reformation
 Theory repair
 Analogical reasoning
 Knowledge transfer
Fingerprint
Dive into the research topics of 'Repairing Numerical Equations in Analogically Blended Theories Using Reformation'. Together they form a unique fingerprint.Activities
 1 Editorial activity

The 3rd International Workshop on HumanLike Computing 2022 (Event)
Alan Bundy (Editor) & Denis Mareschal (Editor)
28 Sep 2022 → 30 Sep 2022Activity: Publication peerreview and editorial work types › Editorial activity