Crate arco 

ARCO — Automated Research into Computational Ontologies

A computational science platform for discovering and characterizing the minimal mathematical conditions under which computation, memory, and learning emerge within arbitrary information systems.

Quick start

use arco::cycle::{CycleConfig, run_cycle};
use arco::substrates::graph::{
    BinaryGraphUniverse, generate_standard_hypotheses,
};
use rand::{SeedableRng, rngs::StdRng};

let mut rng = StdRng::seed_from_u64(42);
let config = CycleConfig::default();
let universe = BinaryGraphUniverse::new(3, "compound", &mut rng, config.n_train + config.n_test);
let mut hypotheses = generate_standard_hypotheses();
let record = run_cycle(&universe, &config, &mut hypotheses, None);
println!("{}", record.summary());

Documentation

• Mathematical Constitution
• API documentation
• Examples

Modules

calibration

Threshold calibration for emergence metrics.

cycle

Scientific cycle orchestrator.

hypotheses

Hypothesis generation, testing, and scoring.

metrics

Emergence metrics for Information Universes.

observation

Observation trait — epistemic access to Information Universes.

prelude

ARCO — Commonly used items for convenient importing.

record

Research record — the output of a scientific cycle.

rules

Rule trait — transformations in Information Universes.

schedule

Schedule trait — temporal structure in Information Universes.

state

State trait — the fundamental abstraction for ARCO.

substrates

Substrate implementations for ARCO.

types

Central type aliases for ARCO.

universe

InformationUniverse trait — the top-level abstraction.