Logics of Common Ground
Authors: Tim Miller, Jens Pfau, Liz Sonenberg, Yoshihisa Kashima
JAIR 2017 | Venue PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper, building on previously-defined modal logics of belief, we present logic definitions for four different types of common ground. We define modal logics for three existing notions of common ground and introduce a new notion of common ground, called salient common ground. We define syntax, semantics, and proof systems for all four logics, and prove the soundness and completeness of these. We explore some of the properties of the different types of common ground, and show that, because the logic for common belief is foundational to the other logics, all four share similar properties. |
| Researcher Affiliation | Collaboration | Tim Miller EMAIL Department of Computing and Information Systems The University of Melbourne Jens Pfau EMAIL CGI Space Darmstadt, Germany Liz Sonenberg EMAIL Department of Computing and Information Systems The University of Melbourne Yoshihisa Kashima EMAIL Melbourne School of Psychological Sciences The University of Melbourne |
| Pseudocode | No | The paper defines formal logics using Backus Naur Form for syntax, Kripke semantics, and axiomatic proof systems, including axioms and inference rules. It does not present any sections explicitly labeled as "Pseudocode" or "Algorithm" with structured steps. |
| Open Source Code | No | The paper focuses on theoretical definitions and proofs of modal logics. There is no mention of implementing these logics in software, releasing code, or providing links to any code repositories. |
| Open Datasets | No | The paper is theoretical, defining formal logics and proving their properties. It does not involve experimental evaluation using datasets, nor does it mention any publicly available or open datasets. |
| Dataset Splits | No | The paper is a theoretical work on formal logics and does not involve experiments with datasets. Therefore, there are no mentions of dataset splits (e.g., training, test, validation sets). |
| Hardware Specification | No | The paper describes theoretical work on formal logics, including their syntax, semantics, and proof systems. It does not mention any computational experiments or specific hardware used for any part of the research. |
| Software Dependencies | No | The paper is a theoretical work on modal logics. It discusses logical frameworks and philosophical concepts but does not mention any specific software, libraries, or tools with version numbers that would be used for implementation or experimentation. |
| Experiment Setup | No | The paper is theoretical, presenting definitions and proofs for modal logics of common ground. It does not describe any practical experiments, computational models, or an experimental setup with hyperparameters or training configurations. |