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;
}