astra.reasoner.Reasoner Maven / Gradle / Ivy

Go to download
package astra.reasoner;

import java.util.List;
import java.util.Map;

import astra.core.Agent;
import astra.formula.Formula;
import astra.term.Term;

/**
 * Core Interface for logical reasoning systems that may be attached to an agent. Sources
 * contain logic databases that are queried by the reasoner. All sources must implement the
 * {@link Queryable} interface.
 * 
 * @author rem
 *
 */
public interface Reasoner {
	void addSource(Queryable source);
	List> queryAll(Formula formula);
	List> query(Formula formula);
	List> query(Formula formula, Map bindings);
	Agent agent();
	List sources();
}