Signature Entrenchment and Conceptual Changes in Automated Theory Repair

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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: repair not only of the membership of logical concepts, such as what animals can fly, but also concepts themselves, such that birds may be divided into flightless and flying birds, by changing the signature of the logical theory used to represent them. We offer a method for automatically evaluating entrenchment in the signature of a Datalog theory, in order to constrain automated theory repair to succinct and intuitive outcomes. Formally, signature entrenchment measures the inferential contributions of every logical language element used to express conceptual knowledge, i.e., predicates and the arguments, ranking possible repairs to retain valuable logical concepts and reject redundant or implausible alternatives. This quantitative measurement of signature entrenchment offers a guide to the plausibility of conceptual changes, which we aim to contrast with human judgements of concept entrenchment in future work.
Original languageEnglish
Title of host publicationProceedings of the Ninth Annual Conference on Advances in Cognitive Systems
PublisherCognitive Systems Foundation
Number of pages17
Publication statusAccepted/In press - 6 Oct 2021
EventThe Ninth Annual Conference on Advances in Cognitive Systems - Virtual
Duration: 15 Nov 202118 Nov 2021
http://www.cogsys.org/conference/2021/

Conference

ConferenceThe Ninth Annual Conference on Advances in Cognitive Systems
Abbreviated titleACS 2021
Period15/11/2118/11/21
Internet address

Fingerprint

Dive into the research topics of 'Signature Entrenchment and Conceptual Changes in Automated Theory Repair'. Together they form a unique fingerprint.

Cite this