4/23/2004 9:58
AM
Key questions on Common Upper Ontology
Peter Krieg communicated to BCNGroup
Paul,
Please feel free
to introduce the "Mathematician's View" and
link to it.
As for the
adaptation of other brandings like "Anticipatory Web" we will look
into this. I am in contact with Prof. Mihai Nadin, who is currently creating an
"Anticipation Institute" which might also be of interest to you. (nadin@acm.org)
We are very
interested to work with you and others on branding language, since explaining
the polylogic approach proves quite a task.
I would go on a
trip then to talk to some of the people whom we are in contact about closer
cooperation and suggest we meet in Washington soon.
with best
regards,
Peter
A polylogic
thought: world security depends on cooperation and respect, not on submission
and control...
Peter,
My training
in pure mathematics was at a university that is famous for a teaching method
where there were only a few lectures. Graduate students were given list
of definitions and theories and when class met students would present the
proofs of the theorems that they had worked out by themselves. This
required us to generate original mathematics since if no one had any new work
then the class was usually dismissed.
Polylogic
is a necessary technology for machine based "synthetic
intelligence". Like an "axiom of choice" it is
either used or not used in a system of formal thought. If not used, the
system of thought CANNOT be stratified. If used the system is stratified
and will exhibit in-consistencies that have to be mediated by terminological
reconciliation processes.
This
new stratified theory with polylogics and schemalogics is the "new
mathematics" that steps away from the limitations of the Hilbert
programme. Russian
quasi-axiomatic theory certainly makes some contributions to stratified mathematics. (I know it is not completely clear what I am
talking about here, but there is little I can do until I get some time to write
the mathematics out and to do the research to show that others are inventing
this field also.) Much of this work has
occurred in non-English speaking countries.
I try
to not use words where the common misunderstanding from the AI community is
re-enforced. The Semantic Web community has some real hope in bringing
the discussion into something "real", but it is there also three
steps forward, two steps back.
as
recent discussions show
http://www.bcngroup.org/beadgames/graphs/home.htm
(the
beads are in chronological order). The
beads in the InOrb technology thread
as also relevant, in particular [11]
Anticipation
and cognitive priming are the "hooks" for the Anticipatory Web
technology (software). Anticipation is how the human side can be
expected to interact within the Semantic Web (a system having a human side and
a machine side). Cognitive priming engages the tacit knowledge in real
time.
On a
side issue, the planning for a Anticipatory Web Research Institute in a rural
county about 50 miles from Washington DC (in the Shenandoah Valley) has been
recently advanced in a significant way. The details are being added to
the end of the bead thread:
http://www.bcngroup.org/beadgames/safeNet/home.htm
specifically
bead number [26].