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 SLD-resolution 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 Human-Like Computing Workshop 2022 |
Editors | Alan Bundy, Denis Mareschal |
Publisher | CEUR Workshop Proceedings (CEUR-WS.org) |
Pages | 18-23 |
Number of pages | 6 |
Volume | 3227 |
Publication status | Published - 2 Oct 2022 |
Event | The 3rd International Workshop on Human-Like 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 | Human-Like Computing Workshop 2022 |
---|---|
Publisher | CEUR Workshop Proceedings |
Volume | 3227 |
ISSN (Electronic) | 1613-0073 |
Workshop
Workshop | The 3rd International Workshop on Human-Like 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 Human-Like Computing 2022 (Event)
Alan Bundy (Editor) & Denis Mareschal (Editor)
28 Sep 2022 → 30 Sep 2022Activity: Publication peer-review and editorial work types › Editorial activity