A Comparative Study of Ranking Formulas Based on Consistency
Authors: Badran Raddaoui, Christian Straßer, Said Jabbour
IJCAI 2023 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | By means of the postulate-based and comparative study, this paper provides a first systematic study of different approaches to ranking formulas based on consistency considerations. In this paper, a framework for ranking semantics in propositional logic was presented, where formulas are ranked based on consistency by using solely the inherent structure of the knowledge base. |
| Researcher Affiliation | Academia | 1SAMOVAR, T el ecom Sud Paris, Institut Polytechnique de Paris, France 2Institute for Philosophy II, Ruhr University Bochum, Germany 3CRIL CNRS, Universit e d Artois, France |
| Pseudocode | No | The paper defines concepts and semantics mathematically but does not include any structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not contain any statement or link indicating that source code for the described methodology is publicly available. |
| Open Datasets | No | The paper uses illustrative examples (e.g., Example 1, K1) to demonstrate concepts but does not utilize or refer to any publicly available datasets for training or evaluation. |
| Dataset Splits | No | The paper is theoretical and does not involve empirical experiments with datasets that require validation splits. No dataset split information is provided. |
| Hardware Specification | No | The paper describes a theoretical framework and does not report on empirical experiments, thus no hardware specifications are mentioned. |
| Software Dependencies | No | The paper outlines a theoretical framework and does not report on empirical experiments, therefore no specific software dependencies with version numbers are mentioned. |
| Experiment Setup | No | The paper presents a theoretical framework and does not conduct empirical experiments, hence there are no details provided regarding experimental setup or hyperparameters. |