h^Sr"SS5r\S:XGa\"S5 \"5r\"S5 \R /SQ5r\"S\S35 \"S \S 35 \"S \S 35 \"S 5 \R /SQ5r\"S\S35 \"S \S 35 \"S5 \RSSS5r\"S\S35 \"S5 \RS5r\"S\S35 \"S\S35 \"S5 \"S5 \"S5 \"S5 \"S5 \"S 5 g!g!)"z? Abstract Reasoner - Pattern recognition and symbolic thinking c2\rSrSrSrSrSrSrSrSr g) AbstractReasonerc /Ul0UlgN)patterns analogies)selfs G/home/james-whalen/eden-agi-project/core/reasoning/abstract_reasoner.py__init__AbstractReasoner.__init__s c ^T(a[T5S:aSS0$[ST55(Ga![[T5S- 5Vs/sHnTUS-TU- PM nn[[U55S:XaSSUS3TS US-S .$[[T5S- 5Vs/sHnTUS:waTUS-TU- OSPM nn[[U55S:XaUSS:waS S US3TS US-S .$[T5S :a>[U4Sj[S[T5555nU(aSSTS TS-S .$[ST55(aBTVs/sHn[U5PM nnU[ U5:XaSSS[ US S-5-S .$SSS.$s snfs snfs snf)z(Recognize abstract patterns in sequencespatterninsufficient_datac3N# UHn[U[[45v M g7fr) isinstanceintfloat.0xs r 5AbstractReasoner.recognize_pattern..s=Hqz!c5\**Hs#% arithmeticzadd )rrulenext geometricz multiply by c3R># UHnTUTUS- TUS- -:Hv M g7f)rrN)risequences r rr's6=$;q&a[HQqSMHQqSM,II$;s$' fibonaccizsum of previous twoc3B# UHn[U[5v M g7fr)rstrrs r rr1s48az!S!!8sincreasing_lengthzstrings get longerstring_of_length_complexznot recognized)rr)lenallrangesetsortedr*)r r&r%diffsratiosis_fibrlengthss ` r recognize_pattern"AbstractReasoner.recognize_pattern s3x=1,23 3 =H= = =:?H a:PQ:PQXac]Xa[0:PEQ3u:!#+"58*-$RL583$CM!O4646>a[A5Ehqsmhqk11L4 63v;1$a**6!9+6$RL6!948}!=$)!S]$;==#. 5 ( x| ; 484 4 4'/0x!s1vxG0&/)20/#gbkAo2FF %.>??SR6,1s F3-#F80F=cLSSSSSSS.nUR5UR54U;aiUR5XAR5UR54S:Xa2US US US 3XAR5UR54S S S.$US US US 3SSS.$)z@A is to B as C is to ? Example: cat is to meow as dog is to bark)dogbark)fishswim)hotcold)tallshort)icer?)moondim))catmeow)birdfly)daynight)bigsmall)firer>)sunbrightr:z :: z:?rlearned)analogyanswer relationshipunknown)lower)r abc analogies_dbs r form_analogyAbstractReasoner.form_analogy<s ---/,.   GGIqwwy !\ 1wwyL'')QWWY)?@CC"#AaSQCr2*GGIqwwy+AB1E$-AaSQCr*%  r cU(dSS0$[SU55(aSSUS.$[SU55(aSS US.$S S [U5S 3US.$) z/Extract abstract concept from concrete examplesconceptnonec3Z# UH!nS[U5R5;v M# g7f)has_legsNr*rVrexs r r4AbstractReasoner.abstract_concept..`s@xzSW]]_,x)+things_with_legszentities that have legs)r^ abstractionexamplesc3Z# UH!nS[U5R5;v M# g7f)moveNrbrcs r rregs<8RvR(8rfmobile_entitieszthings that can move related_groupz group of z related items)r/r.)r ris r abstract_concept!AbstractReasoner.abstract_conceptZs~v& & @x@ @ @-8$  <8< < <,5$ '&s8}o^D   r cUR5nSU;aUSU;aOURS5nUSRSS5R5nUSR5nSUUSSS .$S U;aS S S S.$SU;aSSSS.$SSS.$)zReason about symbolic logicifthenrr conditionalzif-thenT)type condition consequencelogicvalidz and conjunctionandzall conditions true)rurxrequiresz or disjunctionorzat least one condition truesimple statement)rurx)rVsplitreplacestrip)r rstatement_lowerpartsrvrws r symbolic_reasoning#AbstractReasoner.symbolic_reasoningus#//+ ? "v'@#))&1Ea((r288:I(..*K&&*"   o %%1  _ $%9  !;77r )rrN) __name__ __module__ __qualname____firstlineno__r r7r[rnr__static_attributes__r$r r rrs0@d < 6"8r r__main__zABSTRACT REASONER TESTu 🔢 Pattern: [2, 4, 6, 8, ?])rz Pattern: rz Rule: rz Next: r u! 🔢 Pattern: [1, 1, 2, 3, 5, ?])rrrr"ru 🔗 Analogy: cat:meow :: dog:?rErFr:z Answer: rSu, ⚡ Logic: 'If it rains then ground is wet'zIf it rains then ground is wetz Type: ruz Logic: rxu 🧠 Eden can now:z - Recognize abstract patternsz - Form analogiesz# - Extract concepts from examplesz - Reason symbolicallyu" ✅ ABSTRACT REASONER OPERATIONALN) __doc__rrprintreasonerr7resultr[rr$r r rsR8R8h z "#!H +,  ' ' 5F L *+ ,- IfVn% &' IfVn% &' ./  ' ' 8F L *+ ,- IfVn% &' -.  " "5&% 8F Kx() *+ 9:  ( ()I JF IfVn% &' Jvg' () ! ,-   /0 $% /0Er