RiverSoftAVG Products Help

Create(TComponent)

Initializes a new instance of the TInferenceEngine class. (Inherited from InferenceEngine.TInferenceEngine.)

Agenda

Tracks the current list of activations for the currently active defmodule - the list of rules to fire (Inherited from InferenceEngine.TInferenceEngine.)

AgendaCount

Returns the number of activations currently in the CurrentModule's  Agenda (Inherited from InferenceEngine.TInferenceEngine.)

AgendaItem[Integer]

Returns one activation from the agenda. Activations are rules which are due to be fired based on the facts in the fact list. (Inherited from InferenceEngine.TInferenceEngine.)

CurrentAgendaItem

Tracks the activation running in the current step. This property is only non nil when the step is actually running (Inherited from InferenceEngine.TInferenceEngine.)

CurrentFocus

Returns the currently focused module during execution (Inherited from InferenceEngine.TInferenceEngine.)

CurrentModule

Provides access to the currently focused DefModule in your expert system. The TInferenceEngine component, like CLIPS, supports partitioning your expert system into multiple modules. The DefinedTypes, Facts, FactTemplates, Rules, Agenda, and Rete Network properties all refer to the CurrentModule. To access the other modules and their constructs, use the Modules property. (Inherited from InferenceEngine.TInferenceEngine.)

DefinedTypes

Tracks the Type Definitions (see IIEDefinedType interface) for the currently active defmodule (Inherited from InferenceEngine.TInferenceEngine.)

DuplicateConstructs

Controls the behavior of the inference engine when duplicately named constructs (such as fact templates or rules) are added.

dcOverwrite - overwrite, or replace, the currently defined construct with the new construct

dcIgnore - ignore the new construct and don't add it to the inference engine

dcError - raise an exception

EvalSalience

Controls when the salience for activations are evaluated. The saliences of rules control the order of execution. Set the EvalSalience to sEveryTime to have the agenda reordered after every step (note, this will slow down execution). (Inherited from InferenceEngine.TInferenceEngine.)

ExpertSystem

Defines the current state of the expert system, in string format. To get the text that would be in a text file for the entire expert system (including fact templates, current facts, and rules), just assign this property to another string or to a TStrings.Text property. To change the expert system, you can assign to this property (Be careful, the current expert system is destroyed). (Inherited from InferenceEngine.TInferenceEngine.)

FactDuplication

Controls whether duplicate facts can be asserted into the inference engine. If FactDuplication is true, then duplicate facts may be asserted. If FactDuplication is False and an equivalent fact already exists in the fact base, then the Assert method will not assert the new fact and will return -1 (Inherited from InferenceEngine.TInferenceEngine.)

FactIdCounter

Returns the ID of the next fact to be asserted. The Fact IDs monotonically increase by 1 until a Reset is used (Inherited from InferenceEngine.TInferenceEngine.)

FactPending[Integer]

Represents property FactPending[Integer]. (Inherited from InferenceEngine.TInferenceEngine.)

Facts

Returns the current fact list for the currently active defmodule. The fact list defines the current knowledge in your expert system. (Inherited from InferenceEngine.TInferenceEngine.)

FactSets

Returns the list of fact sets for the currently active defmodule within the Inference Engine. Fact Sets define a set of facts which should be automatically asserted when the engine is initialized (Inherited from InferenceEngine.TInferenceEngine.)

FactsPending

Represents property FactsPending. (Inherited from InferenceEngine.TInferenceEngine.)

FactTemplates

Provides access to all the fact templates for the currently active defmodule within the expert system. Use the Item property to access individual fact templates. (Inherited from InferenceEngine.TInferenceEngine.)

FocusStack

Maintains the list of modules to obtain focus during inference (Run). The top of the stack is the 0th item (Inherited from InferenceEngine.TInferenceEngine.)

FuzzyAutoTerms

Controls whether the inference engine will automatically generate the fuzzy terms or sets; low, medium, and high; for each new fuzzy variable. If this property is false, newly created fuzzy variables will have no fuzzy sets until you define them (Inherited from InferenceEngine.TInferenceEngine.)

FuzzyCorrelationMethod

Controls which Fuzzy Correlation Method to use: Minimum and Product. (Inherited from InferenceEngine.TInferenceEngine.)

FuzzyEqualsThreshold

Defines the "noise" level of fuzzy facts.  When two fuzzy sets are compared to see if they are equal, all the XY value pairs of the two fuzzy sets are compared. If the minimum Y value of the two fuzzy sets at some X point exceed the threshold, then they equal (Inherited from InferenceEngine.TInferenceEngine.)

FuzzyInferenceMethod

Controls which Fuzzy Inference Method type to use. Fuzzy Inference controls how assertions are combined with facts already on the fact list. Unlike normal inference where new facts may be asserted, fuzzy inference combines the fact already on the fact list with the new fact. This method type specifies how two fuzzy sets are combined:

MinMax - Takes the maximum of two fuzzy sets

Additive - Adds the two fuzzy sets together

Mean - Takes the average of the two fuzzy sets

Product - Multiplies the two fuzzy sets together

BoundedSum - Adds the two fuzzy sets together, cutting off any values over 1.0

GlobalContext

Returns the global, overriding context within the inference engine. Similar to how object pascal can define a global variable 'X' and also have a local variable 'X', the inference engine works the same way. The global context contains the definitions globally, rules are able to redefine a label locally. The global context is not just for variables (Inherited from InferenceEngine.TInferenceEngine.)

GlobalVariables

Returns the hash table of global variables within the expert system. (Inherited from InferenceEngine.TInferenceEngine.)

Halt

Set this property to halt execution of the expert system. It has no effect if the expert system is not running (setting halt to false does not start the expert system) (Inherited from InferenceEngine.TInferenceEngine.)

InitialFactPattern

Returns the pattern for the default fact which is used to activate rules which have no conditions. By default, the pattern is '(Initial-Fact)'. The initial fact is automatically asserted when clear is called (Inherited from InferenceEngine.TInferenceEngine.)

InputStream

Returns the stream currently being used as standard input. (Inherited from InferenceEngine.TInferenceEngine.)

IOStreams

Returns all the input/output streams available to the inference process (Inherited from InferenceEngine.TInferenceEngine.)

IsModuleOp

Represents property IsModuleOp. (Inherited from InferenceEngine.TInferenceEngine.)

IsRunning

Read this property to see if the Inference Engine is running (Inherited from InferenceEngine.TInferenceEngine.)

MinActivationStrength

Controls what the minimum activation strength of a rule must be in order to be put on the Agenda. (Inherited from InferenceEngine.TInferenceEngine.)

ModifyingFact

Represents property ModifyingFact. (Inherited from InferenceEngine.TInferenceEngine.)

Modules

Maintains the list of modules in the inference engine. The 0th item is always the MAIN module. (Inherited from InferenceEngine.TInferenceEngine.)

NullFact

Defines the fact used as equal to nil in the inference process (Inherited from InferenceEngine.TInferenceEngine.)

OnAddDefaultPackages

Cccurs when the default user function packages are being added to the inference engine, usually when the Clear method finishes. (Inherited from InferenceEngine.TInferenceEngine.)

OnChangeCurrentModule

Occurs when the CurrentModule is changed in the inference engine (Inherited from InferenceEngine.TInferenceEngine.)

OnClear

Cccurs when the inference engine is cleared (Inherited from InferenceEngine.TInferenceEngine.)

OnClearDefinedTypes

Occurs when the Clear method of the DefinedTypes property is called (Inherited from InferenceEngine.TInferenceEngine.)

OnClearFacts

Occurs when the Clear method of the Facts property is called (Inherited from InferenceEngine.TInferenceEngine.)

OnClearFactTemplates

Occurs when the FactTemplates property of the inference engine is cleared (Inherited from InferenceEngine.TInferenceEngine.)

OnClearModules

Occurs when the Modules list is cleared (Inherited from InferenceEngine.TInferenceEngine.)

OnClearRules

Occurs when the rule base (Rules property) of the inference engine is cleared (Inherited from InferenceEngine.TInferenceEngine.)

OnReset

Occurs when the inference engine is reset (or reinitialized) (Inherited from InferenceEngine.TInferenceEngine.)

OnStartInference

Occurs before the start of the current Run (Inherited from InferenceEngine.TInferenceEngine.)

OutputStream

Returns the stream currently being used as standard output. (Inherited from InferenceEngine.TInferenceEngine.)

Packages

Controls which function packages (TUserPackage component) the inference engine should load by default (Inherited from InferenceEngine.TInferenceEngine.)

Parser

Defines the parser the inference engine is currently using to write and read its constructs (facts, rules, function calls, etc). The parser works closely with a tokenizer (which parses strings into chunks). The parser is used by all the ParseXXXX methods and PrettyPrint methods of the TInferenceEngine component (Inherited from InferenceEngine.TInferenceEngine.)

ParserErrorHandling

Controls how the parsers report errors: whether they should stop after the first error and report it immediately or continue parsing and report all the errors at the end. (Inherited from InferenceEngine.TInferenceEngine.)

ParserMaxErrors

Controls how many errors may accumulate before parsing should be aborted. (Inherited from InferenceEngine.TInferenceEngine.)

ParserType

Defines the TIEParser class to create for parsing in the TInferenceEngine component (see Parser property). (Inherited from InferenceEngine.TInferenceEngine.)

ReloadComps

Represents property ReloadComps. (Inherited from InferenceEngine.TInferenceEngine.)

ResetGlobals

Controls whether global variables are reset to their defaults and reevaluated when the inference engine is reset (either by some actions in rules or the Reset method). (Inherited from InferenceEngine.TInferenceEngine.)

Rete

Returns the Rete network which tracks all the rule patterns and facts for the current module.  The rete network is used for efficient rule matching and inference. (Inherited from InferenceEngine.TInferenceEngine.)

Rules

Returns the rule base for the currently active defmodule of the expert system. The rule base defines the expert's knowledge about the domain (Inherited from InferenceEngine.TInferenceEngine.)

StatMaxActivations

Returns the maximum number of activations (the highest count for any module's Agenda) that occured in the last Run method call. Statistics must be enabled in the Watch property for this property to be updated (Inherited from InferenceEngine.TInferenceEngine.)

StatMaxFacts

Returns the maximum number of facts (the largest the Facts base got) that occured in the last Run method call. Statistics must be enabled in the Watch property for this property to be updated (Inherited from InferenceEngine.TInferenceEngine.)

StatMeanActivations

Returns the mean (average) number of activations in the Agenda per step that occured in the last Run method call. Statistics must be enabled in the Watch property for this property to be updated. (Inherited from InferenceEngine.TInferenceEngine.)

StatMeanFacts

Returns the mean (average) number of facts (Facts base) per step that occured in the last Run method call. Statistics must be enabled in the Watch property for this property to be updated (Inherited from InferenceEngine.TInferenceEngine.)

StatNumRulesFired

Returns the number of rules (TRule component) that fired (or, alternatively, the number of activations fired) in the last Run method call. (Inherited from InferenceEngine.TInferenceEngine.)

StatRunTime

Returns the time, in seconds, that it took for the last Run method call to complete. Statistics must be enabled in the Watch property for this property to be updated. (Inherited from InferenceEngine.TInferenceEngine.)

Storage

Provides a named storage area, or scratch space, for any data the user wants to store in it. The Storage area is used by the store, fetch, and clear-storage commands (Inherited from InferenceEngine.TInferenceEngine.)

Strategy

Controls how the inference engine orders the activation of rules. The possible values are:

ssDepthFirst - New Rule activations are placed at the front of the agenda (i.e., new rules will fire before older rules).

ssBreadthFirst - New Rule activations are placed at the end of the agenda (i.e., new rules fire after older rules)

SymbolIndex

Allows you to read and set the symbol index used to generate unique symbols with the GenerateSymbol method. You cannot set the symbol index to less than its current value (Inherited from InferenceEngine.TInferenceEngine.)

TokenizerType

Defines the tokenizing stream class to create for parsing in the TInferenceEngine component (see Parser property). The tokenizer takes a string stream such as '(+ 1 ?x)' and creates tokens: '(', '+', '1', '?x', and ')'. (Inherited from InferenceEngine.TInferenceEngine.)

TypeChecks

Controls the type constraint checking performed by the inference engine. Two types of constraint checking are available: static type constraint checking and dynamic type constraint checking. (Inherited from InferenceEngine.TInferenceEngine.)

UpdatingHT

Represents property UpdatingHT. (Inherited from InferenceEngine.TInferenceEngine.)

UserFunctions

Returns all the user functions within the inference engine. (Inherited from InferenceEngine.TInferenceEngine.)

Version

Returns the version number of the IECS (Inherited from InferenceEngine.TInferenceEngine.)

Watch

Controls the debug information printed out within the expert system process. You can watch the following items:

cwActivation - watch rule activations and deletions

cwFact - watch fact assertions and retractions

cwRule - watch rule additions and removals

cwCompilation - watch rule compilations

cwStatistics - watch execution statistics

cwFocus - watch module focus changes

AddActivation(TActivation)

Adds the rule activation to the CurrentModule's Agenda. If Rule has AutoFocus on, we need to set the context to the rule's module (Inherited from InferenceEngine.TInferenceEngine.)

AddDefaultFuzzyTerms(IFuzzyVariable)

Represents method AddDefaultFuzzyTerms(IFuzzyVariable). (Inherited from InferenceEngine.TInferenceEngine.)

AddDefaultPackages

Represents method AddDefaultPackages. (Inherited from InferenceEngine.TInferenceEngine.)

AddDefinedType(IIEDefinedType)

Represents method AddDefinedType(IIEDefinedType). (Inherited from InferenceEngine.TInferenceEngine.)

AddFactTemplate(IFactTemplate)

Represents method AddFactTemplate(IFactTemplate). (Inherited from InferenceEngine.TInferenceEngine.)

AddFactToModule(IFact,IModule)

Asserts the fact ONLY into the specified module.  Even if the fact is a shared fact, it is not inserted into other modules (Inherited from InferenceEngine.TInferenceEngine.)

AddFunction(IUserFunction)

Represents method AddFunction(IUserFunction). (Inherited from InferenceEngine.TInferenceEngine.)

AddModule(IModule)

Adds the Module to the inference engine's Modules property.  The module is initialized and all imports are performed at this time.

If the module is the MAIN module, the module is added at the front of the Modules list.  Otherwise it is added at the end.

AddPendingFact(IFact,Boolean)

Adds the specified fact to the FactsPending list as either an assertion or retraction.  The FactsPending list is processed after rule execution to assure all facts are updated (Inherited from InferenceEngine.TInferenceEngine.)

AddRule(TRule)

Represents method AddRule(TRule). (Inherited from InferenceEngine.TInferenceEngine.)

AddUserFunction(IUserFunction)

Adds a function to the expert system. The function returns true if the user function was successfully added. If the name of the function equals a function already in the function base, the old function will be deleted. After functions have been added, you may access them by using the UserFunctions property (Inherited from InferenceEngine.TInferenceEngine.)

Assert(IFact,Boolean)

Overloaded. Asserts a fact into the fact base. For non-fuzzy facts (facts with no fuzzy slots), the assert method searches the fact base. If the fact is already in the fact base, the method returns -1. If this is a new fact, the fact is asserted and the new fact id is returned. The new fact is matched against the rules within the expert system and may cause some rules to be activated.

For fuzzy facts, the assert method also searches the fact base. If the fact is found, the old fact and the new fact are combined. The inference engine calculates the union of the two facts based on the FuzzyInferenceMethod property, this is called a conditional assertion.

If Unconditional is true, the assertion calculates the intersection of the two facts as the new fact.

Assert(IFact,TFuzzyInferenceMethod,Boolean)

Overloaded. Asserts a fact into the fact base. For non-fuzzy facts (facts with no fuzzy slots), the assert method searches the fact base. If the fact is already in the fact base, the method returns -1. If this is a new fact, the fact is asserted and the new fact id is returned. The new fact is matched against the rules within the expert system and may cause some rules to be activated.

For fuzzy facts, the assert method also searches the fact base. If the fact is found, the old fact and the new fact are combined. The inference engine calculates the union of the two facts based on the FuzzyInference parameter, this is called a conditional assertion. If Unconditional is true, the assertion calculates the intersection of the two facts as the new fact.

Assert(String)

Overloaded. Asserts a fact into the fact base. For non-fuzzy facts (facts with no fuzzy slots), the assert method searches the fact base. If the fact is already in the fact base, the method returns -1. If this is a new fact, the fact is asserted and the new fact id is returned. The new fact is matched against the rules within the expert system and may cause some rules to be activated. For fuzzy facts, the assert method also searches the fact base. If the fact is found, the old fact and the new fact are combined. The inference engine calculates the union of the two facts based on the FuzzyInferenceMethod property, this is called a conditional assertion. (Inherited from InferenceEngine.TInferenceEngine.)

Assert(TFact)

Overloaded. Asserts a fact into the fact base. For non-fuzzy facts (facts with no fuzzy slots), the assert method searches the fact base. If the fact is already in the fact base, the method returns -1. If this is a new fact, the fact is asserted and the new fact id is returned. The new fact is matched against the rules within the expert system and may cause some rules to be activated.

For fuzzy facts, the assert method also searches the fact base. If the fact is found, the old fact and the new fact are combined. The inference engine calculates the union of the two facts based on the FuzzyInference parameter, this is called a conditional assertion.

Assign(TPersistent)

Represents method Assign(TPersistent). (Inherited from InferenceEngine.TInferenceEngine.)

Batch(TFilename,TEncoding)

Overloaded. Performs batch processing of expert systems. It redirects calls for standard input within the expert system to the contents of the file specified by filename. Everytime the inference engine receives a request for input, it reads from the file instead. The Batch method provides automated execution of your expert system. If the batch processing was successful, this method returns True (Inherited from InferenceEngine.TInferenceEngine.)

Batch(TStream,TEncoding)

Overloaded. Performs batch processing of expert systems. It redirects calls for standard input within the expert system to the contents of the stream. Everytime the inference engine receives a request for input, it reads from the stream instead. The Batch method provides automated execution of your expert system. If the batch processing was successful, this method returns True (Inherited from InferenceEngine.TInferenceEngine.)

BeginFactModify(IFact)

Informs the inference engine that you are modifying the fact. Use the BeginFactModify and EndFactModify methods to safely modify facts in the fact base (Facts property). BeginFactModify retracts the fact before you begin modifying it so that the Rete network will not be compromised by your modifications. EndFactModify re-asserts the fact into the fact base (Inherited from InferenceEngine.TInferenceEngine.)

BeginInference

Represents method BeginInference. (Inherited from InferenceEngine.TInferenceEngine.)

Clear

Overloaded. Clears the entire engine: all modules are deleted, all rules, all facts, fact templates. defined types and fact sets are deleted, and all interpreted functions (IInterpretedFunction interface) are deleted (Inherited from InferenceEngine.TInferenceEngine.)

Clear(IModule)

Overloaded. Clears the structures for the given module: all rules, all facts, fact templates. defined types and fact sets are deleted (Inherited from InferenceEngine.TInferenceEngine.)

ClearDefinedTypes

Represents method ClearDefinedTypes. (Inherited from InferenceEngine.TInferenceEngine.)

ClearFacts(IModule)

Clear the facts from the module (Inherited from InferenceEngine.TInferenceEngine.)

ClearFactTemplates

Represents method ClearFactTemplates. (Inherited from InferenceEngine.TInferenceEngine.)

ClearModules

Represents method ClearModules. (Inherited from InferenceEngine.TInferenceEngine.)

ClearRules

Represents method ClearRules. (Inherited from InferenceEngine.TInferenceEngine.)

ContainsUserFunction(TIEName)

Overloaded. Returns whether the inference engine contains a function with the given name (Inherited from InferenceEngine.TInferenceEngine.)

ContainsUserFunction(TIEName,IUserFunction)

Overloaded. Determines if a user function of the specified Name is available in the inference engine. If it is, the function returns TRUE and sets UserFunction to that function (Inherited from InferenceEngine.TInferenceEngine.)

CreateFactTemplate(TIEName)

Create a fact template (deftemplate in CLIPS terminology) in the expert system with the given name. The fact template is returned which can then be modified to add slots or a comment (Inherited from InferenceEngine.TInferenceEngine.)

CreateIEObject(TIEObjectType,IModule)

Creates the specified inference engine construct class.  The module parameter specifies the owner of the inference engine construct class (Inherited from InferenceEngine.TInferenceEngine.)

DefineProperties(TFiler)

Represents method DefineProperties(TFiler). (Inherited from InferenceEngine.TInferenceEngine.)

DoChangeCurrentModule

Represents method DoChangeCurrentModule. (Inherited from InferenceEngine.TInferenceEngine.)

EndFactModify(IFact)

Informs the inference engine that you are finished modifying the fact and it should be re-asserted into the fact base. Use the BeginFactModify and EndFactModify methods to safely modify facts in the fact base (Facts property). BeginFactModify retracts the fact before you begin modifying it so that the Rete network will not be compromised by your modifications. EndFactModify re-asserts the fact into the fact base (Inherited from InferenceEngine.TInferenceEngine.)

EndInference

Represents method EndInference. (Inherited from InferenceEngine.TInferenceEngine.)

EvalFuzzyExpression(IFuzzyVariable,IIEValue,TIEContext)

Overloaded. Turns the Term value into a valid fuzzy set of the variable. If the term is an integer or float, the method returns a fuzzy scalar value. If the term is a string, the method tries to parse a fuzzy expression (Inherited from InferenceEngine.TInferenceEngine.)

EvalFuzzyExpression(IFuzzyVariable,IValueVector,TIEContext)

Overloaded. Accepts a post-fix Expression vector of terms and converts the terms into a fuzzy set (Inherited from InferenceEngine.TInferenceEngine.)

EvalFuzzyExpression(IFuzzyVariable,String)

Overloaded. Parses the Expression string for a valid fuzzy expression of the variable, e.g., 'very warm or [not hot]'. The method first converts the Expression into a post-fix vector of tokens and then calls the overloaded EvalFuzzyExpression method, which converts the expression into a fuzzy set (Inherited from InferenceEngine.TInferenceEngine.)

EvalFuzzyExpression(IFuzzyVariable,String,IFuzzySet)

Overloaded. Parses the Expression string for a valid fuzzy expression of the variable, e.g., 'very warm or [not hot]'. The method first converts the Expression into a post-fix vector of tokens and then calls the overloaded EvalFuzzyExpression method, which converts the expression into a fuzzy set. The function returns the defuzzified value of the fuzzy set (Inherited from InferenceEngine.TInferenceEngine.)

EvalFuzzyExpression(IFuzzyVariable,String,TIEContext)

Overloaded. Parses the Expression string for a valid fuzzy expression of the variable, e.g., 'very warm or [not hot]'. The method first converts the Expression into a post-fix vector of tokens and then calls the overloaded EvalFuzzyExpression method, which converts the expression into a fuzzy set (Inherited from InferenceEngine.TInferenceEngine.)

FindFactTemplate(TIEName)

Returns the fact template with the given name or nil if it the table is empty or the template doesn't exist. The function only searches the current module's fact templates (Inherited from InferenceEngine.TInferenceEngine.)

FuzzyCorrelation(IFact,Single)

Modifies the Fact's fuzzy slots by the strength of the activation, represented by the Correlation parameter. This method applies the fuzzy correlation based on the FuzzyCorrelationMethod property and its value: Minimum and Product. Fuzzy correlation controls how the truth level (where 0 is completely FALSE and 1 is completely TRUE) of a rule's premise (IF portion) modifies the truth of the rule's consequents, whether fuzzy sets are truncated at the truth level (creating a plateau) or multiplied by the truth level (preserving the shape of the fuzzy set but shrinking it (Inherited from InferenceEngine.TInferenceEngine.)

FuzzyInference(IFact,IFact)

Calculates the union of two fuzzy facts. Fact1 is modified. This method performs the union operation based on the FuzzyInferenceMethod property (Inherited from InferenceEngine.TInferenceEngine.)

FuzzyIntersection(IIEValue,IIEValue,TFuzzyOperation)

Creates the fuzzy intersection of Value1 and Value1 based on the Operation parameter. If the two values are not fuzzy values (or lists of fuzzy values), nothing happens (Inherited from InferenceEngine.TInferenceEngine.)

FuzzyOperation(IFact,IFact,Boolean)

Represents method FuzzyOperation(IFact,IFact,Boolean). (Inherited from InferenceEngine.TInferenceEngine.)

FuzzyUnion(IIEValue,IIEValue,TFuzzyOperation)

Creates the fuzzy union of Value1 and Value1 based on the Operation parameter. If the two values are not fuzzy values (or lists of fuzzy values), nothing happens (Inherited from InferenceEngine.TInferenceEngine.)

GenerateSymbol(TIEName)

Returns a unique symbol, or string, based on a concatenation of the prefix and a monotonically increasing index (Inherited from InferenceEngine.TInferenceEngine.)

GetCurrentModule

Returns the current module that is active (Inherited from InferenceEngine.TInferenceEngine.)

GetExpertSystem

Overloaded. Represents method GetExpertSystem. (Inherited from InferenceEngine.TInferenceEngine.)

GetExpertSystem(Boolean)

Overloaded. Represents method GetExpertSystem(Boolean). (Inherited from InferenceEngine.TInferenceEngine.)

GetFacts(Boolean)

Returns ALL facts in every module. If Duplicates is true, facts can appear more than once (Inherited from InferenceEngine.TInferenceEngine.)

GetUserFunction(TIEName)

Returns the user function with the specified name (Inherited from InferenceEngine.TInferenceEngine.)

GetUserFunctions

Returns an iterator for UserFunction names (Inherited from InferenceEngine.TInferenceEngine.)

IsDependent(IFunCall,IFactTemplate)

Overloaded. Represents method IsDependent(IFunCall,IFactTemplate). (Inherited from InferenceEngine.TInferenceEngine.)

IsDependent(IIEValue,IFactTemplate)

Overloaded. Represents method IsDependent(IIEValue,IFactTemplate). (Inherited from InferenceEngine.TInferenceEngine.)

IsDependent(TRule,IFactTemplate)

Overloaded. Represents method IsDependent(TRule,IFactTemplate). (Inherited from InferenceEngine.TInferenceEngine.)

LoadDefinedTypes(String,TEncoding)

Overloaded. Loads a set of defined types from a file into the CurrentModule, usually saved by SaveDefinedTypes. All current rules, fact templates, and facts that depend on the current defined types (including those shared in other modules) are deleted from the inference engine (Inherited from InferenceEngine.TInferenceEngine.)

LoadDefinedTypes(TStream,TEncoding)

Overloaded. Loads a set of defined types from a stream into the CurrentModule, usually saved by SaveDefinedTypes. All current rules, fact templates, and facts that depend on the current defined types (including those shared in other modules) are deleted from the inference engine (Inherited from InferenceEngine.TInferenceEngine.)

Loaded

Represents method Loaded. (Inherited from InferenceEngine.TInferenceEngine.)

LoadFacts(String,TEncoding)

Overloaded. Loads a set of facts from a file and asserts them into the expert system (Inherited from InferenceEngine.TInferenceEngine.)

LoadFacts(TStream,TEncoding)

Overloaded. Loads a set of facts from a stream and asserts them into the expert system (Inherited from InferenceEngine.TInferenceEngine.)

LoadFactSetsProperty(TReader)

Represents method LoadFactSetsProperty(TReader). (Inherited from InferenceEngine.TInferenceEngine.)

LoadFactsProperty(TReader)

Represents method LoadFactsProperty(TReader). (Inherited from InferenceEngine.TInferenceEngine.)

LoadFactTemplates(String,TEncoding)

Overloaded. Loads a set of fact templates from a file into the CurrentModule, usually saved by SaveFactTemplates. The current rules, fact templates, and facts for the module are deleted from the inference engine (i.e., the FactTemplates.Clear method is called) (Inherited from InferenceEngine.TInferenceEngine.)

LoadFactTemplates(TStream,TEncoding)

Overloaded. Loads a set of fact templates from a stream into the CurrentModule, usually saved by SaveFactTemplates. The current rules, fact templates, and facts for the module are deleted from the inference engine (i.e., the FactTemplates.Clear method is called) (Inherited from InferenceEngine.TInferenceEngine.)

LoadFromFile(String,TEncoding)

Loads an expert system file (such as CLIPS) into the inference engine, this includes modules, defined types, fact templates, rules, facts and fact sets. The expert system is parsed by the inference engine using the current parser. (Inherited from InferenceEngine.TInferenceEngine.)

LoadFromStream(TStream,TEncoding)

Loads an expert system from a stream (such as CLIPS) into the inference engine, this includes modules, defined types, fact templates, rules, facts and fact sets. The expert system is parsed by the inference engine using the current parser. (Inherited from InferenceEngine.TInferenceEngine.)

LoadModules(String,TEncoding)

Overloaded. Loads a set of modules and their import/export parameters into the inference engine from a file. The current expert system is deleted, including its modules, defined types, fact templates, facts, rules, and fact sets. (Inherited from InferenceEngine.TInferenceEngine.)

LoadModules(TStream,TEncoding)

Overloaded. Loads a set of modules and their import/export parameters into the inference engine from a stream. The current expert system is deleted, including its modules, defined types, fact templates, facts, rules, and fact sets. (Inherited from InferenceEngine.TInferenceEngine.)

LoadModuleTextProperty(TReader)

Represents method LoadModuleTextProperty(TReader). (Inherited from InferenceEngine.TInferenceEngine.)

LoadRules(String,TEncoding)

Overloaded. Loads a set of rules from a file, usually saved by SaveRules, into the CurrentModule. The current rules are deleted from the inference engine (Inherited from InferenceEngine.TInferenceEngine.)

LoadRules(TStream,TEncoding)

Overloaded. Loads a set of rules from a stream, usually saved by SaveRules, into the CurrentModule. The current rules are deleted from the inference engine (Inherited from InferenceEngine.TInferenceEngine.)

Lock

Requests control of the TInferenceEngine component for the current thread. The Lock method will block other threads from locking the inference engine until the current thread releases the lock with the Unlock method. (Inherited from InferenceEngine.TInferenceEngine.)

NewFactId

Returns a new fact id (Inherited from InferenceEngine.TInferenceEngine.)

NewParser(TStream)

Represents method NewParser(TStream). (Inherited from InferenceEngine.TInferenceEngine.)

NewRuleId

Returns a new unique rule id (Inherited from InferenceEngine.TInferenceEngine.)

NewTokenizer(String,Word)

Overloaded. Creates a new tokenizer for the file using the TokenizerType (Inherited from InferenceEngine.TInferenceEngine.)

NewTokenizer(TStream,TEncoding)

Overloaded. Represents method NewTokenizer(TStream,TEncoding). (Inherited from InferenceEngine.TInferenceEngine.)

Notification(TComponent,TOperation)

Represents method Notification(TComponent,TOperation). (Inherited from InferenceEngine.TInferenceEngine.)

Parse(String,Boolean,TEncoding)

Overloaded. Parse the input string for an expert system construct (based on the IE tokenizer, currently CLIPS) (Inherited from InferenceEngine.TInferenceEngine.)

Parse(String,TIEType,TEncoding)

Overloaded. parse the input string for a given value type. The string may be any valid value, from a primitive type like an integer or float to a function call (Inherited from InferenceEngine.TInferenceEngine.)

ParseConstructType(String,TEncoding)

Parses the string and returns the construct type detected.  The function returns ptNone for an unknown type. With a CLIPS parser, this function will return ptFunCall for unrecognized keywords following a parentheses, e.g., "(SomeName)" (Inherited from InferenceEngine.TInferenceEngine.)

ParseDefinedType(String,TEncoding)

Parse the string for a defined type and returns the defined type. The defined type is not added to the inference engine. (Inherited from InferenceEngine.TInferenceEngine.)

ParseFact(String,TEncoding)

Parses the string for a fact and returns the fact. The fact is not asserted or in anyway added to the inference engine (Inherited from InferenceEngine.TInferenceEngine.)

ParseFactSet(String,TEncoding)

Parses the string for a fact set and returns the fact set. The fact set is not added to the inference engine (Inherited from InferenceEngine.TInferenceEngine.)

ParseFactSlot(IFact,String,TEncoding)

Parses the string for a fact slot, adds the slot to the fact, and returns the name of the new slot (Inherited from InferenceEngine.TInferenceEngine.)

ParseFactTemplate(String,TEncoding)

Parses the string for a fact template and returns the fact template. The fact template is not added to the inference engine (Inherited from InferenceEngine.TInferenceEngine.)

ParseFactTemplateSlot(String,TEncoding)

Parses the string for a fact template slot and returns an IFactSlot interface. The fact slot is NOT added to a fact template, call the IFactTemplate.AddSlot method to add it instead (Inherited from InferenceEngine.TInferenceEngine.)

ParseFullName(String,String,TEncoding)

Parses the string for a fully qualified name (e.g., in CLIPS: [MODULE::]NAME).  The function returns the name as the result.  The Module name is returned in the Module parameter; if no module name is detected, Module will equal an empty string (Inherited from InferenceEngine.TInferenceEngine.)

ParseFunCall(String,TEncoding)

Parses the string for a function call and returns the call. The function call is not executed (resolved) or added to the inference engine (Inherited from InferenceEngine.TInferenceEngine.)

ParseFunction(String,TEncoding)

Parses the string for a user function and returns the function. The function is not added to the inference engine (Inherited from InferenceEngine.TInferenceEngine.)

ParseFuzzyExpression(IFuzzyVariable,String,TEncoding)

Parses the string for a fuzzy expression (an expression that defines the shape of a fuzzy set in the Fuzzy Variable) of the Variable and returns the fuzzy set (Inherited from InferenceEngine.TInferenceEngine.)

ParseFuzzySet(IFuzzyVariable,String,TEncoding)

Parses the string for a fuzzy set definition and returns the fuzzy set. The new fuzzy set is added to the fuzzy variable (Inherited from InferenceEngine.TInferenceEngine.)

ParseFuzzyVariable(String,TEncoding)

Parses the string for a fuzzy variable definition and returns the fuzzy variable (Inherited from InferenceEngine.TInferenceEngine.)

ParseGlobalVariables(String,TEncoding)

Parses the string for global variables and adds them to the inference engine (Inherited from InferenceEngine.TInferenceEngine.)

ParseList(String,TEncoding)

Parses the string for a list of values (Inherited from InferenceEngine.TInferenceEngine.)

ParseModule(String,TEncoding)

Parses the string for a module and returns the module. The module is not added to the inference engine (Inherited from InferenceEngine.TInferenceEngine.)

ParseNExecuteFunCall(String,TEncoding)

Parses the string for a function call and executes the function call. The result of the function call is returned (Inherited from InferenceEngine.TInferenceEngine.)

ParseRule(String,TEncoding)

Parses the string for a rule and returns the rule. The rule is not added to the inference engine (Inherited from InferenceEngine.TInferenceEngine.)

ParseRuleActions(TRule,TIEParserVariables,String,TEncoding)

Parses the string for rule actions (THEN portion), adds the actions to the Rule parameter, and returns the rule (Inherited from InferenceEngine.TInferenceEngine.)

ParseRulePatterns(TRule,TIEParserVariables,String,TEncoding)

Parses the string for rule patterns (IF portion), adds the patterns to the Rule parameter, and returns the rule (Inherited from InferenceEngine.TInferenceEngine.)

ParseSingletons(String,TEncoding)

Parses the string for a singletons vector (XY value pairs that define a 2D plot, or fuzzy expression ) and returns the singletons vector (Inherited from InferenceEngine.TInferenceEngine.)

ParseValue(String,IFactSlot,TEncoding)

Overloaded. Parses the string for a value and returns the value.  The FactSlot parameter tells the parser what type should be expected for the string (Inherited from InferenceEngine.TInferenceEngine.)

ParseValue(String,TEncoding)

Overloaded. Parses the string for a value and returns the value. The value is not resolved (Inherited from InferenceEngine.TInferenceEngine.)

ParseValue(String,TIETypes,IIEDefinedType,TEncoding)

Overloaded. Parses the string for a value and returns the value. The SlotType and OptionalTypeInfo parameters tell the parser what type should be expected for the string (Inherited from InferenceEngine.TInferenceEngine.)

ParseVariable(String,String,TEncoding)

Parses the string for a variable definition. The name of the variable is returned in the Name parameter, the result of the function contains the variable value. The variable is not added to the inference engine (Inherited from InferenceEngine.TInferenceEngine.)

PeekFocus

Returns the module at the Top of the FocusStack. This is also the CurrentFocus module - the module currently focused during inference (Inherited from InferenceEngine.TInferenceEngine.)

PlotFuzzySet(String,IIEValue,TFzyFloat,TFzyFloat,String)

Overloaded. Creates an ASCII-based 2D plot for the specified FuzzySet and writes it to the output stream (see IOStreams property) identified by the OutID parameter (the default OnPrintOut event stream is the empty string). The Low and High parameters specify the minimum and maximum X range for the plot. The PlotChars parameter specifies the character to use for each fuzzy set plotted, by default an *. (Inherited from InferenceEngine.TInferenceEngine.)

PlotFuzzySet(String,IValueVector,TFzyFloat,TFzyFloat,String)

Overloaded. Creates an ASCII-based 2D plot for the ALL of the FuzzySets and writes it to the output stream (see IOStreams property) identified by the OutID parameter (the default OnPrintOut event stream is the empty string). The Low and High parameters specify the minimum and maximum X range for the plot. The PlotChars parameter specifies the character to use for each fuzzy set plotted, by default an *. (Inherited from InferenceEngine.TInferenceEngine.)

PopFocus

Retrieves the module from the top of the FocusStack and makes it the currently focused module (CurrentFocus). The currently focused module is the module that is executing during Run. (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(IFact)

Overloaded. Returns a "pretty print" of a fact, it takes a fact interface to an object and returns a string representation of it based on the current TIEParser (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(IFact,String)

Overloaded. Returns a "pretty print" of a fact slot, it takes a fact interface to an object and returns a string representation of it based on the current TIEParser (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(IFact,String,IIEValue)

Overloaded. Returns a "pretty print" of a fact slot, it takes a fact interface to an object and returns a string representation of it based on the current TIEParser (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(IFact,String,String)

Overloaded. Returns a "pretty print" of a fact slot, it takes a fact interface to an object and returns a string representation of it based on the current TIEParser (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(IFactSlot)

Overloaded. Returns a "pretty print" of a fact slot, it takes a fact interface to an object and returns a string representation of it based on the current TIEParser (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(IFactTemplate)

Overloaded. Returns a "pretty print" of a fact template, it takes a fact template interface and returns a string representation of it based on the current TIEParser  (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(IFunCall)

Overloaded. Returns a "pretty print" of a function call, it takes a function call interface and returns a string representation of it based on the current TIEParser  (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(IFuzzySet,Boolean)

Overloaded. Returns a "pretty print" of a fuzzy set, either as a fuzzy expression or as a Type Definition, it takes a fuzzy set interface to an object and returns a string representation of it based on the current TIEParser  (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(IFuzzyVariable)

Overloaded. Returns a "pretty print" of a fuzzy variable, it takes a fuzzy variable interface to an object and returns a string representation of it based on the current TIEParser  (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(IIEDefinedType)

Overloaded. Returns a "pretty print" of a defined type, it takes a defined type interface to an object and returns a string representation of it based on the current TIEParser (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(IInterpretedFunction)

Overloaded. Returns a "pretty print" of an interpreted user function, it takes the user function and returns a string representation of it based on the current TIEParser (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(IModule)

Overloaded. Returns a "pretty print" of a module definition.  The method accepts a module interface to an object and returns a string representation of it based on the current TIEParser.  The module definition only includes the module and its imports/exports.  The string does not contain construct definitions (e.g., fact templates, rules, etc). (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(ISingletonsVector)

Overloaded. Returns a "pretty print" of a singletons vector, it takes a singletons vector interface to an object and returns a string representation of it based on the current TIEParser (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(IUserFunction)

Overloaded. Returns a "pretty print" of a user function, it takes the user function and returns a string representation of it based on the current TIEParser (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(String,IIEValue)

Overloaded. Returns a "pretty print" of a variable defintion, it takes a variable name and value and returns a string representation of it based on the current TIEParser (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(TFactSet)

Overloaded. Returns a "pretty print" of a fact set, it takes a fact set object and returns a string representation of it based on the current TIEParser (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(TIEPattern)

Overloaded. Returns a "pretty print" of a pattern (a pattern is what matches a fact with a condition in a rule), it takes a pattern object and returns a string representation of it based on the current TIEParser  (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(TRule)

Overloaded. Returns a "pretty print" of a rule, it takes a rule object and returns a string representation of it based on the current TIEParser (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrint(TRule,TRuleConstruct)

Overloaded. Returns a "pretty print" of part of a rule, either its patterns or actions (based on Constructs parameter), it takes a rule object and returns a string representation of it based on the current TIEParser (Inherited from InferenceEngine.TInferenceEngine.)

PrettyPrintGlobalVariables

Returns a "pretty print" of all the global variables in the inference engine, the function returns a string representation based on the current TIEParser (Inherited from InferenceEngine.TInferenceEngine.)

PrintOut(String)

Overloaded. Calls the OnPrintOut event handler or does nothing if no handler is assigned (Inherited from InferenceEngine.TInferenceEngine.)

PrintOut(String,String)

Overloaded. Prints out the Text to the IOStreams identified by OutId. If OutId equals 't' or is blank, the printout routine calls the OnPrintOut event handler or does nothing if no handler is assigned (Inherited from InferenceEngine.TInferenceEngine.)

ProcessPendingFacts

Processes the pending facts and adds or deletes them from the fact base, which may cause new rule activations (Inherited from InferenceEngine.TInferenceEngine.)

PushFocus(IModule)

Overloaded. Pushes the specified module to the top of the FocusStack. The inference engine manages a focus stack which lists the order of modules to obtain focus during execution (Run) (Inherited from InferenceEngine.TInferenceEngine.)

PushFocus(String)

Overloaded. Pushes the specified module to the top of the FocusStack. The inference engine manages a focus stack which lists the order of modules to obtain focus during execution (Run) (Inherited from InferenceEngine.TInferenceEngine.)

ReadLine(String)

Reads a string from the stream (IOStreams) identified by the InId. Then the OnReadLine event is called. If the InId is blank or equal to 't', the ReadLine function calls the OnReadLine event only (Inherited from InferenceEngine.TInferenceEngine.)

ReadToken(String)

Reads a token from the stream (IOStreams) identified by the InId. Then the OnReadToken event is called. If the InId is blank or equal to 't', the ReadToken function calls the OnReadToken event only (Inherited from InferenceEngine.TInferenceEngine.)

Reload(TComponent)

Call this method to inform the inference engine to reload a TComponent in its loaded method.  This method allows objects, such as rules, to inform the inference engine to reload them later (necessary for the rule to fix itself) (Inherited from InferenceEngine.TInferenceEngine.)

RemoveActivation(Integer)

Overloaded. Represents method RemoveActivation(Integer). (Inherited from InferenceEngine.TInferenceEngine.)

RemoveActivation(TActivation)

Overloaded. Removes the rule activation from the Agenda (Inherited from InferenceEngine.TInferenceEngine.)

RemoveDefinedType(IIEDefinedType)

Represents method RemoveDefinedType(IIEDefinedType). (Inherited from InferenceEngine.TInferenceEngine.)

RemoveDependencies

Overloaded. Represents method RemoveDependencies. (Inherited from InferenceEngine.TInferenceEngine.)

RemoveDependencies(IFactTemplate)

Overloaded. Represents method RemoveDependencies(IFactTemplate). (Inherited from InferenceEngine.TInferenceEngine.)

RemoveDependencies(IFactTemplate,TIStringList)

Overloaded. Represents method RemoveDependencies(IFactTemplate,TIStringList). (Inherited from InferenceEngine.TInferenceEngine.)

RemoveDependencies(IIEDefinedType)

Overloaded. Represents method RemoveDependencies(IIEDefinedType). (Inherited from InferenceEngine.TInferenceEngine.)

RemoveDependencies(IModule,IFactTemplate)

Overloaded. Represents method RemoveDependencies(IModule,IFactTemplate). (Inherited from InferenceEngine.TInferenceEngine.)

RemoveDependencies(IModule,IIEDefinedType)

Overloaded. Represents method RemoveDependencies(IModule,IIEDefinedType). (Inherited from InferenceEngine.TInferenceEngine.)

RemoveFactFromModule(Integer,IFact,IModule)

Represents method RemoveFactFromModule(Integer,IFact,IModule). (Inherited from InferenceEngine.TInferenceEngine.)

RemoveFactTemplate(IFactTemplate)

Represents method RemoveFactTemplate(IFactTemplate). (Inherited from InferenceEngine.TInferenceEngine.)

RemoveFunction(IUserFunction)

Represents method RemoveFunction(IUserFunction). (Inherited from InferenceEngine.TInferenceEngine.)

RemoveModule(IModule)

Removes the specified defmodule from the expert system. The module is cleared and all of its resources are released. (Inherited from InferenceEngine.TInferenceEngine.)

RemoveRule(TRule)

Represents method RemoveRule(TRule). (Inherited from InferenceEngine.TInferenceEngine.)

RemoveTypeDependencies

Represents method RemoveTypeDependencies. (Inherited from InferenceEngine.TInferenceEngine.)

RemoveUserFunction(IUserFunction)

Removes a user function from the expert system. The user function will no longer be available from the rules or fact base. Be careful removing functions as even basic functions like assert and retract may be removed. (Inherited from InferenceEngine.TInferenceEngine.)

RenameDefinedType(IIEDefinedType,TIEName,TIEName)

Renames a defined type. This method is called when a deftype's name is changed in order to update the inference engine to match. There is no reason to call this method directly. (Inherited from InferenceEngine.TInferenceEngine.)

RenameFactTemplate(IFactTemplate,TIEName,TIEName)

Renames a fact template. This method is called when a deftemplate's name is changed in order to update the inference engine to match. There is no reason to call this method directly. (Inherited from InferenceEngine.TInferenceEngine.)

RenameModule(TIEName,TIEName)

Renames a module. This method is called when a module's name is changed in order to update the inference engine to match and ensure the new name is unique. There is no reason to call this method directly. (Inherited from InferenceEngine.TInferenceEngine.)

RenameRule(TIEName,TIEName)

Renames a rule. This method is called when a rule's name is changed in order to update the inference engine to match. There is no reason to call this method directly. (Inherited from InferenceEngine.TInferenceEngine.)

ReplaceDefinedType(IIEDefinedType,IIEDefinedType)

Represents method ReplaceDefinedType(IIEDefinedType,IIEDefinedType). (Inherited from InferenceEngine.TInferenceEngine.)

ReplaceTemplate(IFactTemplate,IFactTemplate)

Represents method ReplaceTemplate(IFactTemplate,IFactTemplate). (Inherited from InferenceEngine.TInferenceEngine.)

ReplaceTypesInFactTemplates(IIEDefinedType,IIEDefinedType)

Represents method ReplaceTypesInFactTemplates(IIEDefinedType,IIEDefinedType). (Inherited from InferenceEngine.TInferenceEngine.)

Reset

Overloaded. Resets the expert system. First, the agenda is cleared, all facts are deleted, and all global variables are removed. If the ResetGlobals property is true, the global variables are reset to their initial values. Any Fact sets available have their facts asserted. Finally, the initial fact is asserted to start the whole inference process over again (Inherited from InferenceEngine.TInferenceEngine.)

Reset(IModule)

Overloaded. Resets the specified module. The agenda is cleared, and all facts are deleted. Any Fact sets available have their facts asserted. (Inherited from InferenceEngine.TInferenceEngine.)

ResetGlobalVariable(String,IIEValue)

Represents method ResetGlobalVariable(String,IIEValue). (Inherited from InferenceEngine.TInferenceEngine.)

Retract(IFact)

Overloaded. Removes a fact that equals the specified fact from the fact base (Facts property). It also triggers a match search for any rule which looks for the "not" of a fact (such as if there is NOT this fact THEN do something). If there are no facts like the specified fact in the fact base, nothing happens (Inherited from InferenceEngine.TInferenceEngine.)

Retract(Integer)

Overloaded. Removes a fact that equals the specified fact id from the fact base (Facts property). It also triggers a match search for any rule which looks for the "not" of a fact (such as if there is NOT this fact THEN do something). If there are no facts like the specified fact in the fact base, nothing happens (Inherited from InferenceEngine.TInferenceEngine.)

Retract(String)

Overloaded. Removes a fact that equals the specified fact string from the fact base (Facts property). It also triggers a match search for any rule which looks for the "not" of a fact (such as if there is NOT this fact THEN do something). If there are no facts like the specified fact in the fact base, nothing happens (Inherited from InferenceEngine.TInferenceEngine.)

RetractFact(IFact)

Overloaded. Removes the fact from the CurrentModule's fact base (Facts property). It also triggers a match search for any rule which looks for the "not" of a fact (such as if there is NOT this fact THEN do something). If there are no facts like the specified fact in the fact base, nothing happens (Inherited from InferenceEngine.TInferenceEngine.)

RetractFact(Integer)

Overloaded. Represents method RetractFact(Integer). (Inherited from InferenceEngine.TInferenceEngine.)

RetractFacts

Represents method RetractFacts. (Inherited from InferenceEngine.TInferenceEngine.)

RuleChange(TRule)

Call the RuleChange method when the patterns of a rule have been modified.  This method directs the inference engine to recreate its pattern matching for the rule in the rete network (Inherited from InferenceEngine.TInferenceEngine.)

RuleFired(TActivation)

Represents method RuleFired(TActivation). (Inherited from InferenceEngine.TInferenceEngine.)

Run

Overloaded. Executes the inference engine. The function executes until no more activations are on the agenda. The function returns the actual number of activations that occured. If there are no activations on the agenda, no rules will be fired (Inherited from InferenceEngine.TInferenceEngine.)

Run(Integer)

Overloaded. Executes the inference engine. MaxNumber details the maximum number of rule activations to fire before returning. The function returns the actual number of activations that occured. If there are no activations on the agenda, no rules will be fire. To step through the expert system seeing exactly what occurs, use Run( 1 ) in a loop (Inherited from InferenceEngine.TInferenceEngine.)

SaveDefinedTypes(String,TEncoding)

Overloaded. Saves all of the CurrentModule's defined types (DefinedTypes property) to a file (Inherited from InferenceEngine.TInferenceEngine.)

SaveDefinedTypes(TStream,TEncoding)

Overloaded. Saves all of the CurrentModule's defined types (DefinedTypes property) to a stream (Inherited from InferenceEngine.TInferenceEngine.)

SaveFacts(String,String,TEncoding)

Overloaded. Saves all the facts in the current fact base (Facts property) that use the specified fact template name to a file (Inherited from InferenceEngine.TInferenceEngine.)

SaveFacts(String,TEncoding)

Overloaded. Saves the CurrentModule's fact base (Facts property) to a file (Inherited from InferenceEngine.TInferenceEngine.)

SaveFacts(TStream,String,TEncoding)

Overloaded. Saves all the facts in the current fact base (Facts property) that use the specified fact template name to a stream (Inherited from InferenceEngine.TInferenceEngine.)

SaveFacts(TStream,TEncoding)

Overloaded. Saves the CurrentModule's fact base (Facts property) to a stream (Inherited from InferenceEngine.TInferenceEngine.)

SaveFactTemplates(String,TEncoding)

Overloaded. Saves all of the CurrentModule's fact templates (FactTemplates property) to a file (Inherited from InferenceEngine.TInferenceEngine.)

SaveFactTemplates(TStream,TEncoding)

Overloaded. Saves all of the CurrentModule's fact templates (FactTemplates property) to a stream (Inherited from InferenceEngine.TInferenceEngine.)

SaveModules(String,TEncoding)

Overloaded. Saves the modules of the expert system to a file. The method saves the module definitions, which include the module name, comment, and imports/exports. The constructs (defined types, fact templates, etc) are not saved. (Inherited from InferenceEngine.TInferenceEngine.)

SaveModules(TStream,TEncoding)

Overloaded. Saves the modules of the expert system to a stream. The method saves the module definitions, which include the module name, comment, and imports/exports. The constructs (defined types, fact templates, etc) are not saved. (Inherited from InferenceEngine.TInferenceEngine.)

SaveRules(String,TEncoding)

Overloaded. Saves the CurrentModule's rule base (Rules property) to a file. (Inherited from InferenceEngine.TInferenceEngine.)

SaveRules(TStream,TEncoding)

Overloaded. Saves the CurrentModule's rule base (Rules property) to a stream. (Inherited from InferenceEngine.TInferenceEngine.)

SaveToFile(String,TEncoding)

Overloaded. Saves the current expert system to a file in a text format. The text is saved in a parsable format (such as CLIPS). The method saves the inference engine's modules, defined types, fact templates, rules, facts and fact sets (Inherited from InferenceEngine.TInferenceEngine.)

SaveToStream(TStream,TEncoding)

Overloaded. Saves the current expert system to a stream in a text format. The text is saved in a parsable format (such as CLIPS). The method saves the inference engine's modules, defined types, fact templates, rules, facts and fact sets (Inherited from InferenceEngine.TInferenceEngine.)

SearchSalience(Integer)

Represents method SearchSalience(Integer). (Inherited from InferenceEngine.TInferenceEngine.)

SetActivation(Integer,TActivation)

Represents method SetActivation(Integer,TActivation). (Inherited from InferenceEngine.TInferenceEngine.)

SetExpertSystem(String)

Represents method SetExpertSystem(String). (Inherited from InferenceEngine.TInferenceEngine.)

SetStrategy(TSearchStrategy)

Represents method SetStrategy(TSearchStrategy). (Inherited from InferenceEngine.TInferenceEngine.)

SetUpdatingHT(Boolean)

Represents method SetUpdatingHT(Boolean). (Inherited from InferenceEngine.TInferenceEngine.)

SetUserFunction(TIEName,IUserFunction)

Associates the user function with the specified name (Inherited from InferenceEngine.TInferenceEngine.)

StartCapture(TFilename,TEncoding)

Overloaded. Starts capturing your expert system's output to the specified file. This method commands the inference engine to redirect any calls to standard output within the expert system (TPrintOutFunction user function and PrintOut method) to the file specified by filename. The contents of the file if it exists will be overwritten. All calls to the PrintOut method will go to the file until the StopCapture method is called (Inherited from InferenceEngine.TInferenceEngine.)

StartCapture(TStream,TEncoding)

Overloaded. Starts capturing your expert system's output to the specified stream. This method commands the inference engine to redirect any calls to standard output within the expert system (TPrintOutFunction user function and PrintOut method) to the stream. All calls to the PrintOut method will go to the stream until the StopCapture method is called (Inherited from InferenceEngine.TInferenceEngine.)

StopCapture

Stops the capturing of the inference engine's standard output started by the StartCapture method (Inherited from InferenceEngine.TInferenceEngine.)

StoreFactSetsProperty(TWriter)

Represents method StoreFactSetsProperty(TWriter). (Inherited from InferenceEngine.TInferenceEngine.)

StoreFactsProperty(TWriter)

Represents method StoreFactsProperty(TWriter). (Inherited from InferenceEngine.TInferenceEngine.)

StoreModuleTextProperty(TWriter)

Represents method StoreModuleTextProperty(TWriter). (Inherited from InferenceEngine.TInferenceEngine.)

Unlock

Releases a thread's lock on the TInferenceEngine component allowing other threads to complete their Lock method. You must unlock the TInferenceEngine to allow other threads to not be blocked by Lock method calls. (Inherited from InferenceEngine.TInferenceEngine.)

UpdateDependencies(TIStringList)

Represents method UpdateDependencies(TIStringList). (Inherited from InferenceEngine.TInferenceEngine.)

UpdateDependentFact(IFact,IFact)

Represents method UpdateDependentFact(IFact,IFact). (Inherited from InferenceEngine.TInferenceEngine.)

OnAddActivation

Occurs when a rule activation is added to the Agenda. (Inherited from InferenceEngine.TInferenceEngine.)

OnAddDefinedType

Occurs when a new defined type is added to the defined types table (DefinedTypes property) (Inherited from InferenceEngine.TInferenceEngine.)

OnAddModule

Occurs when a new module is added to the Modules list (Inherited from InferenceEngine.TInferenceEngine.)

OnAddRule

Occurs when a new rule is added to the rule base (Rules property) (Inherited from InferenceEngine.TInferenceEngine.)

OnAddUserFunction

Occurs when a user function is added to the inference engine (Inherited from InferenceEngine.TInferenceEngine.)

OnAssertion

Occurs when a fact is asserted into the fact base (Facts property) using one of the Assert methods. The fact is added to the fact base and rules are activated (Agenda property and OnAddActivation event) before the event is called (Inherited from InferenceEngine.TInferenceEngine.)

OnClearModule

occurs when a module is cleared (Clear) (Inherited from InferenceEngine.TInferenceEngine.)

OnEndInference

Occurs when the current Run ends (Inherited from InferenceEngine.TInferenceEngine.)

OnFuzzyCorrelation

Occurs just before the inference engine is about to perform FuzzyCorrelation. This event gives you the opportunity to perform fuzzy correlation yourself. Set Done to True to prevent the FuzzyCorrelation method from executing (Inherited from InferenceEngine.TInferenceEngine.)

OnFuzzyInference

Occurs just before the inference engine is about to perform FuzzyInference. This event gives you the opportunity to perform fuzzy inference yourself. Set Done to True to prevent the FuzzyInference method from executing (Inherited from InferenceEngine.TInferenceEngine.)

OnNewFactTemplate

Occurs when a new fact template is added to the list of fact templates (FactTemplates property) for the current defmodule (Inherited from InferenceEngine.TInferenceEngine.)

OnParse

Occurs whenever an inference engine construct (rule, fact, etc) is parsed from a stream (Inherited from InferenceEngine.TInferenceEngine.)

OnParseDefinedType

Occurs whenever a defined type (IIEDefinedType interface) is parsed from a stream, such as when ParseDefinedType is called but it may also occur at other times (Inherited from InferenceEngine.TInferenceEngine.)

OnParseFact

Occurs whenever a fact (IFact interface) is parsed from a stream, such as when ParseFact is called but it may also occur at other times (Inherited from InferenceEngine.TInferenceEngine.)

OnParseFactSet

Occurs whenever a fact set (TFactSet component) is parsed from a stream, such as when ParseFactSet is called but it may also occur at other times (Inherited from InferenceEngine.TInferenceEngine.)

OnParseFactTemplate

Occurs whenever a fact template (IFactTemplate interface) is parsed from a stream, such as when ParseFactTemplate is called but it may also occur at other times (Inherited from InferenceEngine.TInferenceEngine.)

OnParseFunCall

Occurs whenever a function call (IFunCall interface) is parsed from a stream and executed, such as when ParseFunCall is called but it may also occur at other times (Inherited from InferenceEngine.TInferenceEngine.)

OnParseFunction

Occurs whenever a function (IUserFunction interface) is parsed from a stream, such as when ParseFunction is called but it may also occur at other times (Inherited from InferenceEngine.TInferenceEngine.)

OnParseFuzzySet

Occurs whenever a fuzzy set (FuzzyLogic.hlpIFuzzySet interface) is parsed from a stream, such as when ParseFuzzySet is called but it may also occur at other times (Inherited from InferenceEngine.TInferenceEngine.)

OnParseFuzzyVariable

Occurs whenever a fuzzy variable (IFuzzyVariable interface) is parsed from a stream, such as when ParseFuzzyVariable is called but it may also occur at other times (Inherited from InferenceEngine.TInferenceEngine.)

OnParseModule

Occurs whenever a module (IModule) is parsed from a stream, such as when ParseModule is called but it may also occur at other times (Inherited from InferenceEngine.TInferenceEngine.)

OnParsePattern

Occurs whenever a rule pattern (TIEPattern object) is parsed from a stream, such as when ParsePattern is called but it may also occur at other times (Inherited from InferenceEngine.TInferenceEngine.)

OnParseRule

Occurs whenever a rule (TRule component) is parsed from a stream, such as when ParseRule is called but it may also occur at other times (Inherited from InferenceEngine.TInferenceEngine.)

OnParseSingletons

Occurs whenever a singletons vector (ISingletonsVector interface) is parsed from a stream, such as when ParseSingletons is called but it may also occur at other times (Inherited from InferenceEngine.TInferenceEngine.)

OnParseVariable

Occurs whenever a variable (IIEValue interface) is parsed from a stream, such as when ParseGlobalVariables is called but it may also occur at other times (Inherited from InferenceEngine.TInferenceEngine.)

OnPopFocus

Occurs when a module is popped off of the FocusStack (Inherited from InferenceEngine.TInferenceEngine.)

OnPrintOut

Occurs when the PrintOut method is called. The OutId identifies the console or stream where the printout method is directed to print out to (Inherited from InferenceEngine.TInferenceEngine.)

OnPushFocus

Occurs when a module is pushed onto the top of the FocusStack (Inherited from InferenceEngine.TInferenceEngine.)

OnReadLine

Occurs when the ReadLine method is called (Inherited from InferenceEngine.TInferenceEngine.)

OnReadToken

Occurs when the ReadToken method is called (Inherited from InferenceEngine.TInferenceEngine.)

OnRemoveActivation

Occurs when a rule activation is removed from the Agenda (Inherited from InferenceEngine.TInferenceEngine.)

OnRemoveDefinedType

Occurs when a defined type is removed from the defined types table (DefinedTypes property) (Inherited from InferenceEngine.TInferenceEngine.)

OnRemoveFactTemplate

Occurs when a fact template is removed from the list of fact templates (FactTemplates property) (Inherited from InferenceEngine.TInferenceEngine.)

OnRemoveModule

Occurs when a module is removed from the Modules list (Inherited from InferenceEngine.TInferenceEngine.)

OnRemoveRule

Occurs when a rule is removed from the rule base (Rules property) (Inherited from InferenceEngine.TInferenceEngine.)

OnRemoveUserFunction

Occurs when a user function is removed from the UserFunctions list (Inherited from InferenceEngine.TInferenceEngine.)

OnRetraction

Occurs when a fact is retracted from the fact base (Facts property) using one of the Retract methods (Inherited from InferenceEngine.TInferenceEngine.)

OnRuleFired

Occurs when a rule is fired during inference (Inherited from InferenceEngine.TInferenceEngine.)

FAgenda

Represents field FAgenda. (Inherited from InferenceEngine.TInferenceEngine.)

FCurrentModule

Represents field FCurrentModule. (Inherited from InferenceEngine.TInferenceEngine.)

FDefinedTypes

Represents field FDefinedTypes. (Inherited from InferenceEngine.TInferenceEngine.)

FFacts

Represents field FFacts. (Inherited from InferenceEngine.TInferenceEngine.)

FFactSets

Represents field FFactSets. (Inherited from InferenceEngine.TInferenceEngine.)

FFactsPending

Represents field FFactsPending. (Inherited from InferenceEngine.TInferenceEngine.)

FFactTemplates

Represents field FFactTemplates. (Inherited from InferenceEngine.TInferenceEngine.)

FInitialFactPattern

Represents field FInitialFactPattern. (Inherited from InferenceEngine.TInferenceEngine.)

FNullFact

Represents field FNullFact. (Inherited from InferenceEngine.TInferenceEngine.)

FRete

Represents field FRete. (Inherited from InferenceEngine.TInferenceEngine.)

FRules

Represents field FRules. (Inherited from InferenceEngine.TInferenceEngine.)