#12960The paper also discusses howmemory is structured in multiple ways to support the different inference types, and how the information found in memory determines which inference types are triggered.
other,8-3-T78-1028,ak
theory
</term>
specifies how different
<term>
information
</term>
in
<term>
memory
</term>
affects the
<term>
#12890Unlike logic, the theory specifies how differentinformation in memory affects the certainty of the conclusions drawn.
other,9-2-T78-1028,ak
<term>
theory
</term>
is expressed in a
<term>
content-independent formalism
</term>
. Unlike
<term>
logic
</term>
, the
<term>
#12879Like logic, the theory is expressed in acontent-independent formalism.
other,9-4-T78-1028,ak
dimensionalized space
</term>
of different
<term>
inference types
</term>
and their
<term>
certainty conditions
#12910The theory consists of a dimensionalized space of differentinference 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.
tech,7-1-T78-1028,ak
<term>
computational theory
</term>
of
<term>
human plausible reasoning
</term>
constructed from analysis of people
#12856The paper outlines a computational theory ofhuman plausible reasoning constructed from analysis of people's answers to everyday questions.