ontac-forum
[Top] [All Lists]

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

To: ONTAC-WG General Discussion <ontac-forum@xxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Wed, 11 Jan 2006 10:51:23 -0500
Message-id: <43C5297B.4080807@xxxxxxxxxxx>
Antoinette,    (01)

You've been using a subset of pi calculus all your life.
What I've been asking for is the option to let you continue
to do so without having to learn situation calculus.    (02)

 > Speaking for myself, I don't think the library scientists
 > will want to master pi calculus either - RDF and OWL,
 > axioms and inference I can handle.    (03)

For the benefit of those people who are not familiar with
the axiomatizations, let me start with a bit of history:    (04)

  1. In mid 1960s, Carl Adam Petri developed a theory of
     interacting networks, which are now called Petri nets.
     The basic idea is that each event type is represented
     by a node, called a _transition_, which has a set of
     input conditions, called _places_, and a set of output
     conditions, which are places that may be the inputs
     to other transitions.    (05)

  2. Around the same time, John McCarthy developed a theory
     of _situations_, which represent the complete state
     of the universe (or at least the relevant part of the
     universe for the purpose of the given problem).  For
     each event E, the immediately preceding situation is
     the conjunction of *all* the preconditions for E and
     *all* the preconditions for every possible event other
     than E, whether or not it's any way relevant to E.    (06)


_________________________________________________________________
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    (07)
<Prev in Thread] Current Thread [Next in Thread>