| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| public:t-720-atai:atai-22:knowledge_representation [2022/10/03 12:11] – [Meaning] thorisson | public:t-720-atai:atai-22:knowledge_representation [2024/11/20 12:02] (current) – [Symbols, Models, Syntax] thorisson |
|---|
| ==== Symbols, Models, Syntax ==== | ==== Symbols, Models, Syntax ==== |
| | What Now? | Here comes some "glue" for connecting the above concepts, ideas, and claims in a way that unifies it into a coherent story that explains intelligence. | | | What Now? | Here comes some "glue" for connecting the above concepts, ideas, and claims in a way that unifies it into a coherent story that explains intelligence. | |
| | \\ \\ Knowledge | Knowledge is "actionable information" - information structures that can be used to //do stuff//, including \\ (a) predict (deduce), \\ (b) derive potential causes (abduce - like Sherlock Holmes does), \\ ( c) explain, and \\ (d) re-create (like Einstein did with <m>E=mc^2</m>). | | | \\ \\ Knowledge | Knowledge is "actionable information" - information structures that can be used to //do stuff//, including \\ (a) predict (mostly deduce, but also abduce), \\ (b) derive potential causes (abduce - like Sherlock Holmes does), \\ ( c) explain (abduce), and \\ (d) re-create (like Einstein did with E=mc<sup>2</sup> and the Sims do in software). | |
| | \\ Knowledge \\ = \\ Models | Sets of models allow a thinking agent to do the above, by \\ (a) finding the relevant models for anything (given a certain situation and active goals), \\ (b) apply them according to the goals to derive predictions, \\ ( c) selecting the right actions based on these predictions such that the goals can be achieved, and \\ (d) monitoring the outcome. \\ (Learning then results from correcting the models that predicted incorrectly.) | | | \\ Knowledge \\ = \\ Models | Sets of models allow a thinking agent to do the above, by \\ (a) finding the relevant models for anything (given a certain situation and active goals), \\ (b) apply them according to the goals to derive predictions, \\ ( c) selecting the right actions based on these predictions such that the goals can be achieved, and \\ (d) monitoring the outcome. \\ (Learning then results from correcting the models that predicted incorrectly.) | |
| | \\ What's Contained \\ in Models? | To work as building blokcs for knowledge, models must, on their own or in sets, capture in some way: \\ - Patterns \\ - Relations \\ - Volitional acts \\ - Causal chains | | | \\ What's Contained \\ in Models? | To work as building blokcs for knowledge, models must, on their own or in sets, capture in some way: \\ - Patterns \\ - Relations \\ - Volitional acts \\ - Causal chains | |
| | Where Do The Symbols Come In? | Symbols are mechanisms for rounding up model sets - they are "handles" on the information structures. \\ In humans this "rounding up" happens subconsciously and automatically, most of the time, using similarity mapping (content-driven association). | | | Where Do The Symbols Come In? | Symbols are mechanisms for rounding up model sets - they are "handles" on the information structures. \\ In humans this "rounding up" happens subconsciously and automatically, most of the time, using similarity mapping (content-driven association). | |
| | \\ Syntactic Autonomy | To enable autonomous thought, the use of symbols for managing huge sets of models must follow certain rules. For determining the development of biological agents, these rules - their syntax - must exist in form //a priori// of the developing, learning mind, because it determines what these symbols can and cannot do. In this sense, "syntax" means the "rules of management" of information structures (just like the use of symbols in human communication). | | | \\ Syntactic Autonomy | To enable autonomous thought, the use of symbols for managing huge sets of models must follow certain rules. For determining the development of biological agents, these rules - their syntax - must exist in form //a priori// of the developing, learning mind (encoded in DNA), because it determines what these symbols can and cannot do, from early infant life to more grown-up stages. In this sense, "syntax" means the "rules of management" of information structures (just like the use of symbols in human communication). | |
| | \\ Historical Note | Chomsky claimed that humans are born with a "language acquisition device". \\ What may be the case is that the language simply sits on top of a more general set of "devices" for the formation of knowledge //in general//. | | | \\ Historical Note | Chomsky claimed that humans are born with a "language acquisition device". \\ What may be the case is that the language simply sits on top of a more general set of "devices" for the formation of knowledge //in general//. | |
| | \\ Evolution & Cognition | Because thought depends on underlying biological structures, and because biological structure depends on ongoing maintenance processes, the syntax and semantics for creating a biological agent, and the syntax and semantics for generating meaningful thought in such an agent, both depend on //syntactic autonomy// - i.e. rules that determine how the referential processes of **encode-transmit-decode** work. | | | \\ Evolution & Cognition | Because thought depends on underlying biological structures, and because biological structure depends on ongoing maintenance processes, the syntax and semantics for creating a biological agent, and the syntax and semantics for generating meaningful thought in such an agent, both depend on //syntactic autonomy// - i.e. rules that determine how the referential processes of **encode-transmit-decode** work. | |
| | What It Is | The establishment of axioms for the world and applying logic to these. | | | What It Is | The establishment of axioms for the world and applying logic to these. | |
| | Depends On | Semantic closure. | | | Depends On | Semantic closure. | |
| | But The World Is Non-Axiomatic ! | \\ Yes. But there is no way to apply logic unless we hypothesize some pseudo-axioms. The only difference between this and mathematics is that in science we must accept that the so-called "laws" of physics may be only conditionally correct (or possibly even completely incorrect, in light of our goal of figuring out the "ultimate" truth about how the universe works). | | | But The World Is Non-Axiomatic ! | Yes. But there is no way to apply logic unless we hypothesize some pseudo-axioms. The only difference between this and mathematics is that in science we must accept that the so-called "laws" of physics may be only conditionally correct (or possibly even completely incorrect, in light of our goal of figuring out the "ultimate" truth about how the universe works). | |
| | Deduction | Results of two statements that logically are necessarily true. \\ //Example: If it's true that all swans are white, and Joe is a swan, then Joe must be white//. | | | Deduction | Results of two statements that logically are necessarily true. \\ //Example: If it's true that all swans are white, and Joe is a swan, then Joe must be white//. | |
| | Abduction | Reasoning from conclusions to causes. \\ //Example: If the light is on, and it was off just a minute ago, someone must have flipped the switch//. | | | Abduction | Reasoning from conclusions to causes. \\ //Example: If the light is on, and it was off just a minute ago, someone must have flipped the switch//. | |
