Notice: The reproducibility variables underlying each score are classified using an automated LLM-based pipeline, validated against a manually labeled dataset. LLM-based classification introduces uncertainty and potential bias; scores should be interpreted as estimates. Full accuracy metrics and methodology are described in [1].
Belief change and 3-valued logics: Characterization of 19,683 belief change operators
Authors: Nerio Borges, Ramón Pino Pérez
JAIR 2020 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this work we introduce a 3-valued logic with modalities, with the aim of having a clear and precise representation of epistemic states, thus the formulas of this logic will be our epistemic states. Indeed, these formulas are identified with ranking functions of 3 values, a generalization of total preorders of three levels. In this framework we analyze some types of changes of these epistemic structures and give syntactical characterizations of them in the introduced logic. Finally, in Appendix A we give all the proofs, namely a combinatorial proof of the necessity of our two modalities in order to be able to represent all ranking functions over the interpretations into three values (Theorem 2). |
| Researcher Affiliation | Academia | Nerio Borges EMAIL Escuela Politécnica Nacional, Departamento de Matemáticas Av. Ladrón de Guevara 253, Quito 170517, Ecuador Ramón Pino Pérez EMAIL Universidad de Los Andes, Departamento de Matemáticas Facultad de Ciencias, Mérida 5101, Venezuela. |
| Pseudocode | No | The paper describes logical definitions and mathematical characterizations of operators using truth tables and formal postulates. It does not contain structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any statements about the availability of source code or links to a code repository. |
| Open Datasets | No | The paper introduces a logical framework and characterizes belief change operators. It uses theoretical 'interpretations' and 'epistemic states' within a 3-valued logic, and does not refer to or utilize any empirical datasets. |
| Dataset Splits | No | No empirical datasets are used in this theoretical paper, therefore, no dataset split information is provided. |
| Hardware Specification | No | The paper is theoretical and focuses on logical characterizations; thus, no hardware specifications for experiments are mentioned. |
| Software Dependencies | No | The paper describes a logical system (Kleene's strong 3-valued logic with modalities) but does not mention any specific software dependencies or tools with version numbers for implementation or replication. |
| Experiment Setup | No | This paper is theoretical in nature, focusing on logical definitions and characterizations of operators. Therefore, it does not include details on experimental setup, hyperparameters, or training configurations. |