I used “ontology” here to mean the definitions in your model. E.g. boojums, snarks and monsters in the examples above. If you wanted to update your model itself based on observations and remain within the Bayesian framework, you’d have to have had the foresight to anticipate doing so, and provided a collection of different models with a prior over them.
I’m being too vague with my use of the word “model”. By “model” I just mean some set of possibilities that are grouped together. For instance in machine learning, a model is a parametrized function (which can be regarded as a set of functions each indexed by a parameter). A set of different models is also a model (just more possibilities). Maybe this is not the best word to use.
In the case of Solomonoff induction, some of those programs might contain logic that appear to simulate simple environments with 3D space containing stuff, such as chairs and cars, that interact with each other in the simulation as you’d expect. I’d say the stuff in such a simulation is roughly an ontology. There will be another program which runs a simulation containing objects you might call monsters, of which some snarks are boojums. To be clear, I’m using “ontology” to mean “a set of concepts and categories in a subject area or domain that shows their properties and the relations between them.”
I used “ontology” here to mean the definitions in your model. E.g. boojums, snarks and monsters in the examples above. If you wanted to update your model itself based on observations and remain within the Bayesian framework, you’d have to have had the foresight to anticipate doing so, and provided a collection of different models with a prior over them.
What models? SI deals in programmes.
I’m being too vague with my use of the word “model”. By “model” I just mean some set of possibilities that are grouped together. For instance in machine learning, a model is a parametrized function (which can be regarded as a set of functions each indexed by a parameter). A set of different models is also a model (just more possibilities). Maybe this is not the best word to use.
In the case of Solomonoff induction, some of those programs might contain logic that appear to simulate simple environments with 3D space containing stuff, such as chairs and cars, that interact with each other in the simulation as you’d expect. I’d say the stuff in such a simulation is roughly an ontology. There will be another program which runs a simulation containing objects you might call monsters, of which some snarks are boojums. To be clear, I’m using “ontology” to mean “a set of concepts and categories in a subject area or domain that shows their properties and the relations between them.”