@cogitator-ai/types 0.3.1 → 0.5.0

package/dist/neuro-symbolic.d.ts

@@ -0,0 +1,424 @@
+/**
+ * Neuro-Symbolic AI types
+ *
+ * Hybrid neural-symbolic reasoning combining:
+ * - LLM-based understanding (neural)
+ * - Formal reasoning methods (symbolic)
+ *
+ * Four modules:
+ * 1. Knowledge Graph Query Language - SPARQL-like queries + NL interface
+ * 2. Logic Programming - Prolog-style rules with unification
+ * 3. Constraint Solving - SAT/SMT with Z3
+ * 4. Formal Plan Verification - Action schemas + validation
+ */
+import type { GraphNode, GraphEdge, GraphAdapter } from './knowledge-graph';
+export type QueryOperator = 'eq' | 'neq' | 'gt' | 'gte' | 'lt' | 'lte' | 'contains' | 'startsWith' | 'endsWith' | 'regex' | 'in' | 'notIn';
+export type AggregateFunction = 'count' | 'sum' | 'avg' | 'min' | 'max';
+export interface QueryCondition {
+    field: string;
+    operator: QueryOperator;
+    value: unknown;
+}
+export interface QueryVariable {
+    name: string;
+    type?: 'node' | 'edge' | 'value';
+}
+export interface QueryPattern {
+    subject?: string | QueryVariable;
+    predicate?: string | QueryVariable;
+    object?: string | QueryVariable;
+    conditions?: QueryCondition[];
+}
+export type GraphQueryType = 'select' | 'ask' | 'construct' | 'describe';
+export interface GraphQuery {
+    type: GraphQueryType;
+    patterns: QueryPattern[];
+    filters?: QueryCondition[];
+    orderBy?: {
+        field: string;
+        direction: 'asc' | 'desc';
+    }[];
+    limit?: number;
+    offset?: number;
+    aggregates?: {
+        function: AggregateFunction;
+        field: string;
+        alias: string;
+    }[];
+    groupBy?: string[];
+}
+export type QueryBinding = Record<string, GraphNode | GraphEdge | unknown>;
+export interface GraphQueryResult {
+    bindings: QueryBinding[];
+    count: number;
+    executionTime: number;
+    explain?: string;
+}
+export interface NaturalLanguageQueryResult {
+    query: GraphQuery;
+    results: GraphQueryResult;
+    naturalLanguageResponse: string;
+    confidence: number;
+}
+export type TermType = 'atom' | 'variable' | 'compound' | 'number' | 'string' | 'list';
+export interface BaseTerm {
+    type: TermType;
+}
+export interface AtomTerm extends BaseTerm {
+    type: 'atom';
+    value: string;
+}
+export interface VariableTerm extends BaseTerm {
+    type: 'variable';
+    name: string;
+}
+export interface NumberTerm extends BaseTerm {
+    type: 'number';
+    value: number;
+}
+export interface StringTerm extends BaseTerm {
+    type: 'string';
+    value: string;
+}
+export interface CompoundTerm extends BaseTerm {
+    type: 'compound';
+    functor: string;
+    args: Term[];
+}
+export interface ListTerm extends BaseTerm {
+    type: 'list';
+    elements: Term[];
+    tail?: Term;
+}
+export type Term = AtomTerm | VariableTerm | NumberTerm | StringTerm | CompoundTerm | ListTerm;
+export interface Clause {
+    head: CompoundTerm;
+    body: CompoundTerm[];
+    metadata?: {
+        source?: string;
+        confidence?: number;
+        timestamp?: Date;
+    };
+}
+export interface LogicFact extends Clause {
+    body: [];
+}
+export interface Rule extends Clause {
+    body: CompoundTerm[];
+}
+export type Substitution = Map<string, Term>;
+export type ProofNodeStatus = 'success' | 'failure' | 'pending' | 'cut';
+export interface ProofNode {
+    id: string;
+    goal: CompoundTerm;
+    clause?: Clause;
+    substitution: Substitution;
+    children: ProofNode[];
+    status: ProofNodeStatus;
+    depth: number;
+}
+export interface ProofTree {
+    root: ProofNode;
+    solutions: Substitution[];
+    exploredNodes: number;
+    maxDepth: number;
+    duration: number;
+}
+export interface LogicQueryResult {
+    success: boolean;
+    solutions: Substitution[];
+    proofTree?: ProofTree;
+    explanation?: string;
+    confidence: number;
+}
+export interface KnowledgeBaseStats {
+    factCount: number;
+    ruleCount: number;
+    predicates: string[];
+    avgRuleBodyLength: number;
+}
+export interface LogicProgrammingConfig {
+    maxDepth?: number;
+    maxSolutions?: number;
+    timeout?: number;
+    enableCut?: boolean;
+    enableNegation?: boolean;
+    traceExecution?: boolean;
+}
+export type BuiltinPredicate = 'is' | 'unify' | 'not' | 'gt' | 'gte' | 'lt' | 'lte' | 'eq' | 'neq' | 'member' | 'append' | 'length' | 'reverse' | 'sort' | 'atom' | 'number' | 'compound' | 'var' | 'nonvar' | 'is_list' | 'findall' | 'bagof' | 'setof' | 'assert' | 'retract' | 'write' | 'nl' | 'read' | 'functor' | 'arg' | 'copy_term' | 'call' | 'true' | 'false' | 'fail' | 'cut';
+export type ConstraintVariableType = 'bool' | 'int' | 'real' | 'bitvec';
+export interface ConstraintVariable {
+    name: string;
+    type: ConstraintVariableType;
+    domain?: {
+        min?: number;
+        max?: number;
+    };
+    bitWidth?: number;
+}
+export type ConstraintOperator = 'eq' | 'neq' | 'gt' | 'gte' | 'lt' | 'lte' | 'and' | 'or' | 'not' | 'implies' | 'iff' | 'add' | 'sub' | 'mul' | 'div' | 'mod' | 'abs' | 'min' | 'max' | 'pow' | 'allDifferent' | 'atMost' | 'atLeast' | 'exactly' | 'ite';
+export type ConstraintExpressionType = 'variable' | 'constant' | 'operation';
+export interface VariableExpression {
+    type: 'variable';
+    name: string;
+}
+export interface ConstantExpression {
+    type: 'constant';
+    value: boolean | number;
+}
+export interface OperationExpression {
+    type: 'operation';
+    operator: ConstraintOperator;
+    operands: ConstraintExpression[];
+}
+export type ConstraintExpression = VariableExpression | ConstantExpression | OperationExpression;
+export interface Constraint {
+    id: string;
+    name?: string;
+    expression: ConstraintExpression;
+    weight?: number;
+    isHard: boolean;
+}
+export type OptimizationType = 'minimize' | 'maximize';
+export interface ConstraintProblem {
+    id: string;
+    name?: string;
+    variables: ConstraintVariable[];
+    constraints: Constraint[];
+    objective?: {
+        type: OptimizationType;
+        expression: ConstraintExpression;
+    };
+}
+export type SolverStatus = 'sat' | 'unsat' | 'unknown' | 'timeout' | 'error';
+export interface ConstraintModel {
+    assignments: Record<string, boolean | number>;
+    objectiveValue?: number;
+}
+export type SolverResult = {
+    status: 'sat';
+    model: ConstraintModel;
+} | {
+    status: 'unsat';
+    unsatCore?: string[];
+} | {
+    status: 'unknown';
+    reason: string;
+} | {
+    status: 'timeout';
+} | {
+    status: 'error';
+    message: string;
+};
+export type ConstraintSolverType = 'z3' | 'simple-sat';
+export interface ConstraintSolverConfig {
+    timeout?: number;
+    solver?: ConstraintSolverType;
+    enableOptimization?: boolean;
+    randomSeed?: number;
+}
+export interface ConstraintSolvingResult {
+    problem: ConstraintProblem;
+    result: SolverResult;
+    explanation?: string;
+    duration: number;
+}
+export type StateVariableType = 'boolean' | 'numeric' | 'enum' | 'string' | 'object';
+export interface StateVariable {
+    name: string;
+    type: StateVariableType;
+    domain?: string[] | {
+        min: number;
+        max: number;
+    };
+    initialValue?: unknown;
+}
+export interface PlanState {
+    id: string;
+    variables: Record<string, unknown>;
+    timestamp?: Date;
+}
+export type PreconditionType = 'simple' | 'comparison' | 'exists' | 'forall' | 'and' | 'or' | 'not';
+export interface SimplePrecondition {
+    type: 'simple';
+    variable: string;
+    value: unknown;
+}
+export interface ComparisonPrecondition {
+    type: 'comparison';
+    variable: string;
+    operator: 'eq' | 'neq' | 'gt' | 'gte' | 'lt' | 'lte' | 'in';
+    value: unknown;
+}
+export interface ExistsPrecondition {
+    type: 'exists';
+    variable: string;
+    domain: string;
+    condition: Precondition;
+}
+export interface ForallPrecondition {
+    type: 'forall';
+    variable: string;
+    domain: string;
+    condition: Precondition;
+}
+export interface AndPrecondition {
+    type: 'and';
+    conditions: Precondition[];
+}
+export interface OrPrecondition {
+    type: 'or';
+    conditions: Precondition[];
+}
+export interface NotPrecondition {
+    type: 'not';
+    condition: Precondition;
+}
+export type Precondition = SimplePrecondition | ComparisonPrecondition | ExistsPrecondition | ForallPrecondition | AndPrecondition | OrPrecondition | NotPrecondition;
+export type EffectType = 'assign' | 'increment' | 'decrement' | 'delete' | 'conditional';
+export interface AssignEffect {
+    type: 'assign';
+    variable: string;
+    value: unknown;
+}
+export interface IncrementEffect {
+    type: 'increment';
+    variable: string;
+    amount: number;
+}
+export interface DecrementEffect {
+    type: 'decrement';
+    variable: string;
+    amount: number;
+}
+export interface DeleteEffect {
+    type: 'delete';
+    variable: string;
+}
+export interface ConditionalEffect {
+    type: 'conditional';
+    condition: Precondition;
+    thenEffects: Effect[];
+    elseEffects?: Effect[];
+}
+export type Effect = AssignEffect | IncrementEffect | DecrementEffect | DeleteEffect | ConditionalEffect;
+export interface ActionParameter {
+    name: string;
+    type: string;
+    description?: string;
+    required?: boolean;
+    default?: unknown;
+}
+export interface ActionSchema {
+    name: string;
+    description?: string;
+    parameters: ActionParameter[];
+    preconditions: Precondition[];
+    effects: Effect[];
+    cost?: number;
+    duration?: number;
+}
+export interface PlanAction {
+    id: string;
+    schemaName: string;
+    parameters: Record<string, unknown>;
+    expectedDuration?: number;
+}
+export interface Plan {
+    id: string;
+    name?: string;
+    actions: PlanAction[];
+    initialState: PlanState;
+    goalConditions: Precondition[];
+    metadata?: Record<string, unknown>;
+}
+export type SafetyPropertyType = 'invariant' | 'eventually' | 'always' | 'never' | 'until';
+export interface SafetyProperty {
+    id: string;
+    name: string;
+    description?: string;
+    type: SafetyPropertyType;
+    condition: Precondition;
+}
+export type ValidationErrorType = 'precondition_violated' | 'undefined_action' | 'invalid_parameter' | 'missing_parameter' | 'goal_unreachable' | 'invariant_violated';
+export interface PlanValidationError {
+    type: ValidationErrorType;
+    actionIndex?: number;
+    actionName?: string;
+    message: string;
+    details?: Record<string, unknown>;
+}
+export type ValidationWarningType = 'redundant_action' | 'suboptimal_ordering' | 'unused_effect';
+export interface PlanValidationWarning {
+    type: ValidationWarningType;
+    actionIndex?: number;
+    message: string;
+}
+export interface PlanValidationResult {
+    valid: boolean;
+    errors: PlanValidationError[];
+    warnings: PlanValidationWarning[];
+    stateTrace: PlanState[];
+    satisfiedGoals: string[];
+    unsatisfiedGoals: string[];
+}
+export interface InvariantCheckResult {
+    property: SafetyProperty;
+    satisfied: boolean;
+    violatingStates?: PlanState[];
+    counterexample?: PlanAction[];
+}
+export type DependencyType = 'causal' | 'threat' | 'ordering';
+export interface DependencyEdge {
+    fromAction: string;
+    toAction: string;
+    type: DependencyType;
+    variable?: string;
+    description?: string;
+}
+export interface DependencyGraph {
+    actions: string[];
+    edges: DependencyEdge[];
+    criticalPath: string[];
+    parallelizable: string[][];
+}
+export type RepairType = 'insert' | 'remove' | 'reorder' | 'modify';
+export interface PlanRepairSuggestion {
+    type: RepairType;
+    position?: number;
+    action?: PlanAction;
+    reason: string;
+    confidence: number;
+}
+export interface PlanRepairResult {
+    originalPlan: Plan;
+    repairedPlan?: Plan;
+    suggestions: PlanRepairSuggestion[];
+    success: boolean;
+    explanation: string;
+}
+export interface NeuroSymbolicConfig {
+    knowledgeGraph?: {
+        adapter?: GraphAdapter;
+        enableNaturalLanguage?: boolean;
+        defaultQueryLimit?: number;
+    };
+    logic?: LogicProgrammingConfig;
+    constraints?: ConstraintSolverConfig;
+    planning?: {
+        maxPlanLength?: number;
+        enableRepair?: boolean;
+        verifyInvariants?: boolean;
+    };
+}
+export declare const DEFAULT_LOGIC_CONFIG: Required<LogicProgrammingConfig>;
+export declare const DEFAULT_CONSTRAINT_CONFIG: Required<ConstraintSolverConfig>;
+export declare const DEFAULT_NEURO_SYMBOLIC_CONFIG: NeuroSymbolicConfig;
+export interface NeuroSymbolicResult<T> {
+    success: boolean;
+    data?: T;
+    error?: string;
+    duration: number;
+    llmCalls?: number;
+}
+//# sourceMappingURL=neuro-symbolic.d.ts.map

package/dist/neuro-symbolic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"neuro-symbolic.d.ts","sourceRoot":"","sources":["../src/neuro-symbolic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAE5E,MAAM,MAAM,aAAa,GACrB,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,UAAU,GACV,YAAY,GACZ,UAAU,GACV,OAAO,GACP,IAAI,GACJ,OAAO,CAAC;AAEZ,MAAM,MAAM,iBAAiB,GAAG,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;AAExE,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,aAAa,CAAC;IACxB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;CAClC;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC;IACjC,SAAS,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC;IACnC,MAAM,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC;IAChC,UAAU,CAAC,EAAE,cAAc,EAAE,CAAC;CAC/B;AAED,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,KAAK,GAAG,WAAW,GAAG,UAAU,CAAC;AAEzE,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,cAAc,CAAC;IACrB,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,OAAO,CAAC,EAAE,cAAc,EAAE,CAAC;IAC3B,OAAO,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,KAAK,GAAG,MAAM,CAAA;KAAE,EAAE,CAAC;IACzD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE;QAAE,QAAQ,EAAE,iBAAiB,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC7E,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,OAAO,CAAC,CAAC;AAE3E,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,0BAA0B;IACzC,KAAK,EAAE,UAAU,CAAC;IAClB,OAAO,EAAE,gBAAgB,CAAC;IAC1B,uBAAuB,EAAE,MAAM,CAAC;IAChC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,UAAU,GAAG,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAC;AAEvF,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,QAAQ,CAAC;CAChB;AAED,MAAM,WAAW,QAAS,SAAQ,QAAQ;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,IAAI,EAAE,CAAC;CACd;AAED,MAAM,WAAW,QAAS,SAAQ,QAAQ;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,IAAI,EAAE,CAAC;IACjB,IAAI,CAAC,EAAE,IAAI,CAAC;CACb;AAED,MAAM,MAAM,IAAI,GAAG,QAAQ,GAAG,YAAY,GAAG,UAAU,GAAG,UAAU,GAAG,YAAY,GAAG,QAAQ,CAAC;AAE/F,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,QAAQ,CAAC,EAAE;QACT,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,SAAS,CAAC,EAAE,IAAI,CAAC;KAClB,CAAC;CACH;AAED,MAAM,WAAW,SAAU,SAAQ,MAAM;IACvC,IAAI,EAAE,EAAE,CAAC;CACV;AAED,MAAM,WAAW,IAAK,SAAQ,MAAM;IAClC,IAAI,EAAE,YAAY,EAAE,CAAC;CACtB;AAED,MAAM,MAAM,YAAY,GAAG,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAE7C,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,KAAK,CAAC;AAExE,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,YAAY,CAAC;IAC3B,QAAQ,EAAE,SAAS,EAAE,CAAC;IACtB,MAAM,EAAE,eAAe,CAAC;IACxB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,SAAS,CAAC;IAChB,SAAS,EAAE,YAAY,EAAE,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,YAAY,EAAE,CAAC;IAC1B,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,MAAM,gBAAgB,GACxB,IAAI,GACJ,OAAO,GACP,KAAK,GACL,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,MAAM,GACN,MAAM,GACN,QAAQ,GACR,UAAU,GACV,KAAK,GACL,QAAQ,GACR,SAAS,GACT,SAAS,GACT,OAAO,GACP,OAAO,GACP,QAAQ,GACR,SAAS,GACT,OAAO,GACP,IAAI,GACJ,MAAM,GACN,SAAS,GACT,KAAK,GACL,WAAW,GACX,MAAM,GACN,MAAM,GACN,OAAO,GACP,MAAM,GACN,KAAK,CAAC;AAEV,MAAM,MAAM,sBAAsB,GAAG,MAAM,GAAG,KAAK,GAAG,MAAM,GAAG,QAAQ,CAAC;AAExE,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,sBAAsB,CAAC;IAC7B,MAAM,CAAC,EAAE;QAAE,GAAG,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACxC,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,kBAAkB,GAC1B,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,KAAK,GACL,IAAI,GACJ,KAAK,GACL,SAAS,GACT,KAAK,GACL,KAAK,GACL,KAAK,GACL,KAAK,GACL,KAAK,GACL,KAAK,GACL,KAAK,GACL,KAAK,GACL,KAAK,GACL,KAAK,GACL,cAAc,GACd,QAAQ,GACR,SAAS,GACT,SAAS,GACT,KAAK,CAAC;AAEV,MAAM,MAAM,wBAAwB,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,CAAC;AAE7E,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,WAAW,CAAC;IAClB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,QAAQ,EAAE,oBAAoB,EAAE,CAAC;CAClC;AAED,MAAM,MAAM,oBAAoB,GAAG,kBAAkB,GAAG,kBAAkB,GAAG,mBAAmB,CAAC;AAEjG,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,oBAAoB,CAAC;IACjC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,MAAM,gBAAgB,GAAG,UAAU,GAAG,UAAU,CAAC;AAEvD,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,kBAAkB,EAAE,CAAC;IAChC,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,SAAS,CAAC,EAAE;QACV,IAAI,EAAE,gBAAgB,CAAC;QACvB,UAAU,EAAE,oBAAoB,CAAC;KAClC,CAAC;CACH;AAED,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,CAAC;AAE7E,MAAM,WAAW,eAAe;IAC9B,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,CAAC,CAAC;IAC9C,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,MAAM,YAAY,GACpB;IAAE,MAAM,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,eAAe,CAAA;CAAE,GACzC;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,GACzC;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACrC;IAAE,MAAM,EAAE,SAAS,CAAA;CAAE,GACrB;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzC,MAAM,MAAM,oBAAoB,GAAG,IAAI,GAAG,YAAY,CAAC;AAEvD,MAAM,WAAW,sBAAsB;IACrC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,oBAAoB,CAAC;IAC9B,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,iBAAiB,CAAC;IAC3B,MAAM,EAAE,YAAY,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,MAAM,iBAAiB,GAAG,SAAS,GAAG,SAAS,GAAG,MAAM,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAErF,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,iBAAiB,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,EAAE,GAAG;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IACjD,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACnC,SAAS,CAAC,EAAE,IAAI,CAAC;CAClB;AAED,MAAM,MAAM,gBAAgB,GAAG,QAAQ,GAAG,YAAY,GAAG,QAAQ,GAAG,QAAQ,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;AAEpG,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,YAAY,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,CAAC;IAC5D,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,YAAY,CAAC;CACzB;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,YAAY,CAAC;CACzB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,KAAK,CAAC;IACZ,UAAU,EAAE,YAAY,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,YAAY,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,KAAK,CAAC;IACZ,SAAS,EAAE,YAAY,CAAC;CACzB;AAED,MAAM,MAAM,YAAY,GACpB,kBAAkB,GAClB,sBAAsB,GACtB,kBAAkB,GAClB,kBAAkB,GAClB,eAAe,GACf,cAAc,GACd,eAAe,CAAC;AAEpB,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,WAAW,GAAG,WAAW,GAAG,QAAQ,GAAG,aAAa,CAAC;AAEzF,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,WAAW,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,WAAW,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,aAAa,CAAC;IACpB,SAAS,EAAE,YAAY,CAAC;IACxB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,MAAM,MAAM,GACd,YAAY,GACZ,eAAe,GACf,eAAe,GACf,YAAY,GACZ,iBAAiB,CAAC;AAEtB,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACpC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,IAAI;IACnB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,YAAY,EAAE,SAAS,CAAC;IACxB,cAAc,EAAE,YAAY,EAAE,CAAC;IAC/B,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,MAAM,MAAM,kBAAkB,GAAG,WAAW,GAAG,YAAY,GAAG,QAAQ,GAAG,OAAO,GAAG,OAAO,CAAC;AAE3F,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,kBAAkB,CAAC;IACzB,SAAS,EAAE,YAAY,CAAC;CACzB;AAED,MAAM,MAAM,mBAAmB,GAC3B,uBAAuB,GACvB,kBAAkB,GAClB,mBAAmB,GACnB,mBAAmB,GACnB,kBAAkB,GAClB,oBAAoB,CAAC;AAEzB,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,mBAAmB,CAAC;IAC1B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED,MAAM,MAAM,qBAAqB,GAAG,kBAAkB,GAAG,qBAAqB,GAAG,eAAe,CAAC;AAEjG,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,qBAAqB,CAAC;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,mBAAmB,EAAE,CAAC;IAC9B,QAAQ,EAAE,qBAAqB,EAAE,CAAC;IAClC,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,cAAc,CAAC;IACzB,SAAS,EAAE,OAAO,CAAC;IACnB,eAAe,CAAC,EAAE,SAAS,EAAE,CAAC;IAC9B,cAAc,CAAC,EAAE,UAAU,EAAE,CAAC;CAC/B;AAED,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,QAAQ,GAAG,UAAU,CAAC;AAE9D,MAAM,WAAW,cAAc;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,cAAc,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,EAAE,CAAC;CAC5B;AAED,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAC;AAEpE,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,gBAAgB;IAC/B,YAAY,EAAE,IAAI,CAAC;IACnB,YAAY,CAAC,EAAE,IAAI,CAAC;IACpB,WAAW,EAAE,oBAAoB,EAAE,CAAC;IACpC,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,mBAAmB;IAClC,cAAc,CAAC,EAAE;QACf,OAAO,CAAC,EAAE,YAAY,CAAC;QACvB,qBAAqB,CAAC,EAAE,OAAO,CAAC;QAChC,iBAAiB,CAAC,EAAE,MAAM,CAAC;KAC5B,CAAC;IACF,KAAK,CAAC,EAAE,sBAAsB,CAAC;IAC/B,WAAW,CAAC,EAAE,sBAAsB,CAAC;IACrC,QAAQ,CAAC,EAAE;QACT,aAAa,CAAC,EAAE,MAAM,CAAC;QACvB,YAAY,CAAC,EAAE,OAAO,CAAC;QACvB,gBAAgB,CAAC,EAAE,OAAO,CAAC;KAC5B,CAAC;CACH;AAED,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,sBAAsB,CAOjE,CAAC;AAEF,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAAC,sBAAsB,CAKtE,CAAC;AAEF,eAAO,MAAM,6BAA6B,EAAE,mBAY3C,CAAC;AAEF,MAAM,WAAW,mBAAmB,CAAC,CAAC;IACpC,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,CAAC,EAAE,CAAC,CAAC;IACT,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB"}

package/dist/neuro-symbolic.js

@@ -0,0 +1,41 @@
+/**
+ * Neuro-Symbolic AI types
+ *
+ * Hybrid neural-symbolic reasoning combining:
+ * - LLM-based understanding (neural)
+ * - Formal reasoning methods (symbolic)
+ *
+ * Four modules:
+ * 1. Knowledge Graph Query Language - SPARQL-like queries + NL interface
+ * 2. Logic Programming - Prolog-style rules with unification
+ * 3. Constraint Solving - SAT/SMT with Z3
+ * 4. Formal Plan Verification - Action schemas + validation
+ */
+export const DEFAULT_LOGIC_CONFIG = {
+    maxDepth: 50,
+    maxSolutions: 10,
+    timeout: 5000,
+    enableCut: true,
+    enableNegation: true,
+    traceExecution: false,
+};
+export const DEFAULT_CONSTRAINT_CONFIG = {
+    timeout: 10000,
+    solver: 'z3',
+    enableOptimization: true,
+    randomSeed: 42,
+};
+export const DEFAULT_NEURO_SYMBOLIC_CONFIG = {
+    knowledgeGraph: {
+        enableNaturalLanguage: true,
+        defaultQueryLimit: 100,
+    },
+    logic: DEFAULT_LOGIC_CONFIG,
+    constraints: DEFAULT_CONSTRAINT_CONFIG,
+    planning: {
+        maxPlanLength: 100,
+        enableRepair: true,
+        verifyInvariants: true,
+    },
+};
+//# sourceMappingURL=neuro-symbolic.js.map

package/dist/neuro-symbolic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"neuro-symbolic.js","sourceRoot":"","sources":["../src/neuro-symbolic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AA6iBH,MAAM,CAAC,MAAM,oBAAoB,GAAqC;IACpE,QAAQ,EAAE,EAAE;IACZ,YAAY,EAAE,EAAE;IAChB,OAAO,EAAE,IAAI;IACb,SAAS,EAAE,IAAI;IACf,cAAc,EAAE,IAAI;IACpB,cAAc,EAAE,KAAK;CACtB,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAqC;IACzE,OAAO,EAAE,KAAK;IACd,MAAM,EAAE,IAAI;IACZ,kBAAkB,EAAE,IAAI;IACxB,UAAU,EAAE,EAAE;CACf,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAwB;IAChE,cAAc,EAAE;QACd,qBAAqB,EAAE,IAAI;QAC3B,iBAAiB,EAAE,GAAG;KACvB;IACD,KAAK,EAAE,oBAAoB;IAC3B,WAAW,EAAE,yBAAyB;IACtC,QAAQ,EAAE;QACR,aAAa,EAAE,GAAG;QAClB,YAAY,EAAE,IAAI;QAClB,gBAAgB,EAAE,IAAI;KACvB;CACF,CAAC"}