Queryable Acyclic Production Systems

@inproceedings{Tanzer1999QueryableAP,
  title={Queryable Acyclic Production Systems},
  author={David Tanzer and Dennis Shasha},
  booktitle={CIKM},
  year={1999}
}
We pose a query problem about the behavior of a consultation system <italic>S</italic>: given a constraint formula <italic>q</italic> and a potential conclusion <italic>c</italic> for <italic>S</italic>, determine if there is a user input binding that satisfies <italic>q</italic> and causes <italic>S</italic> to conclude <italic>c</italic>. Existing rule-based expert systems, both forward and backward chaining[3], implement a consultation mechanism <italic>S</italic>, but are not designed for… CONTINUE READING