Conditional Inference under Disjunctive Rationality
Authors: Richard Booth, Ivan Varzinczak6227-6234
AAAI 2021 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper, we propose a solution to this question and explore some of its properties. Theorem 1 A defeasible consequence relation | is disjunctive if and only if there is I such that | = | I . Proposition 1 Given KB, (i) the disjunctive closure of KB coincides with its preferential closure | KB P C. (ii) There exists KB such that | KB P C does not satisfy DR. Theorem 2 There is no method satisfying all of Inclusion, D-Rationality, Equivalence, Vacuity, Cautious Monotonicity and Negated Representation Independence. |
| Researcher Affiliation | Academia | Richard Booth1 Ivan Varzinczak2,3,4 1 Cardiff University, United Kingdom 2 CRIL, Univ. Artois & CNRS, France 3 CAIR, Computer Science Division, Stellenbosch University, South Africa 4 ISTI-CNR, Italy |
| Pseudocode | No | The paper does not contain any pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not mention providing open-source code for the described methodology. |
| Open Datasets | No | The paper is theoretical and does not mention the use of datasets for training or evaluation. |
| Dataset Splits | No | The paper is theoretical and does not provide information about training, validation, or test dataset splits. |
| Hardware Specification | No | The paper is theoretical and does not specify any hardware used for experiments. |
| Software Dependencies | No | The paper is theoretical and does not specify any software dependencies with version numbers. |
| Experiment Setup | No | The paper is theoretical and does not describe an experimental setup. |