import { LogicRequest, LogicResponse, MECEAnalysis, FourCausesAnalysis, ReasoningResult, SynthesisResult } from './types.js';
export declare class LogicEngine {
    private meceAnalyzer;
    private causalityAnalyzer;
    private reasoningEngine;
    constructor();
    processRequest(request: LogicRequest): Promise<LogicResponse>;
    analyzeMECE(topic: string, context?: string, initialDimensions?: string[]): MECEAnalysis;
    analyzeFourCauses(topic: string, context?: string, knownFactors?: string[]): FourCausesAnalysis;
    performAbductiveReasoning(observations: string[], topic?: string): ReasoningResult;
    performDeductiveReasoning(premises: string[], topic?: string): ReasoningResult;
    performInductiveReasoning(cases: string[], topic?: string): ReasoningResult;
    synthesizeAnalysis(topic: string, request: LogicRequest): Promise<SynthesisResult>;
    validateMutualExclusivity(dimensions: any[]): boolean;
    validateCollectiveExhaustiveness(topic: string, dimensions: any[]): boolean;
    validateLogicalConsistency(reasoning: ReasoningResult[]): boolean;
    private validateLogic;
    private calculateMECEScore;
    private calculateCausalityScore;
    private calculateReasoningScore;
    private calculateSynthesisScore;
    private calculateValidationScore;
    private generateMECERecommendations;
    private generateCausalityRecommendations;
    private generateReasoningRecommendations;
    private generateSynthesisRecommendations;
    private generateValidationRecommendations;
    private generateMECENextSteps;
    private generateCausalityNextSteps;
    private generateReasoningNextSteps;
    private generateSynthesisNextSteps;
    private generateValidationNextSteps;
    private checkConsistency;
}
//# sourceMappingURL=logic-engine.d.ts.map