Heyninck, Jesse, Booth, Richard  ORCID: https://orcid.org/0000-0002-6647-6381, Meyer, Thomas and Spiegel, Lars-Phillip
2025.
An analysis of the role of syntax in inductive inference.
Presented at: 22nd International Conference on Principles of Knowledge Representation and Reasoning,
Melbourne, Australia,
11-17 November 2025.
Published in: Ortiz, Magdalena, Wassermann, Renata and Schaub, Torsten eds.
Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning.
Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning.
International Joint Conferences on Artificial Intelligence Organization,
pp. 396-406.
10.24963/kr.2025/39
|
Preview |
PDF
- Published Version
Download (233kB) | Preview |
Abstract
Inductive inference is a well-studied form of nonmonotonic reasoning in which various inference is based on conditional belief bases rather than belief bases consisting of classical logic statements. Given its nonmonotonic nature, many important logical properties that are taken for granted in the classical case do not necessarily carry over to inference involving conditionals. In this paper we consider two such properties---equivalence and language-independence. More specifically, we provide different notions of equivalence in the conditional case, and show which of these are satisfied by which forms of conditional inference. Similarly, we consider different versions of language independence, and test various forms of conditional inference against these. As its main overall contribution, the paper provides deeper theoretical insights into the field of inductive inference.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Date Type: | Publication |
| Status: | Published |
| Schools: | Schools > Computer Science & Informatics |
| Publisher: | International Joint Conferences on Artificial Intelligence Organization |
| ISBN: | 978-1-956792-08-9 |
| ISSN: | 2334-1033 |
| Date of First Compliant Deposit: | 17 December 2025 |
| Date of Acceptance: | 10 July 2025 |
| Last Modified: | 17 Dec 2025 09:18 |
| URI: | https://orca.cardiff.ac.uk/id/eprint/182536 |
Actions (repository staff only)
 |
Edit Item |
Dimensions
Dimensions