The Role of Syntax in Inductive Inference: A Property-Based Study

The study of inference operators frequently involves the introduction of properties to which such operators should conform. Amongst other advantages, the property-based approach helps to restrict the range of operators, and to classify and categorise the type of inference being studied. This paper continues this tradition by proposing a number of properties for the class of inductive inference operators. We study the interaction of these properties, both with one another, and with other well-known properties for inductive inference. We also test a number of well-known inductive inference operators against the newly proposed, and some existing properties.