h Sr"SS5r\S:XGaY\"S5 \"5r\"S5 \"S5 \R S/SS 9r\"S \"\S 535 \"S \S 35 \"S\SS35 \"S5 \"S5 /SQr\RS\5r\"S\SS35 \"S\SS35 \"S\S35 \"S5 \RSS5r\"S\SS35 \"S\S35 \"S 5 \RS!S"5r\"S#\S$35 \"S%\S&35 \"S'5 \"S(5 \"S)5 \"S*5 \"S+5 \"S,5 \"S-5 g.g.)/zM Complex Inference Engine - Multi-step reasoning and probabilistic inference cN\rSrSrSrS SjrSrSrSrSr Sr S r S r S r g )ComplexInferencec /Ul0Ulg)N)inference_historybelief_network)selfs G/home/james-whalen/eden-agi-project/core/reasoning/complex_inference.py__init__ComplexInference.__init__s!# c/nUn[U5H(nURU5nURU5 U/nM* UUU(aUSOSS[U5-S.$)z$Perform multi-step logical inference no_conclusiong?)premisesstepsfinal_conclusion confidence)rangeapply_inference_rulesappendlen)rrr conclusionscurrentstepnext_conclusions r multi_step_inference%ComplexInference.multi_step_inference sj %LD"88AO    /&'G !! 3> BO[!11   r cU(dg[U[5(aUSR5OUR5nSU;a,SU;a&URS5nUSR 5nU$SU;dSU;agS U;dS U;ag g ) zApply logical inference rulesno_inputifthenzleads tocauseszdownstream effect occursalleveryzapplies to specific instanceszlogical consequence follows) isinstancelistlowersplitstrip)r statements statementparts consequences r r&ComplexInference.apply_inference_ruless-7 D-I-IJqM'')zO_O_Oa  9 9!4OOF+E(..*K   "h)&;- I I!52,r clSnSnSnUHunSUR5;dSUR5;a US- nUS- nM7SUR5;dSUR5;a US - nUS - nMkUS - nUS- nMw [S X4-5nUU[U5UUUS :aSS.$US:aSS.$SS.$)zReason under uncertainty?r strongveryg?r#weakslightg?333333?g?gffffff?ffffff?highmoderatelow)eventprior_probabilityevidence_piecesevidence_strengthposterior_probabilityr)r)minr)rr<evidencepriorconfidence_adjustmentsr?piece posteriors r probabilistic_reasoning(ComplexInference.probabilistic_reasoning3s"#E5;;=(Fekkm,C&#-&!Q&!5;;=(H ,E&$.&!S(!&#-&!S(!e<= !&"8}!2%.$-O&   HQSV   ]b   r cPURX5nUS:aUUUSUS.$UUUSSS.$)zReason from similar casesr2zsimilar outcome expected)sourcetarget similarity inferencerz&cases too different for strong analogyr7)find_similarities)r source_case target_case similaritiess r reason_by_analogy"ComplexInference.reason_by_analogyRsR--kG  # %%*7*  &%*E!  r c`[[U5R5R55n[[U5R5R55nU(aU(dg[ UR U55n[ UR U55nUS:aXV- $S$)zFind similarity between casesgr )setstrr)r*r intersectionunion)rcase1case2words1words2overlaptotals r rN"ComplexInference.find_similaritiesisSZ%%'--/0SZ%%'--/0Vf))&12FLL()"'!)w44r c0UUSURX5SS.$)z7Reason about what would happen if things were differentzoutcomes would differcounterfactual_inference)actualcounterfactual comparisonkey_differencestype)identify_differences)r actual_event alternatives r counterfactual_reasoning)ComplexInference.counterfactual_reasoningws(#)1#88S.   r cSSSS.$)z*Identify key differences between scenariosz(alternative conditions in counterfactualzoutcomes differ from actualzcausal chain altered)changed_conditionsexpected_divergence reasoning)r scenario1 scenario2s r rg%ComplexInference.identify_differencess#M#@/  r c:[U5S:aUSSSS.$USSS.$) z)Infer unobserved causes from observationsr#zcommon underlying factorzpattern suggests hidden causer8) observationsinferred_causerorzinsufficient datar7)rurvr)r)rrus r infer_hidden_causes$ComplexInference.infer_hidden_causess< | q ,"<<!  )1  r )rrN))__name__ __module__ __qualname____firstlineno__r rrrGrRrNrjrgrw__static_attributes__rpr r rrs/! $-. >. 5   r r__main__zCOMPLEX INFERENCE TESTu 🧠 Multi-step inference:z, Premise: 'If it rains then ground is wet'zif it rains then ground is wetry)rz Steps: rz Final: rz Confidence: rz.0%u 📊 Probabilistic reasoning:z Event: 'System will succeed')zstrong positive indicatorszteam is experiencedzresources availablezsystem successz Prior: r=z Posterior: r@u 🔗 Analogical reasoning:z-successful product launch with good marketingz(new product launch with strong marketingz Similarity: rLz Inference: rMu 🤔 Counterfactual reasoning:ztook highway, arrived in 1 hourztook backroadsz Type: rfz Comparison: rdu 🧠 Eden can now:z! - Multi-step logical inferencez - Probabilistic reasoningz - Analogical reasoningz - Counterfactual thinkingz - Infer hidden causesu" ✅ COMPLEX INFERENCE OPERATIONALN) __doc__rrzprintrMrresultrrBrGrRrjrpr r rsS S j z "# "I () 89  + +-M,NVW + XF Js6'?+, -. Jv012 34 OF<05 67 +, +,[H  . ./? JF Jv1237 89 N6"9:3? @A OF<01 23 ()  ( (72F OF<05 67 N6+./ 01 ,-  / /)F IfVn% &' OF<01 23 ! -. () %& () $% /0_r