UNPKG

@cyqlelabs/mcp-dual-cycle-reasoner

Version:

MCP server implementing dual-cycle metacognitive reasoning framework for autonomous agents

60 lines (59 loc) 2.25 kB
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; }