The Challenges of Effective AGM Belief Contraction
Despite the significant interest in extending the AGM paradigm of belief change beyond finitary logics, the computational aspects of AGM have remained almost untouched. We investigate the computability of AGM contraction on non-finitary logics, and show an intriguing negative result: there are infin...
Saved in:
| Main Authors | , |
|---|---|
| Format | Journal Article |
| Language | English |
| Published |
13.09.2024
|
| Subjects | |
| Online Access | Get full text |
Cover
Loading…
| Abstract | Despite the significant interest in extending the AGM paradigm of belief
change beyond finitary logics, the computational aspects of AGM have remained
almost untouched. We investigate the computability of AGM contraction on
non-finitary logics, and show an intriguing negative result: there are
infinitely many uncomputable AGM contraction functions in such logics.
Drastically, even if we restrict the theories used to represent epistemic
states, in all non-trivial cases, the uncomputability remains. On the positive
side, we identify an infinite class of computable AGM contraction functions on
Linear Temporal Logic (LTL). We use B\"uchi automata to construct such
functions as well as to represent and reason about LTL knowledge. |
|---|---|
| AbstractList | Despite the significant interest in extending the AGM paradigm of belief
change beyond finitary logics, the computational aspects of AGM have remained
almost untouched. We investigate the computability of AGM contraction on
non-finitary logics, and show an intriguing negative result: there are
infinitely many uncomputable AGM contraction functions in such logics.
Drastically, even if we restrict the theories used to represent epistemic
states, in all non-trivial cases, the uncomputability remains. On the positive
side, we identify an infinite class of computable AGM contraction functions on
Linear Temporal Logic (LTL). We use B\"uchi automata to construct such
functions as well as to represent and reason about LTL knowledge. |
| Author | Klumpp, Dominik Ribeiro, Jandson S |
| Author_xml | – sequence: 1 givenname: Dominik surname: Klumpp fullname: Klumpp, Dominik – sequence: 2 givenname: Jandson S surname: Ribeiro fullname: Ribeiro, Jandson S |
| BackLink | https://doi.org/10.48550/arXiv.2409.09171$$DView paper in arXiv |
| BookMark | eNrjYmDJy89LZWCQNDTQM7EwNTXQTyyqyCzTMzIxsNQzsDQ0N-RkMArJSFVwzkjMyUnNS08tVshPU3BNS0tNLsksS1VwdPdVcErNyUxNU3DOzyspSgQK5-fxMLCmJeYUp_JCaW4GeTfXEGcPXbDp8QVFmbmJRZXxIFviwbYYE1YBAHXtMmQ |
| ContentType | Journal Article |
| Copyright | http://arxiv.org/licenses/nonexclusive-distrib/1.0 |
| Copyright_xml | – notice: http://arxiv.org/licenses/nonexclusive-distrib/1.0 |
| DBID | AKY GOX |
| DOI | 10.48550/arxiv.2409.09171 |
| DatabaseName | arXiv Computer Science arXiv.org |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: GOX name: arXiv.org url: http://arxiv.org/find sourceTypes: Open Access Repository |
| DeliveryMethod | fulltext_linktorsrc |
| ExternalDocumentID | 2409_09171 |
| GroupedDBID | AKY GOX |
| ID | FETCH-arxiv_primary_2409_091713 |
| IEDL.DBID | GOX |
| IngestDate | Wed Sep 18 12:14:58 EDT 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-arxiv_primary_2409_091713 |
| OpenAccessLink | https://arxiv.org/abs/2409.09171 |
| ParticipantIDs | arxiv_primary_2409_09171 |
| PublicationCentury | 2000 |
| PublicationDate | 2024-09-13 |
| PublicationDateYYYYMMDD | 2024-09-13 |
| PublicationDate_xml | – month: 09 year: 2024 text: 2024-09-13 day: 13 |
| PublicationDecade | 2020 |
| PublicationYear | 2024 |
| Score | 3.8776505 |
| SecondaryResourceType | preprint |
| Snippet | Despite the significant interest in extending the AGM paradigm of belief
change beyond finitary logics, the computational aspects of AGM have remained
almost... |
| SourceID | arxiv |
| SourceType | Open Access Repository |
| SubjectTerms | Computer Science - Artificial Intelligence Computer Science - Logic in Computer Science |
| Title | The Challenges of Effective AGM Belief Contraction |
| URI | https://arxiv.org/abs/2409.09171 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwY2BQMUtNNTYzSwRNupsk65oYJZvqJpkZpeimGiYbGaQlmSVbpIDGIX39zDxCTbwiTCOYGBRge2ESiyoyyyDnAycV6wOrG0s9YI0G2iTObGQEWrLl7h8BmZwEH8UFVY9QB2xjgoWQKgk3QQZ-aOtOwRESHUIMTKl5IgxGwKhQcIZdWlKskJ-mADkzGFjQKDi6-yo4pQIbgmkKoIOiiiD7DEQZ5N1cQ5w9dMG2xBdAjoSIBzkgHuwAYzEGFmDHPVWCQSHFEtzaMTBLSgFtwjC1SDNPTLEwMU4yN0sxTEo0k2SQwGWKFG4paQYuI2DFClqzYGgsw8BSUlSaKgusGEuS5MChAwA0nmYU |
| link.rule.ids | 228,230,786,891 |
| linkProvider | Cornell University |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=The+Challenges+of+Effective+AGM+Belief+Contraction&rft.au=Klumpp%2C+Dominik&rft.au=Ribeiro%2C+Jandson+S&rft.date=2024-09-13&rft_id=info:doi/10.48550%2Farxiv.2409.09171&rft.externalDocID=2409_09171 |