Below is a snapshot of the Web page as it appeared on 5/30/2024 (the last time our crawler visited it). This is the version of the page that was used for ranking your search results. The page may have changed since we last cached it. To see what might have changed (without the highlights), go to the current page.
Bing is not responsible for the content of this page.
ABDUCTION | English meaning - Cambridge Dictionary
Unlike most of these previous works on abduction in the logic programming framework, in this paper we study abduction with penalization from logic programs.
However, existing approaches characterize the view update problem using normal abduction, which result in somewhat indirect formulations for representing fact removal or view deletion.
In this paper we use extended abduction and formalize different types of update problems such as view updates, theory updates, and consistency restoration.
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.