Queryable Acyclic Production Systems

  title={Queryable Acyclic Production Systems},
  author={David Tanzer and Dennis Shasha},
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