PlResolutionDemo.java

package aima.gui.demo.logic;

import aima.core.logic.propositional.inference.PLResolution;
import aima.core.logic.propositional.kb.KnowledgeBase;
import aima.core.logic.propositional.parsing.PLParser;

/**
 * @author Ravi Mohan
 * 
 */
public class PlResolutionDemo {
	private static PLResolution plr = new PLResolution();

	public static void main(String[] args) {
		KnowledgeBase kb = new KnowledgeBase();
		String fact = "(B11 => ~P11) & B11)";
		kb.tell(fact);
		System.out.println("\nPlResolutionDemo\n");
		System.out.println("adding " + fact + "to knowldegebase");
		displayResolutionResults(kb, "~B11");
	}

	private static void displayResolutionResults(KnowledgeBase kb, String query) {
		PLParser parser = new PLParser();
		System.out.println("Running plResolution of query " + query
				+ " on knowledgeBase  gives " + plr.plResolution(kb, parser.parse(query)));
	}
}