Package astra.reasoner

Interface Reasoner

All Known Implementing Classes:

NewReasoner

public interface Reasoner

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 Queryable interface.

Author:

rem

Method Summary

Modifier and Type	Method	Description
void	addSource(Queryable source)
Agent	agent()
List<Map<Integer,Term>>	query(Formula formula)
List<Map<Integer,Term>>	query(Formula formula, Map<Integer,Term> bindings)
List<Map<Integer,Term>>	queryAll(Formula formula)
List<Queryable>	sources()

Method Details

addSource

void addSource(Queryable source)

queryAll

List<Map<Integer,Term>> queryAll(Formula formula)

query

List<Map<Integer,Term>> query(Formula formula)

query

List<Map<Integer,Term>> query(Formula formula, Map<Integer,Term> bindings)

agent

Agent agent()

sources

List<Queryable> sources()