ONT Re: Zeroth Order Theories (ZOT's)
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Phobic Apollo (cont.)
It might be instructive to review various aspects
of how the Theme One Study function actually went
about arriving at its answer on that last problem.
Just to prove that I and my program really did do
our homework on that Phobic Apollo ConSat problem,
and didn't just provoke some Oracle or other data
base server to give it away, here is the middling
output of the Model function as run on ConSat.Log:
Model Outline: ConSat.Mod
o-------------------------------------------------o
| pete_plays_guitar - |
| (pete_plays_guitar ) |
| pete_plays_sax |
| pete_plays_drums - |
| (pete_plays_drums ) |
| paul_plays_sax - |
| (paul_plays_sax ) |
| jane_plays_sax - |
| (jane_plays_sax ) |
| paul_plays_guitar |
| paul_plays_drums - |
| (paul_plays_drums ) |
| jane_plays_guitar - |
| (jane_plays_guitar ) |
| jane_plays_drums |
| pete_fears_13 |
| pete_fears_cats - |
| (pete_fears_cats ) |
| pete_fears_height - |
| (pete_fears_height ) |
| paul_fears_13 - |
| (paul_fears_13 ) |
| jane_fears_13 - |
| (jane_fears_13 ) |
| paul_fears_cats - |
| (paul_fears_cats ) |
| paul_fears_height - |
| (paul_fears_height ) - |
| (pete_fears_13 ) |
| pete_fears_cats - |
| (pete_fears_cats ) |
| pete_fears_height - |
| (pete_fears_height ) - |
| (jane_plays_drums ) - |
| (paul_plays_guitar ) |
| paul_plays_drums |
| jane_plays_drums - |
| (jane_plays_drums ) |
| jane_plays_guitar |
| pete_fears_13 |
| pete_fears_cats - |
| (pete_fears_cats ) |
| pete_fears_height - |
| (pete_fears_height ) |
| paul_fears_13 - |
| (paul_fears_13 ) |
| jane_fears_13 - |
| (jane_fears_13 ) |
| paul_fears_cats - |
| (paul_fears_cats ) |
| paul_fears_height - |
| (paul_fears_height ) - |
| (pete_fears_13 ) |
| pete_fears_cats - |
| (pete_fears_cats ) |
| pete_fears_height - |
| (pete_fears_height ) - |
| (jane_plays_guitar ) - |
| (paul_plays_drums ) - |
| (pete_plays_sax ) |
| pete_plays_drums |
| paul_plays_drums - |
| (paul_plays_drums ) |
| jane_plays_drums - |
| (jane_plays_drums ) |
| paul_plays_guitar |
| paul_plays_sax - |
| (paul_plays_sax ) |
| jane_plays_guitar - |
| (jane_plays_guitar ) |
| jane_plays_sax |
| pete_fears_13 - |
| (pete_fears_13 ) |
| pete_fears_cats |
| pete_fears_height - |
| (pete_fears_height ) |
| paul_fears_cats - |
| (paul_fears_cats ) |
| jane_fears_cats - |
| (jane_fears_cats ) |
| paul_fears_13 |
| paul_fears_height - |
| (paul_fears_height ) |
| jane_fears_13 - |
| (jane_fears_13 ) |
| jane_fears_height * |
| (jane_fears_height ) - |
| (paul_fears_13 ) |
| paul_fears_height - |
| (paul_fears_height ) - |
| (pete_fears_cats ) |
| pete_fears_height - |
| (pete_fears_height ) - |
| (jane_plays_sax ) - |
| (paul_plays_guitar ) |
| paul_plays_sax - |
| (paul_plays_sax ) - |
| (pete_plays_drums ) - |
o-------------------------------------------------o
This is just the traverse of the "arboreal boolean expansion" (ABE) tree
that Model function germinates from the propositional expression that we
planted in the file Consat.Log, which works to describe the facts of the
situation in question. Since there are 18 logical feature names in this
propositional expression, we are literally talking about a function that
enjoys the abstract type f : %B%^18 -> %B%. If I had sat down to evalue
this function by expressly writing out its truth table, then it would've
required 2^18 = 262144 rows. Now I didn't bother to count, but I'm sure
that the above output does not have anywhere near that many lines, so it
must be that my program, and maybe even its author, has done a couple of
things along the way that are moderately intelligent. At least, we hope.
Jon Awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤