|
| 1 | +//! Bridge between lance-graph-ontology (OGIT+DOLCE spine) and |
| 2 | +//! lance-graph-cognitive fabric / Firefly Frame |
| 3 | +//! |
| 4 | +//! This allows Firefly Frames (especially NARS and Causal language prefixes) |
| 5 | +//! to carry properly typed, DOLCE-grounded ontology information in their |
| 6 | +//! CONTEXT and DATA payload fields. |
| 7 | +
|
| 8 | +use crate::ogit_dolce_spine::{OgitDolceSpine, DolceCategory}; |
| 9 | + |
| 10 | +/// Payload that can be embedded into a Firefly Frame's DATA or CONTEXT section |
| 11 | +#[derive(Debug, Clone)] |
| 12 | +pub struct OntologyPayload { |
| 13 | + pub node_id: String, |
| 14 | + pub ogit_type: String, |
| 15 | + pub dolce_category: DolceCategory, |
| 16 | + pub truth_value: Option<(f32, f32)>, // NARS <f,c> |
| 17 | + pub qualia: Option<Vec<i8>>, // Directly maps to Firefly CONTEXT qualia vector |
| 18 | +} |
| 19 | + |
| 20 | +/// Convert an OgitNode into a payload suitable for Firefly Frame |
| 21 | +pub fn node_to_firefly_payload(node_id: &str, spine: &OgitDolceSpine) -> Option<OntologyPayload> { |
| 22 | + // In real code you would look up the node in the spine |
| 23 | + // Here we show the shape |
| 24 | + Some(OntologyPayload { |
| 25 | + node_id: node_id.to_string(), |
| 26 | + ogit_type: "ogit:Event".to_string(), |
| 27 | + dolce_category: DolceCategory::Perdurant, |
| 28 | + truth_value: Some((0.85, 0.92)), |
| 29 | + qualia: Some(vec![10, -5, 20, 0, 15, -8, 5, 30]), // example 8-dim qualia |
| 30 | + }) |
| 31 | +} |
| 32 | + |
| 33 | +/// Example: How a NARS DEDUCE operation (language prefix 0x3) could use the ontology |
| 34 | +pub fn nars_deduce_with_ontology( |
| 35 | + premise_a: &str, |
| 36 | + premise_b: &str, |
| 37 | + spine: &mut OgitDolceSpine, |
| 38 | +) -> OntologyPayload { |
| 39 | + // 1. Look up or create nodes in the OGIT+DOLCE spine |
| 40 | + // 2. Perform NARS-style revision / deduction |
| 41 | + // 3. Return payload ready to be packed into a Firefly Frame |
| 42 | + |
| 43 | + let conclusion_id = format!("nars:deduced:{}->{}", premise_a, premise_b); |
| 44 | + spine.create_perdurant_event(conclusion_id.clone(), "NARS deduction result"); |
| 45 | + |
| 46 | + // Annotate with truth value (example) |
| 47 | + spine.annotate_with_nars_context(&conclusion_id, 0.78, 0.65, vec![5, 12, -3, 8, 0, 20, -10, 15]); |
| 48 | + |
| 49 | + node_to_firefly_payload(&conclusion_id, spine).unwrap() |
| 50 | +} |
| 51 | + |
| 52 | +// TODO: Add functions for: |
| 53 | +// - Packing OntologyPayload into the 384-bit DATA or CONTEXT field of Firefly Frame |
| 54 | +// - Reading ontology info from incoming Firefly Frames |
| 55 | +// - Causal reasoning (Pearl rungs) using DOLCE perdurants |
0 commit comments