RE: ONT Re: Zeroth Order Theories (ZOT's)
FYMFWN? OKLBITMSOKBCYMALO~~~~~~~O~I?
---
Danny Ayers
<stuff> http://www.isacat.net </stuff>
>-----Original Message-----
>From: owner-ontology@majordomo.ieee.org
>[mailto:owner-ontology@majordomo.ieee.org]On Behalf Of Jon Awbrey
>Sent: 31 January 2002 00:00
>To: Arisbe; Gdsemiocom; Ontology
>Subject: 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
>
>¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤