The Logic of AGM Learning from Partial Observations
| Authors | |
|---|---|
| Publication date | 2020 |
| Host editors |
|
| Book title | Dynamic Logic : New Trends and Applications |
| Book subtitle | Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | 2nd International Workshop on Dynamic Logic, DALI 2019 |
| Pages (from-to) | 35-52 |
| Number of pages | 18 |
| Publisher | Cham: Springer |
| Organisations |
|
| Abstract |
We present a dynamic logic for inductive learning from partial observations by a “rational” learner, that obeys AGM postulates for belief revision. We apply our logic to an example, showing how various concrete properties can be learnt with certainty or inductively by such an AGM learner. We present a sound and complete axiomatization, based on a combination of relational and neighbourhood version of the canonical model method. |
| Document type | Conference contribution |
| Language | English |
| Published at | https://doi.org/10.1007/978-3-030-38808-9_3 |
| Other links | https://www.scopus.com/pages/publications/85079091740 |
| Downloads |
Baltag2020_Chapter_TheLogicOfAGMLearningFromParti
(Final published version)
|
| Permalink to this page | |
