In this post, I try to build up an ontology around the following definition of knowledge:
To know something is to have the set of policies available to you closed under conditionals dependent on that thing.
You are an agent G, and you are interacting with an environment e in the set E of all possible environments. For each environment e, you select an action a from the set A of available actions. You thus implement a policy p∈AE. Let P⊆AE denote the set of policies that you could implement. (Note that AE is the space of functions from E to
[Epistemic Status: Type Error]
In this post, I try to build up an ontology around the following definition of knowledge:
To know something is to have the set of policies available to you closed under conditionals dependent on that thing.
You are an agent G, and you are interacting with an environment e in the set E of all possible environments. For each environment e, you select an action a from the set A of available actions. You thus implement a policy p∈AE. Let P⊆AE denote the set of policies that you could implement. (Note that AE is the space of functions from E to