Knowing Whether’ in Proper Epistemic Knowledge Bases
Authors: Tim Miller, Paolo Felli, Christian Muise, Adrian Pearce, Liz Sonenberg
AAAI 2016 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper, we extend PEKBs to deal with a restricted form of disjunction: knowing whether . An agent i knows whether ϕ iff agent i knows ϕ or knows ϕ; that is, iϕ i ϕ. ...we present sound polynomial-time entailment algorithms on PEKBs with Δi in Kn and KDn, but which are complete for a smaller class of queries than standard PEKBs. |
| Researcher Affiliation | Academia | Tim Miller, Paolo Felli, Christian Muise, Adrian R. Pearce, Liz Sonenberg Department of Computing and Information Systems, University of Melbourne {tmiller,paolo.felli,christian.muise,adrianrp,l.sonenberg}@unimelb.edu.au |
| Pseudocode | No | The paper contains logical definitions, theorems, and proofs but no pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any information or links to open-source code for the described methodology. |
| Open Datasets | No | This is a theoretical paper presenting logical extensions and algorithms, not empirical research involving datasets. Thus, there is no mention of training data. |
| Dataset Splits | No | This is a theoretical paper presenting logical extensions and algorithms, not empirical research involving datasets. Thus, there is no mention of validation data. |
| Hardware Specification | No | The paper is theoretical and does not describe experiments, so no hardware specifications are mentioned. |
| Software Dependencies | No | The paper is theoretical and does not describe experiments or software implementations with specific version numbers. |
| Experiment Setup | No | The paper is theoretical and does not describe experimental setups, hyperparameters, or training configurations. |