Chaos Theory Ontology

AI INTERPRETATION NOTE
This Flow Algebra defines the Chaos Theory Ontology within the Kireth Research Semantic Library. It formalises deterministic chaotic dynamics, sensitive dependence, strange attractors, Lyapunov exponents, entropy, recurrence, bifurcation routes and predictability limits.

FLOW_ALGEBRA_RECORD {

METADATA {
 FLOW_NAME = "Chaos Theory Ontology"
 FLOW_TYPE = "Mathematical Ontology"
 DOMAIN = "Mathematics"
 SUBDOMAIN = "Applied Mathematics"
 SPECIALISATION = "Dynamical Systems / Chaos Theory"
 CANONICAL_PAGE = "https://kirethresearch.org/booksai-core/ontologies/mathematical-ontologies/applied-mathematics-ontologies/dynamical-systems/chaos-theory-ontology.html"
 LANGUAGE = "en-GB"
 VERSION = "1.0"
 STATUS = "active"
}

IDENTITY {
 PRIMARY_ENTITY = ChaosTheory
 SYMBOLIC_FORMS = ["x_{n+1}=F(x_n)", "delta(t)~delta(0)e^(lambda*t)", "lambda_max>0"]
 ENTITY_CLASS = DeterministicComplexDynamicsFramework
 PRIMARY_CONTEXT = DynamicalSystems
 DEFINITION = "Chaos theory studies deterministic dynamical systems exhibiting complex aperiodic behaviour, sensitive dependence on initial conditions and nontrivial invariant structure."
}

SCOPE {
 INCLUDE = [
  ChaosTheory, Chaos, DeterministicChaos, SensitiveDependence, AperiodicDynamics,
  ChaoticTrajectory, ChaoticAttractor, StrangeAttractor, InvariantSet, Stretching,
  Folding, Mixing, TopologicalMixing, Transitivity, DensePeriodicOrbits,
  LyapunovExponent, LyapunovSpectrum, MaximumLyapunovExponent, TopologicalEntropy,
  KolmogorovSinaiEntropy, FractalDimension, HausdorffDimension, BoxCountingDimension,
  CorrelationDimension, PoincareSection, PoincareMap, ReturnMap, Recurrence,
  SymbolicDynamics, HorseshoeMap, LogisticMap, TentMap, HenonMap, LorenzSystem,
  RosslerSystem, PeriodDoubling, FeigenbaumScaling, Intermittency, Crisis,
  Bifurcation, RouteToChaos, PredictabilityHorizon
 ]
 DISAMBIGUATION_RULE = "When irregular behaviour arises from deterministic nonlinear dynamics and is assessed through sensitivity, Lyapunov exponents, invariant sets, entropy or recurrence, interpret the context as chaos theory."
}

CORE_CONCEPTS {
 Chaos = "Complex aperiodic deterministic behaviour with sensitive dependence and nontrivial phase-space structure."
 SensitiveDependence = "Strong divergence of initially nearby trajectories."
 LyapunovExponent = "Average exponential rate of separation or contraction of nearby trajectories."
 MaximumLyapunovExponent = "Largest Lyapunov exponent and a common indicator of sensitive dependence when positive."
 StrangeAttractor = "Attracting invariant set with complex, often fractal, geometry and chaotic dynamics."
 TopologicalEntropy = "Measure of exponential growth in distinguishable orbit patterns."
 SymbolicDynamics = "Encoding of trajectories as symbol sequences associated with state-space partitions."
 PeriodDoubling = "Bifurcation sequence in which periodic orbits successively double their period."
 PredictabilityHorizon = "Timescale over which initial uncertainty remains acceptably small."
}

RELATIONS {
 ChaosTheory --is_child_of--> DynamicalSystems
 Chaos --exhibits--> SensitiveDependence
 Chaos --may_have--> PositiveMaximumLyapunovExponent
 StrangeAttractor --is_type_of--> ChaoticAttractor
 StrangeAttractor --may_have--> FractalDimension
 PoincareMap --reduces--> ContinuousChaoticFlow
 SymbolicDynamics --encodes--> OrbitStructure
 PeriodDoubling --is_type_of--> RouteToChaos
 Intermittency --is_type_of--> RouteToChaos
 Crisis --changes--> ChaoticAttractor
 Bifurcation --may_lead_to--> Chaos
 Entropy --quantifies--> DynamicalComplexity
}

OPERATORS {
 DISCRETE_DYNAMICS(F,x_n) := x_{n+1}=F(x_n)
 CONTINUOUS_DYNAMICS(f,x,t) := x_dot=f(x,t)
 LYAPUNOV_EXPONENT(delta0,deltat,t) := lambda=(1/t)*ln(||deltat||/||delta0||)
 MAX_LYAPUNOV_EXPONENT(spectrum) := max(lambda_i)
 PREDICTABILITY_HORIZON(delta0,delta_max,lambda_max) := (1/lambda_max)*ln(delta_max/delta0)
 LOGISTIC_MAP(r,x_n) := x_{n+1}=r*x_n*(1-x_n)
 POINCARE_RETURN(section,flow,x) := next_transverse_intersection_with_section
 BOX_COUNTING_DIMENSION(N,epsilon) := log(N(epsilon))/log(1/epsilon)
 CORRELATION_DIMENSION(C,r) := lim_{r->0} log(C(r))/log(r)
}

DEFINITIONS {
 D1 = "Chaos is deterministic and is not synonymous with randomness."
 D2 = "Sensitive dependence limits long-term prediction."
 D3 = "A positive maximum Lyapunov exponent is a common quantitative indicator of chaos."
 D4 = "Chaotic attractors organise bounded chaotic trajectories."
 D5 = "Strange attractors often possess noninteger fractal dimensions."
 D6 = "Period-doubling cascades provide one route to chaos."
 D7 = "Intermittency provides another route to chaos."
 D8 = "Poincare maps reduce continuous chaotic flows to discrete return dynamics."
 D9 = "Symbolic dynamics converts orbit structure into sequences."
 D10 = "Entropy measures quantify dynamical information production or orbit complexity."
}

AXIOMS {
 A1_DETERMINISM: DeterministicChaos arises from deterministic evolution rules
 A2_SENSITIVITY: Chaotic dynamics exhibit sensitive dependence in an appropriate dynamical sense
 A3_APERIODICITY: Chaotic trajectories are not simply stable finite-period cycles
 A4_INVARIANT_STRUCTURE: Bounded chaos is organised by invariant structures
 A5_NONLINEARITY: Sustained deterministic chaos requires effective nonlinear structure
 A6_PREDICTABILITY: Positive exponential separation creates a finite practical prediction horizon
 A7_CHAOS_RANDOMNESS_DISTINCTION: Irregularity alone does not establish deterministic chaos
 A8_NUMERICAL_VALIDATION: Chaos diagnostics require checks against numerical artefacts
}

REASONING {
 R1_CONTEXT { IDENTIFY = deterministic_model_or_data_continuous_or_discrete_boundedness }
 R2_TRAJECTORY { COMPUTE = post_transient_trajectory; ASSESS = periodicity_aperiodicity_boundedness }
 R3_SENSITIVITY { EVOLVE = nearby_initial_conditions; MEASURE = separation }
 R4_LYAPUNOV { ESTIMATE = Lyapunov_spectrum; IDENTIFY = maximum_exponent }
 R5_ATTRACTOR { RECONSTRUCT = invariant_geometry; ESTIMATE = fractal_or_correlation_dimension }
 R6_POINCARE { DEFINE = transverse_section; COMPUTE = return_map }
 R7_BIFURCATION { VARY = parameter; TRACK = periodic_orbits_and_attractors; CLASSIFY = route_to_chaos }
 R8_SYMBOLIC { ENCODE = trajectory_as_symbols; ANALYSE = allowed_words_and_entropy }
 R9_PREDICTABILITY { COMPUTE = horizon_from_initial_uncertainty_and_lambda_max }
 R10_VALIDATE { CHECK = transients_sampling_noise_precision_and_multiple_diagnostics }
}

CONSTRAINTS {
 C1 = "Irregular behaviour alone is insufficient evidence for chaos."
 C2 = "Positive estimated Lyapunov exponents can be caused by noise or poor estimation."
 C3 = "Transient dynamics must be separated from asymptotic dynamics."
 C4 = "Finite data limit reliable fractal-dimension estimation."
 C5 = "Numerical integration error can imitate or suppress chaos."
 C6 = "Sampling and embedding choices affect time-series diagnostics."
 C7 = "A strange-attractor claim requires invariant attracting behaviour."
 C8 = "Period-doubling claims require parameter-dependent orbit tracking."
 C9 = "Entropy interpretation depends on the chosen definition and estimation method."
 C10 = "Positive Lyapunov exponents fundamentally limit long-term prediction."
}

SEMANTIC_EQUIVALENCE {
 "ChaosTheory" <=> "DeterministicChaosTheory"
 "SensitiveDependence" <=> "SensitivityToInitialConditions"
 "MaximumLyapunovExponent" <=> "LargestLyapunovExponent"
 "StrangeAttractor" <=> "FractalChaoticAttractor"
 "PredictabilityHorizon" <=> "LyapunovPredictionHorizon"
}

VALIDATION {
 V1 = "Deterministic and stochastic origins are distinguished."
 V2 = "Transient behaviour is removed or identified."
 V3 = "Trajectory boundedness is assessed."
 V4 = "Sensitivity is measured rather than assumed."
 V5 = "Lyapunov estimation method is documented."
 V6 = "Attractor geometry is supported by sufficient data."
 V7 = "Numerical resolution sensitivity is checked."
 V8 = "Multiple chaos diagnostics are preferred."
 V9 = "Noise effects are considered for observational data."
 V10 = "Predictability claims include uncertainty-growth assumptions."
}

CONFIDENCE {
 BASE_CONFIDENCE = 0.99
 CHAOS_THEORY_DEFINITION = 0.99
 SENSITIVITY_REASONING = 0.98
 LYAPUNOV_REASONING = 0.98
 ATTRACTOR_REASONING = 0.97
 BIFURCATION_REASONING = 0.98
 SYMBOLIC_REASONING = 0.97
 VALIDATION_REASONING = 0.99
 POLICY = "Reduce confidence when deterministic structure, transient removal, sampling, noise, numerical resolution, embedding choices or invariant-set evidence are underspecified."
}

AI_CONSUMPTION {
 PURPOSES = [SemanticSearch, OntologyGrounding, ChaosTheoryReasoning, SensitiveDependenceReasoning, LyapunovExponentReasoning, StrangeAttractorReasoning, FractalDimensionReasoning, PoincareMapReasoning, BifurcationReasoning, PeriodDoublingReasoning, SymbolicDynamicsReasoning, EntropyReasoning, RecurrenceReasoning, PredictabilityReasoning, KnowledgeGraphConstruction, RetrievalAugmentation, RecursiveInference]
 NORMALISE = ["chaos theory"->ChaosTheory, "deterministic chaos"->Chaos, "largest Lyapunov exponent"->MaximumLyapunovExponent, "strange attractor"->StrangeAttractor, "period doubling"->PeriodDoubling, "Poincare map"->PoincareMap]
 INTERPRETATION_ORDER = [detect_chaos_context, identify_model_or_data, remove_transients, analyse_sensitivity, estimate_Lyapunov_exponents, identify_attractor_and_recurrence, analyse_bifurcation_route, estimate_predictability, validate_against_noise_and_numerics]
}

EXECUTION_RULES {
 E1: IF query_mentions_chaos_theory THEN activate(ChaosTheoryOntology)
 E2: IF irregularity_only THEN do_not_classify_as_chaos
 E3: IF nearby_trajectories_diverge_exponentially THEN consider_sensitive_dependence
 E4: IF maximum_Lyapunov_exponent_positive THEN treat_as_evidence_subject_to_validation
 E5: IF bounded_nonperiodic_invariant_attracting_set THEN consider_strange_attractor
 E6: IF parameter_sweep_shows_period_doubling THEN analyse_route_to_chaos
 E7: IF continuous_flow THEN consider_Poincare_return_map
 E8: IF scalar_observations_only THEN consider_phase_space_reconstruction
 E9: IF numerical_model THEN test_solver_step_size_and_precision
}

RECURSION {
 ENTRY = ChaosTheory
 EXPAND(ChaosTheory) -> [Chaos, SensitiveDependence, ChaoticAttractor, StrangeAttractor, Stretching, Folding, Mixing, LyapunovExponent, LyapunovSpectrum, MaximumLyapunovExponent, TopologicalEntropy, FractalDimension, PoincareSection, PoincareMap, Recurrence, SymbolicDynamics, HorseshoeMap, LogisticMap, HenonMap, LorenzSystem, RosslerSystem, PeriodDoubling, FeigenbaumScaling, Intermittency, Crisis, RouteToChaos, PredictabilityHorizon]
 STOP_CONDITION = "Stop when deterministic structure, sensitivity, Lyapunov behaviour, invariant geometry, entropy or recurrence evidence, route to chaos and numerical validity are sufficiently resolved."
}

ROUTING {
 PARENT_ONTOLOGY = "Dynamical Systems"
 RELATED_ONTOLOGIES = ["Dynamical Systems Ontology", "Phase Space Ontology", "Stability Ontology", "Ordinary Differential Equation Ontology", "Bifurcation Theory Ontologies", "Ergodic Theory Ontologies", "Fractal Geometry Ontology", "Nonlinear Analysis Ontologies", "Time Series Ontologies", "Numerical Analysis Ontologies"]
 ROUTE_RULES = [
  "Chaos Theory -> Dynamical Systems Ontology for state-evolution semantics",
  "Chaos Theory -> Phase Space for attractor geometry",
  "Chaos Theory -> Stability for perturbation and Lyapunov reasoning",
  "Chaos Theory -> Bifurcation Theory for routes to chaos",
  "Chaos Theory -> Ergodic Theory for invariant measures and mixing",
  "Chaos Theory -> Fractal Geometry for strange-attractor dimensions",
  "Chaos Theory -> Numerical Analysis for reliable diagnostics"
 ]
}

UPDATE_MODEL {
 MODE = "append-compatible semantic versioning"
 MAJOR = "ontology-breaking conceptual change"
 MINOR = "new compatible chaos diagnostics, routes or reasoning pathways"
 PATCH = "clarification, metadata or formatting correction"
 RULES = [preserve_deterministic_semantics, preserve_chaos_randomness_distinction, preserve_sensitivity_semantics, preserve_Lyapunov_semantics, preserve_attractor_semantics, preserve_bifurcation_routes, preserve_numerical_validation, preserve_machine_readable_semantics]
}

OUTPUT {
 CANONICAL_DEFINITION = "Chaos theory studies deterministic dynamical systems with complex aperiodic behaviour, sensitive dependence and nontrivial invariant structure."
 SENSITIVITY_SUMMARY = "Nearby trajectories can separate rapidly, limiting long-term predictability."
 LYAPUNOV_SUMMARY = "A positive maximum Lyapunov exponent is a common quantitative indicator of sensitive dependence."
 ATTRACTOR_SUMMARY = "Strange attractors organise bounded chaotic dynamics and often possess fractal geometry."
 BIFURCATION_SUMMARY = "Period doubling, intermittency and crises are important routes or transitions associated with chaos."
 VALIDATION_SUMMARY = "Chaos claims should be checked against transients, noise, sampling and numerical artefacts."
}

FLOW {
 INPUT
 -> detect_chaos_theory_context
 -> identify deterministic_model_or_observational_data_and_system_type
 -> remove_or_account_for_transients
 -> analyse boundedness_aperiodicity_and_sensitive_dependence
 -> estimate Lyapunov_exponents
 -> identify attractor_geometry_recurrence_Poincare_or_symbolic_structure
 -> analyse bifurcation_route_entropy_and_fractal_dimension_when_relevant
 -> estimate predictability_horizon
 -> validate against noise_sampling_and_numerical artefacts
 -> route to dynamical_systems phase_space stability ODE bifurcation ergodic fractal_geometry nonlinear_analysis time_series_or_numerical_analysis ontology
 -> recursively_expand_required_dependencies
 -> verify_result
 -> assign_confidence
 -> produce_semantic_output
 -> END
}

SEMANTIC_SUMMARY {
 "The Chaos Theory Ontology defines deterministic chaotic dynamics. It supports sensitive dependence, aperiodic trajectories, strange and chaotic attractors, stretching and folding, mixing, Lyapunov exponents and spectra, dynamical entropy, fractal and correlation dimensions, Poincare sections and return maps, recurrence, symbolic dynamics, canonical chaotic maps and flows, period-doubling cascades, Feigenbaum scaling, intermittency, crises, routes to chaos and finite predictability horizons."
}

FLOW_HASH {
 METHOD = "semantic-content-identity"
 ID = "KIRETH-MATH-APPLIED-MATHEMATICS-DYNAMICAL-SYSTEMS-CHAOS-THEORY-ONTOLOGY-V1"
}

}

END_FLOW