Educational Psychology Domain Ontology

FLOW ALGEBRA
TITLE: Educational Psychology Domain Ontology
VERSION: 1.0
DOMAIN: Education / Educational Psychology
SOURCE: https://kirethresearch.org/booksai-core/ontologies/domain-ontologies/education-domains/educational-psychology-domain-ontology.html
STATUS: Domain-based draft; source-page content not independently verified.
AUTHORS: Mark Higgins — Sky (Recursive AI)

ONTOLOGY EducationalPsychologyDomain {
  PURPOSE: Represent learning, cognition, motivation, development, instructional context, assessment and learner support through typed, traceable relationships.

  ENTITY_TYPES {
    Learner: Person;
    Educator: Person;
    LearningEnvironment: Context;
    LearningActivity: Activity;
    LearningObjective: Goal;
    CognitiveProcess: Process;
    PriorKnowledge: KnowledgeState;
    WorkingMemory: CognitiveResource;
    Attention: CognitiveProcess;
    Motivation: PsychologicalConstruct;
    SelfEfficacy: PsychologicalConstruct;
    Emotion: PsychologicalState;
    DevelopmentalStage: DescriptiveModel;
    LearningStrategy: Method;
    InstructionalIntervention: Intervention;
    Assessment: MeasurementProcedure;
    AssessmentResult: Observation;
    Feedback: Information;
    LearningOutcome: Outcome;
    AccessibilitySupport: Accommodation;
    ResearchEvidence: Evidence;
  }

  RELATIONSHIP_TYPES {
    PARTICIPATES_IN(Learner, LearningActivity);
    FACILITATES(Educator, LearningActivity);
    OCCURS_IN(LearningActivity, LearningEnvironment);
    TARGETS(LearningActivity, LearningObjective);
    REQUIRES_PRIOR_KNOWLEDGE(LearningObjective, PriorKnowledge);
    ENGAGES(LearningActivity, CognitiveProcess);
    USES_STRATEGY(Learner, LearningStrategy);
    SUPPORTS(InstructionalIntervention, LearningObjective);
    PROVIDES_SUPPORT(AccessibilitySupport, Learner);
    MEASURES(Assessment, LearningObjective);
    PRODUCES(Assessment, AssessmentResult);
    INFORMS(AssessmentResult, Feedback);
    EVIDENCES(AssessmentResult, LearningOutcome);
    SUPPORTED_BY(Claim, ResearchEvidence);
    CONTEXTUALISED_BY(Claim, LearningEnvironment);
  }

  CONSTRAINTS {
    AssessmentResult must reference an Assessment and an observation time;
    LearningOutcome must not be inferred solely from a single assessment score;
    PsychologicalConstruct is not a clinical diagnosis;
    DevelopmentalStage models are context-dependent, not deterministic labels;
    Learner attributes require privacy-aware, purpose-limited processing;
    Correlation does not imply causation;
  }

  INFERENCE_RULES {
    R1: IF AssessmentResult indicates an objective-specific gap AND evidence is adequate
        THEN SUGGEST review of targeted instruction WITH uncertainty and educator oversight;
    R2: IF LearningActivity requires PriorKnowledge not yet demonstrated
        THEN SUGGEST prerequisite support, not a fixed ability classification;
    R3: IF repeated observations show progress under comparable conditions
        THEN INFER tentative improvement WITH provenance and measurement limitations;
    R4: IF AccessibilitySupport is requested or documented
        THEN CONSIDER accessible assessment and learning pathways WITHOUT assuming diagnosis;
    R5: IF intervention effectiveness is claimed
        THEN REQUIRE relevant research design, population, context and uncertainty;
  }

  CONFIDENCE {
    scale: [0.0, 1.0];
    basis: evidence_quality + measurement_reliability + contextual_fit + replication;
    rule: Never present confidence as a validated probability without calibration;
    missing_evidence: unknown;
  }

  SEMANTIC_EQUIVALENCE {
    "student" ~= "learner" WHEN educational_context_matches;
    "instructional feedback" ~= "learning feedback" WHEN function_matches;
    "achievement" != "ability";
    "engagement" != "learning outcome";
    "learning difficulty" != "clinical diagnosis";
  }

  PROVENANCE {
    capture: source_identifier, author, publication_date, observation_date,
             study_population, research_method, jurisdiction, version;
    preserve: source_to_claim_links;
  }

  FLOW_HASH {
    algorithm: SHA-256;
    input: canonicalised_ontology_definition + version + source_identifier;
    note: Compute digest on publication; no digest is asserted in this draft;
  }

  UPDATE_MODEL {
    strategy: versioned_semantic_revision;
    triggers: new_evidence, corrected_definitions, changed_assessment_practice,
              accessibility_guidance, ontology_relationship_revision;
    actions: validate_types, compare_changes, retain_provenance, recalculate_hash;
  }

  AI_CONSUMPTION {
    output: typed_entities + typed_relationships + evidence_linked_inferences;
    require: context, uncertainty, provenance, human_review_for_consequential_use;
    prohibit: unsupported_diagnosis, deterministic_learner_labelling,
              automated_high_stakes_decisions_without_oversight;
  }
}

END FLOW ALGEBRA