IW Meeting 2008-11-18

From Inference Web

Jump to: navigation, search

Agenda

valid PML

  • [action] Jiao to prepare some examples, so we can classify warnings to yes/no decision

bug

  • [action] James try to check if cynthia's update works

combine proof

Mutual Recursion check

Derivation 1

cnf(a1a,axiom,a1a).
cnf(a1b,axiom,a1b).
cnf(a1c,axiom,a1c).

cnf(b1,plain,b,inference(magic,[],[a1a,a1b,a1c])).
cnf(c1,plain,c,inference(magic,[],[b1])).
cnf(d1,plain,$false,inference(magic,[],[c1])).

Derivation 2

cnf(a2,axiom,a2).

cnf(c2,plain,c,inference(magic,[],[a2])).

cnf(b2,plain,b,inference(magic,[],[c2])).

cnf(d2,plain,$false,inference(magic,[],[b2])).
Personal tools
Navigation