Class Interpreter
A reasoning system that tries to explain observed world events via probabilistic logical abduction (Etcetera Abduction) using a knowledge base of axioms in first-order logic.
Inheritance
Inherited Members
Namespace: Ride
Assembly: cs.temp.dll.dll
Syntax
public class Interpreter
Constructors
Name | Description |
---|---|
Interpreter(Int32, Int32, Int32, String) | Constructor for Interpreter instance |
Fields
Name | Description |
---|---|
debugMenuString | |
fresh_solution | |
scrollPosition |
Properties
Name | Description |
---|---|
currentEntailments | |
currentObservables | |
currentSolution | |
knowledgebase |
Methods
Name | Description |
---|---|
AddFocus(RideID) | Adds a new RideID entity as a focus of the interpreter, such that RIDE World Events involving this entity are treated as observations for interpretation. |
CheckInterpretationPattern(String) | |
EntitiesInFocus() | What entities are in this interpreter's focus, if any? |
Ignore(Literal) | Register that the interpreter is ignoring a given observation |
IgnoredObservablesString() | |
InFocus(List<RideID>) | Are any of the given entities in the current focus? |
Inject(IApi) | |
Interpretable(Literal) | Is the given observation interpretable, i.e., there is an axiom in its knowledge base that can reason about it? |
InterpretationString() | |
InterpreterUpdate() | |
NBestInterpretationsString() | |
ObservablesString() | |
Observe(Literal) | Provide the given observation to the interpreter |
statusReport() | |
Thinking() | Returns true if the interpreter is actively thinking about the given observations. |