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)
|