Verification of Generalized Inconsistency-Aware Knowledge and Action Bases
Authors: Diego Calvanese, Marco Montali, Ario Santoso
IJCAI 2015 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | This work provides a twofold contribution along this line of research. On the one hand, we enrich KABs with a high-level, compact action language inspired by Golog, obtaining so called Golog-KABs (GKABs). On the other hand, we introduce a parametric execution semantics for GKABs, so as to elegantly accomodate a plethora of inconsistency-aware semantics based on the notion of repair. We then provide several reductions for the verification of sophisticated first-order temporal properties over inconsistency-aware GKABs, and show that it can be addressed using known techniques, developed for standard KABs. Full proofs can be found in an extended technical report [Calvanese et al., 2015]. Theorem 5. Verification of µLEQL A properties over run-bounded I-GKABs is decidable, and reducible to standard µ-calculus finite-state model checking. |
| Researcher Affiliation | Academia | Diego Calvanese, Marco Montali, Ario Santoso KRDB Research Centre for Knowledge and Data Free University of Bozen-Bolzano lastname@inf.unibz.it |
| Pseudocode | No | The paper defines formalisms and rules, but does not present pseudocode or algorithm blocks. For instance, the Golog program definition is: δ ::= ε | pick Q( p).α( p) | δ1|δ2 | δ1; δ2 | if ϕ then δ1 else δ2 | while ϕ do δ |
| Open Source Code | No | The paper is theoretical and does not mention releasing open-source code for its described methodology. |
| Open Datasets | No | The paper is theoretical and does not discuss datasets for training or evaluation. |
| Dataset Splits | No | The paper is theoretical and does not discuss training, validation, or test splits. |
| Hardware Specification | No | The paper is theoretical and does not mention any hardware specifications used for experiments. |
| Software Dependencies | No | The paper is theoretical and focuses on formalisms; it does not list specific software dependencies with version numbers for implementation or execution. |
| Experiment Setup | No | The paper is theoretical and does not describe an experimental setup or specific hyperparameters. |