Because it’s awfully trivial and it’s not easy to locate all the pieces of motivation and application that would make anyone enthusiastic about this. Like the fact that action and utility are arbitrary mathematical structures in ADT and not just integer outputs of programs.
Hm, I don’t see any trivial way of understanding observational knowledge except by treating it as part of the input-output map as UDT suggests. So if your idea is different, I’m still asking you to write it up.
In one sentence: Agent sees the world from within a logical theory in which observations are nonlogical symbols. I’ll of course try to write this up in time.
Because it’s awfully trivial and it’s not easy to locate all the pieces of motivation and application that would make anyone enthusiastic about this. Like the fact that action and utility are arbitrary mathematical structures in ADT and not just integer outputs of programs.
Hm, I don’t see any trivial way of understanding observational knowledge except by treating it as part of the input-output map as UDT suggests. So if your idea is different, I’m still asking you to write it up.
In one sentence: Agent sees the world from within a logical theory in which observations are nonlogical symbols. I’ll of course try to write this up in time.