An analysis of the role of syntax in inductive inference

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

Full text not available from this repository.

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
Last Modified:	20 Nov 2025 12:30
URI:	https://orca.cardiff.ac.uk/id/eprint/182536

Actions (repository staff only)

Edit Item