[planning/scheduling] Related projects

Masahiro HORI <HORI@trl.vnet.ibm.com>
Date: Mon, 18 Jan 1993 17:56:37 -0800
Message-id: <9301190152.AA20581@ns3.trl.ibm.com>
Comment: SRKB Distribution List
Originator: srkb-list@isi.edu
Errors-To: neches@ISI.EDU
Reply-To: <HORI@trl.vnet.ibm.com>
Sender: srkb-list@ISI.EDU
Version: 5.5 -- Copyright (c) 1991/92, Anastasios Kotsikonas
From: Masahiro HORI <HORI@trl.vnet.ibm.com>
To: Multiple recipients of list <srkb-list@ISI.EDU>
Subject: [planning/scheduling] Related projects

I received responses from more than ten people, since I have distributed
the first announcement of SRKB-II scheduling & planning subgroup.
The announcement has been distributed to another list of people
intereseted in Enterprize Integration (I appreciate Charles Petrie),
and people outside the SRKB list are getting attention to the activity.

At this moment, I have received descriptions of two more projects, which
can be related to this activity. I will quote them below with permission.
Please feel free to introduce another projects in this list (putting
a list of references will be helpful for readers).

Thanks for your interests,

Edinburgh AI planning and scheduling research and applications have led to the
development of a number of prototype task planning systems such as Nonlin
(1976), O-Plan1 (1989) and O-Plan2 (1992) and knowledge based schedulers such
as TOSCA (1991, 92 and 93).  These systems use a planning entity
representation language called Task Formalism (TF) which has become more
comprehensive over the years.  TF can represent tasks, hierarchies of
activities and (partial) plans, processes, events, resources, time and
causality.  The O-Plan project aims to have a common representation of plans
and plan fragments which can be exchanges through a TF-like language.  The
O-Plan project is part of the DARPA-Rome Lab. Planning Initiative and is using
its practical experience of using the TF language to provide input to the
formal specification of the more comprehensive KRSL language.  (For more
information on O-Plan, TOSCA and TF contact Austin Tate, A.Tate@ed.ac.uk)

The TOVE Project

Mark S. Fox
Department of Industrial Engineering
University of Toronto
4 Taddle Creek Road
Toronto, Ontario M5S 1A4 CANADA
tel: 1-416-978-6823 fax: 1-416-971-1373 internet: msf@ie.utoronto.ca

The goal of the TOVE (TOronto Virtual Enterprise) Project is 1) to
create a shared representation (aka ontology) of the industrial
enterprise that intelligent agents can jointly understand and use, 2)
define the meaning of each description (aka semantics) in a precise and
as unambiguous manner as possible, 3) implement the semantics in a set
of axioms that will enable TOVE to automatically deduce the answer to
many "common sense" questions about the enterprise, 4) define a
symbology for depicting a concept in a graphical context, and 5)
provide a methodology for instantiating enterprise models that
minimizes the complexity of the process.

Our initial effort has focused on generic representations of knowledge
to support reasoning in a factory environment.  The tasks that we have
targeted to support are in "supply chain management" which extends MRP
(Manufacturing Requirements Planning) to include
logistics/distribution.  (Planning and Scheduling are functions within
Supply Chain Management.) Much of our effort has been in creating
representations of activity, state, causality, time, resources, orders
and products.  These representations are summarized in a manual we are
completing. We have new efforts underway in formalizing knowledge of
quality, accounting and organization structure.

At this time, models created using our representation can be visually
displayed, in part, simulated, and queried using Prolog as a deductive