AGM Revision of Beliefs about Action and Time
Authors: Marc van Zee, Dragan Doder, Mehdi Dastani, Leendert van der Torre
IJCAI 2015 | Conference 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 marcvanzee@gmail.com Dragan Doder University of Luxembourg Luxembourg dragan.doder@uni.lu Mehdi Dastani Utrecht University The Netherlands M.M.Dastani@uu.nl Leendert van der Torre University of Luxembourg Luxembourg leendert@vandertorre.com |
| 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. |