Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!iuvax!cica!tut.cis.ohio-state.edu!zaphod.mps.ohio-state.edu!usc!snorkelwacker!bloom-beacon!eru!luth!sunic!mcsun!unido!uklirb!shell
From: wang@ai.toronto.edu (Huaiqing Wang)
Newsgroups: comp.ai.shells
Subject: S1 and COPERNICUS info wanted
Message-ID: <4533@uklirb.informatik.uni-kl.de>
Date: 30 Mar 90 19:17:29 GMT
Sender: shell@uklirb.informatik.uni-kl.de
Organization: Department of Computer Science, University of Toronto
Lines: 14
Approved: shell@uklirb.uucp
Posted-Date: Wed Apr  4 14:21:45 GMT 1990

Hi,

  I would like some information about an expert system shell called
'S1' or 'COPERNICUS'.  Specifically, I want to know what kind
of control language is available using the shell.  For example,
can the programmer specify how a task would be broken into 
sub-tasks and for each sub-task, can the programmer specify 
a particular inference routine (specifically, forward-chaining, 
backward-chaining, depth-first search, breadth-first search, 
best-first-search, or any other inference routines)?

  Any information would be welcome.  Thank you in advance.

  wang@ai.utoronto.ca