So what are Structured Domain Priors.

In the vain of sharing “ah feck me, lol” moments here.

I’ve been thinking about “Structured Domain Priors” for around a year in name and much longer than that as a thing without a name.

This week, probably whilst walking around the garden, I was struck by a thought that prompted a chuckle.

What I think of as Structured Domain Priors are Formal Ontologies.

Right up there with realising planning be off line search!

IA 13 has some background about how my working towards a “truth”* has got me to this point.

Next up, moving on from falling into Formal Ontologies by looking for something to search over, is the Maths of Ontologies! 🤓

*“truth” being something you can represent Mathematically. You may not be able understand it or know what it means (square root of minus 1 eh…) but it is useful in a bigger picture.