ontac-forum
[Top] [All Lists]

Re: [ontac-forum] Re: The world may fundamentally be inexplicable

To: ONTAC-WG General Discussion <ontac-forum@xxxxxxxxxxxxxx>
Cc: guarino@xxxxxxxxxx, CG <cg@xxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Fri, 13 Jan 2006 22:08:56 -0500
Message-id: <43C86B48.4000709@xxxxxxxxxxx>
Michael,    (01)

> But this is what I am begging you for!
> I have become a practising Vulcan, and I can
> only proceed with formal axioms.    (02)

I agree that we would love to have a convenient set
of axioms for pi calculus that are formulated in some
dialect of Common Logic.  And it would be even better
if they were organized in a systematic presentation
with cross references to other approaches, examples,
diagrams, commentary, etc.    (03)

> I can point to Pat Hayes' Catalog of Temporal Theories
> and find a dozen different sets of first-order axioms.
> I can point to
>
>  http://www.mel.nist.gov/psl/ontology.html
>
> and find forty or so sets of first-order axioms.
> All of these sets of axioms can be modules in some ontology.
> What is the analogous set for pi calculus?    (04)

There are several versions of pi calculus, and the ISO
standard for LOTOS is an excellent starting place to look.
There's a great deal available on the WWW for anybody willing
to look.    (05)

But I agree that it would desirable to relate all the versions
of pi calculus to one another in a dialect of Common Logic
and in a form that is easily comparable to other approaches.
As a matter of fact, Arun and I have discussed the desirability
of doing something like that.    (06)

But as you very well know, it takes time and effort to do
a good job, test the results, check them for accuracy,
and run them through a theorem prover that verifies their
consistency, usability, efficiency, etc.    (07)

We happen to have a company that would be happy to get
a contract to do something like that.    (08)

John    (09)


_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config: 
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki: 
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG    (010)
<Prev in Thread] Current Thread [Next in Thread>