@cyqlelabs/mcp-dual-cycle-reasoner
Version:
MCP server implementing dual-cycle metacognitive reasoning framework for autonomous agents
60 lines (59 loc) • 2.25 kB
TypeScript
import { CognitiveTrace, LoopDetectionResult, DiagnosisResult, BeliefRevisionResult, RecoveryPlan, RecoveryPattern, Case } from './types.js';
export declare class Adjudicator {
private caseBase;
/**
* Strategy 4: Belief Revision for Strategy Invalidation
* Implements AGM belief revision principles to maintain logical consistency
*/
reviseBeliefs(currentBeliefs: string[], contradictingEvidence: string, _trace: CognitiveTrace): Promise<BeliefRevisionResult>;
/**
* Enhanced semantic belief contradiction detection using NLI transformers
*/
private doesEvidenceContradictBelief;
/**
* Strategy 5: Abductive Reasoning for Failure Diagnosis
* Generates and evaluates hypotheses to explain observed failures
*/
diagnoseFailure(loopResult: LoopDetectionResult, trace: CognitiveTrace): Promise<DiagnosisResult>;
/**
* Strategy 6: Case-Based Reasoning for Recovery
* Retrieves and adapts solutions from similar past problems
*/
generateRecoveryPlan(diagnosis: DiagnosisResult, trace: CognitiveTrace, availablePatterns?: RecoveryPattern[]): RecoveryPlan;
/**
* Store experience for future case-based reasoning
*/
storeExperience(case_: Case): void;
/**
* Retrieve similar cases for CBR
*/
retrieveSimilarCases(problemDescription: string, maxResults?: number): Case[];
private generateFailureHypotheses;
private gatherEvidence;
private calculateHypothesisConfidence;
private generateDiagnosticActions;
private mapDiagnosisToLoopType;
private extractContext;
private generateNovelRecoveryPlan;
private selectRecoveryPattern;
private generateActionsForPattern;
/**
* Enhanced semantic similarity calculation using multiple NLP techniques
*/
private calculateCaseSimilarity;
/**
* Create TF-IDF vector for semantic similarity
*/
private createTfIdfVector;
/**
* Calculate cosine similarity between two vectors
*/
private calculateCosineSimilarity;
/**
* Enhanced evidence gathering using semantic analysis
*/
/**
* Calculate Jaccard distance between two string arrays
*/
private calculateJaccardDistance;
}