Next: Conclusion Up: COMP9417 Project Shapiro's Model Previous: Refinement

Subsections



Examples of MIS Learning Concepts

The applet on this page is a straightfoward implementation of the MIS algorithm, with very few refinements. Usage instructions:

  1. Select either a canned learning scenario from the choice widget, or select the function symbols and predicate symbols in $L_o$. (Note that ./2 is the list constructor function symbol in Prolog by convention.)

  2. Enter zero or more facts in the ``bulk data entry'' text box. These facts have the form:
    predicate_to_be_learned(a1, ..., an), true.
    predicate_to_be_learned(b1, ..., bn), false.
    
    Note that the applet allows facts to be added incrementally as well.

  3. Click ``done''.

  4. At this point MIS will attempt to find a theory that is consistent with the entered facts (if there were any). This is non-interactive, except when the oracle is consulted for contradiction backtracing (Section 2).

  5. The applet will then enter an interactive loop, where facts are read and the theory is refined.

Your browser does not support Java applets.


Implementation Notes and Empirical Obervations

This section is a collection of brief observations that stem from actually implementing MIS.


next up previous
Next: Conclusion Up: COMP9417 Project Shapiro's Model Previous: Refinement
Peter Gammie
2002-03-01