Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866908752665378816 |
|---|---|
| author | Molick, Sanderson Belle, Vaishak |
| author_facet | Molick, Sanderson Belle, Vaishak |
| contents | The paper introduces a basic logic of knowledge and abduction by extending Levesque logic of only-knowing with an abduction modal operator defined via the combination of basic epistemic concepts. The upshot is an alternative approach to abduction that employs a modal vocabulary and explores the relation between abductive reasoning and epistemic states of only knowing. Furthermore, by incorporating a preferential relation into modal frames, we provide a non-monotonic extension of our basic framework capable of expressing different selection methods for abductive explanations. Core metatheoretic properties of non-monotonic consequence relations are explored within this setting and shown to provide a well-behaved foundation for abductive reasoning. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_04272 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Propositional Abduction via Only-Knowing: A Non-Monotonic Approach Molick, Sanderson Belle, Vaishak Artificial Intelligence Logic in Computer Science The paper introduces a basic logic of knowledge and abduction by extending Levesque logic of only-knowing with an abduction modal operator defined via the combination of basic epistemic concepts. The upshot is an alternative approach to abduction that employs a modal vocabulary and explores the relation between abductive reasoning and epistemic states of only knowing. Furthermore, by incorporating a preferential relation into modal frames, we provide a non-monotonic extension of our basic framework capable of expressing different selection methods for abductive explanations. Core metatheoretic properties of non-monotonic consequence relations are explored within this setting and shown to provide a well-behaved foundation for abductive reasoning. |
| title | Propositional Abduction via Only-Knowing: A Non-Monotonic Approach |
| topic | Artificial Intelligence Logic in Computer Science |
| url | https://arxiv.org/abs/2601.04272 |