Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

SUO: Re: Missing Ingredients


o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

MA = Murray Altheim
RC = Richard Cooper

RC: This set of three questions is the most important triple we're
    dealing with in all SUO work.  Getting clear answers to how
    meaning is represented, communicated, stored, compared,
    and organized would be a successful result.  

MA: Yes, I agree very strongly that until there is some clear
    answers to this, until there is a foundation such as you
    describe, everything else is resting on sand.  This is in
    part why I thought tackling the LBase document might be a
    good start, since it was Pat's best shot at the problem.
    John and Jon have both written extensively on this, but
    rather than point at existing, lengthy texts, it'd be
    good if we just talked I think.  Informally, until
    the formalisms and the assumptions behind them
    become clearer.  Background reading is good
    too, but conversation seems called for.

The ELF liturgy, that had begun so exoterically with Lbase,
will continue a bit more esoterically on the Ontology List,
but I see that most folks have already mistook the meaning
that I had in mind for the my three questions, and WordNet
makes me sleepy, grumpy, and dopey all at once, so I think
I will pass on the rest of this, and continue my exhile on
the Island of Lbase:

ELF.  Effective Logical Formalism -- Discussion Notes

01.  http://suo.ieee.org/ontology/msg05126.html
02.  http://suo.ieee.org/ontology/msg05127.html
03.  http://suo.ieee.org/ontology/msg05128.html
04.  http://suo.ieee.org/ontology/msg05138.html
05.  http://suo.ieee.org/ontology/msg05142.html

ELF.  Effective Logical Formalism -- Literature Notes

01.  http://suo.ieee.org/ontology/msg05129.html
02.  http://suo.ieee.org/ontology/msg05130.html
03.  http://suo.ieee.org/ontology/msg05131.html
04.  http://suo.ieee.org/ontology/msg05132.html
05.  http://suo.ieee.org/ontology/msg05133.html
06.  http://suo.ieee.org/ontology/msg05134.html
07.  http://suo.ieee.org/ontology/msg05135.html
08.  http://suo.ieee.org/ontology/msg05136.html
09.  http://suo.ieee.org/ontology/msg05137.html
10.  http://suo.ieee.org/ontology/msg05139.html
11.  http://suo.ieee.org/ontology/msg05140.html
12.  http://suo.ieee.org/ontology/msg05141.html
13.  http://suo.ieee.org/ontology/msg05147.html

This business of relating logic and model theory to
real-live relational databases is one that I traded
in my "inquiry driven learning environments" (IDLE)
project some years ago, and I'll be continuing with
the discussion and reflection on what all I learned
from that, again, on the Ontology List:

IDLE.  Inquiry Driven Learning Environments

01.  http://suo.ieee.org/ontology/msg05149.html
02.  http://suo.ieee.org/ontology/msg05151.html
03.  http://suo.ieee.org/ontology/msg05153.html
04.  http://suo.ieee.org/ontology/msg05154.html

IDLE.  Inquiry Driven Learning Environments -- Discussion Notes

01.  http://suo.ieee.org/ontology/msg05148.html
02.  http://suo.ieee.org/ontology/msg05152.html

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o