liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. Mahasarakham Univ, Thailand.
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. Univ Warsaw, Poland.ORCID iD: 0000-0002-6000-6581
2024 (English)In: Artificial Intelligence, ISSN 0004-3702, E-ISSN 1872-7921, Vol. 326, article id 104036Article in journal (Refereed) Published
Abstract [en]

Forgetting is an important concept in knowledge representation and automated reasoning with widespread applications across a number of disciplines. A standard forgetting operator, characterized in [26] in terms of model-theoretic semantics and primarily focusing on the propositional case, opened up a new research subarea. In this paper, a new operator called weak forgetting, dual to standard forgetting, is introduced and both together are shown to offer a new more uniform perspective on forgetting operators in general. Both the weak and standard forgetting operators are characterized in terms of entailment and inference, rather than a model theoretic semantics. This naturally leads to a useful algorithmic perspective based on quantifier elimination and the use of Ackermanns Lemma and its fixpoint generalization. The strong formal relationship between standard forgetting and strongest necessary conditions and weak forgetting and weakest sufficient conditions is also characterized quite naturally through the entailment based, inferential perspective used. The framework used to characterize the dual forgetting operators is also generalized to the first-order case and includes useful algorithms for computing first-order forgetting operators in special cases. Practical examples are also included to show the importance of both weak and standard forgetting in modeling and representation.

Place, publisher, year, edition, pages
ELSEVIER , 2024. Vol. 326, article id 104036
Keywords [en]
Knowledge representation and reasoning; Forgetting; Weakest sufficient conditions; Strongest necessary conditions; Quantifier elimination
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-199419DOI: 10.1016/j.artint.2023.104036ISI: 001102667200001OAI: oai:DiVA.org:liu-199419DiVA, id: diva2:1816604
Note

Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden; Mahasarakham Development Fund, Mahasarakham University, Thailand; National Science Centre Poland [2017/27/B/ST6/02018]

Available from: 2023-12-04 Created: 2023-12-04 Last updated: 2024-09-12

Open Access in DiVA

fulltext(886 kB)39 downloads
File information
File name FULLTEXT01.pdfFile size 886 kBChecksum SHA-512
c51f837205762394d0c1ff0af641b27c9739ff2e0c7df4738b55fe18c59e239c5719c4d30ee1ccbb10d529e5a6aeca95c598e61fb409ff4f9a2f6aa2c7ec7666
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Doherty, PatrickSzalas, Andrzej
By organisation
Artificial Intelligence and Integrated Computer SystemsFaculty of Science & Engineering
In the same journal
Artificial Intelligence
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 39 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 107 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf