Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!rochester!cornellcs!newsstand.cit.cornell.edu!portc01.blue.aol.com!news-res.gsl.net!news.gsl.net!news-peer.gsl.net!news.gsl.net!news.mathworks.com!newsfeed.internetmci.com!swrinde.nde.swri.edu!cs.utexas.edu!math.ohio-state.edu!jussieu.fr!univ-lyon1.fr!in2p3.fr!swidir.switch.ch!surfnet.nl!newshost.vu.nl!cs.vu.nl!spieters
From: spieters@cs.vu.nl (Pieterse S)
Subject: Backward-chaining in AionDS
Nntp-Posting-Host: kits.cs.vu.nl
Sender: news@cs.vu.nl
Organization: Fac. Wiskunde & Informatica, VU, Amsterdam
Date: Mon, 16 Sep 1996 19:13:56 GMT
Message-ID: <DxuAr9.755@cs.vu.nl>
Lines: 21

I have some problems with backward-chaining in Aion DS (windows version 6.40).
When I try to use 'Ifmatch' (pattern-matching) rules, this often results in
the error message: "Backward reasoning not allowed for this rule"

Technical support of AionDS said that it is not possible to combine objects
in the premise of a backward-chaining rule. The following rule would thus not
be possible (since the premise contains more than one class):
IFMATCH
  class1,class2 WITH boolexpr(class1,class2)
THEN
  actions
END

This seems a bit strange, since not being allowed to combine facts from
different objects limits the functionality of the system significantly.

Has anyone similar experiences with Aion DS or does anyone know how to
circumvent these problems (apart from linking objects together with pointers)?
Thanks,

Seppo
