AGM Revision of Beliefs about Action and Time
Authors: Marc van Zee, Dragan Doder, Mehdi Dastani, Leendert van der Torre
IJCAI 2015 | Venue PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | The aim of this paper is to develop a logic about action and time, such that this logic can be used within a more general framework of belief revision. We first develop the logic Parameterized-time Action Logic (PAL). The main result of the paper is that we prove the Katsuno-Mendelzon (KM) representation theorem and the Darwiche-Pearl (DP) representation theorem in PAL. To this end, we define a revision operator that revises formulas up to a specific time point. We show that this leads to models of system behaviors which can be finitely generated, i.e. be characterized by a single formula. We illustrate our approach by examples and show how it can be applied to various models of time, possibility and action. |
| Researcher Affiliation | Academia | Marc van Zee University of Luxembourg Luxembourg EMAIL Dragan Doder University of Luxembourg Luxembourg EMAIL Mehdi Dastani Utrecht University The Netherlands EMAIL Leendert van der Torre University of Luxembourg Luxembourg EMAIL |
| Pseudocode | No | The paper defines a logical system and proves theorems, but it does not include structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not include an unambiguous statement about releasing source code or provide links to a code repository for the described methodology. |
| Open Datasets | No | The paper is theoretical and develops a logical framework; it does not describe the use of a dataset for training or provide access information for one. |
| Dataset Splits | No | The paper is theoretical and focuses on logic and proofs; it does not involve dataset splits for validation. |
| Hardware Specification | No | The paper is theoretical and develops a logical framework; it does not describe the use of specific hardware for running experiments. |
| Software Dependencies | No | The paper describes a theoretical logic and does not list specific software dependencies with version numbers for implementation or experimentation. |
| Experiment Setup | No | The paper focuses on theoretical development and provides illustrative examples, but it does not describe a specific experimental setup with hyperparameters or training configurations. |