| verb </term> is used . The paper outlines | a | <term> computational theory </term> of <term> | #11915 The paper outlines a computational theory of human plausible reasoning constructed from analysis of people's answers to everyday questions. | |
| , the <term> theory </term> is expressed in | a | <term> content-independent formalism </term> | #11941 Like logic, the theory is expressed in a content-independent formalism. | |
| drawn . The <term> theory </term> consists of | a | <term> dimensionalized space </term> of different | #11968 The theory consists of a dimensionalized space of different inference types and their certainty conditions, including a variety of meta-inference types where the inference depends on the person's knowledge about his own knowledge. | |
| <term> certainty conditions </term> , including | a | variety of <term> meta-inference types </term> | #11981 The theory consists of a dimensionalized space of different inference types and their certainty conditions, including a variety of meta-inference types where the inference depends on the person's knowledge about his own knowledge. |
