Inference
@kortexya/reasoninglayer / Inference
Inference
Interfaces
- AddFactRequest
- AddFactResponse
- AddRuleRequest
- AddRuleResponse
- BackwardChainRequest
- BackwardChainResponse
- BayesianPredictRequest
- BayesianPredictResponse
- BindingDto
- BulkAddFactsRequest
- BulkAddFactsResponse
- BulkAddRulesRequest
- BulkAddRulesResponse
- BulkFuzzyProveRequest
- BulkFuzzyProveResponse
- ClearFactsResponse
- CreateGoalRequest
- CreateGoalResponse
- DeleteGoalResponse
- FactConfidenceEntry
- ForwardChainRequest
- ForwardChainResponse
- FuzzyProveRequest
- FuzzyProveResponse
- GetFactsResponse
- GoalDto
- GoalSummaryDto
- HomoiconicSubstitutionDto
- ListGoalsResponse
- LiteralInputDto
- MetaSortsResponse
- NafProveRequest
- NafProveResponse
- ProofDto
- ProvenanceTagDto
- SolutionDto
- TaggedDerivedFact
- TaggedForwardChainRequest
- TaggedForwardChainResponse