2015/05/28 by Eric Werner, Werner, Eric
Computer Science · #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #Computation and Language (cs.CL) #FOS: Computer and information sciences #Information Theory (cs.IT) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge
paper · pdf · doi:10.48550/arxiv.1505.07712
openalex publication_date 2015/05/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
A theory of how agents can come to understand a language is presented. If understanding a sentence α is to associate an operator with α that transforms the representational state of the agent as intended by the sender, then coming to know a language involves coming to know the operators that correspond to the meaning of any sentence. This involves a higher order operator that operates on the possible transformations that operate on the representational capacity of the agent. We formalize these constructs using concepts and diagrams analogous to category theory.