From 51cdd749db9edecb9f64cdb593746f027d2e7ff5 Mon Sep 17 00:00:00 2001 From: Can Mingir Date: Wed, 7 Feb 2024 07:47:15 -0500 Subject: [PATCH] Change project description for reasoning engine --- .github/media/neuro-symbolic.png | Bin 0 -> 8543 bytes README.md | 29 +++++++++++++++++++++++------ 2 files changed, 23 insertions(+), 6 deletions(-) create mode 100644 .github/media/neuro-symbolic.png diff --git a/.github/media/neuro-symbolic.png b/.github/media/neuro-symbolic.png new file mode 100644 index 0000000000000000000000000000000000000000..803d3326b971bab0901d427a90a05059a76798b2 GIT binary patch literal 8543 zcmbVycQoAZ^KT@GRl+K31yNRylGRIec9kF!okdpk{y~H&QKIceCs-{y8;dAm5z#`l zWFy!pQ4*r}vikM;-gAE6d+s^+pZmxAdC#2l%ri4*=FH6VdcWfz8p7$QZ&P2pc8yL~ zN9)nGYh=Y&v_BQ))hhH8F>&=G^Lqr>xP}|ySh-@zoz)H0uU)H4qB(m)am53CbS(X@ zUAxu&??cw-UGenVHST>~Ep?OUwi|haBVzEN7zI1ZrR2d+9OAshWc_RFJ`_DoSxg>T zly$~V3{%eMp3t=3YG!ALJK*LNE`g9Y+miD$GaI2? z3%_{VV9lD(qbukI&HX6lmq5h;4wN{Q7a=xePNj)W=)D=uYT17ATSuLXx2-hNh-Xu| z%kRrNcTs3AwDH4OYs&Pm`GPu)&sFhzkJxa zH1qTq#RUlBC)@lBWUa-wa{dj`&U05LP z-$I32Jg=+%Z`rS9gYJ|&!E%$LLPYu-TvYgMR*E5xTYW^Nbc6$eA0~G@%$^6<^D62# zbHTK1L_u$VE(NY}wsg=vy7|bW+0n1pCs7o}Bo6{X)N@Y=#m|-by}UT*9iWne@CgB) zRf$U=4T`|ht?>R|pDobjzKq2W)#AbxT4Wy&-n|M4bMuJFTW#c@KoxUC#XwLod0!Wj zFOD7myGUC73=-uBAr@$%`^}BIPLQ?|WzKeE_0?uJcVrqX+vHfn$`fPn@cj^zDGZ2o z;v`Dn=X$Z2;Vc@511@5JW6u%2JEa_;;%i|YBc(9#$VhP$0I#a@)oFC6(`=##8%_VL z1w9eDsUFIAmhu!22*LEmHFtEIZS8$tv#HGs|EfD8cN~_zEjn+|g6?BI7nBydjq41eOcPGJBILJC$3d~ zsJI`033#Ia%7o?HZK6a1&{dUR`i;6h?w@7X_O+0?@`Q79O{csPNe^7^&I%*M<0C9C z@wZ^AE)&r`j~Hn^&)Y z3y4UwGl>X50o5~*D28~q>@UBwq(BvqTGP2-v49BhEj-Ux%e&?b2oW~UDwc*l+XW;tD1-}Zk{?_Z0w(pMI@KyAFLZM~F2QvbOrOCqMF!`DY zt})O(*OmZNs+2RT(KYPzz*HWC3AM)*Xio!l*V=<1rrm>zUC|6p1bq0CA{u3-Wy-^A z(5JT5zk9*b&`!jv1@9?wc}VcWh+<7~I->#mygZj)?QrTO<(tBEyEv!q7?yWbm48}#DWRzW>mA6hv!HEkNFk{Wc- zP7{h#C&Sur*nCA^7&QB7cNBcU)1U^Do4MAfoZ`IPGVIOQ$}kbbYoc8sR$u)^s=+%E z8%jzw3O#EUZax|^T;Ip4NCkO)xqoK)5{L*b^!EADQ`M;FV`6s5#%E$~9UZ*rzJjse zsFa5`dilVgn^D7WktS^)cnxosuV4g!eo<*jWcV_JNBtgZ z-6|zD&mx`_>-q0IPXSSr83)IAh+HRDCjeJa8r-!hV68+0N-xM-Bs z3>l3sCFUW}+cd3z)z4Brm)En1e$}?ck{_!ub9+#>Frx8L5Co`lhd7}MsB5*+`40r7;=;wUqm#qpz$}{0 zEN@cfBJ6%BTIF7AGJCdM^{Ibr8L4Gu{wm3iAi`@%&!HT&0!zfd!|y7ko8+6SGZJ;v zbF3pz=h!*>3=jcCILq8eQbl3-g2c$N1(HOp>%UdBW>$Jk#9YZX_=*F66bqt5k6IQ9ll-0ZZQ z66Lyi2LA!Q-<;*TT~Fz&kHK@Q4smKqkRQ2 zYHS~C-CHs4X?D(#*&q&0IMklLDI6qatdKb%_OEr+O86CeV6o|JoRI1Q-x;Dqf6k7n zxtQ+ua>Tj&59_ta_EIAE&y!hJ4Kr2{_n=yS1 z_st}xf^mZ-a&Vi5_5lb_~2cNC-WG*I%EV zd>OaeFRgyk(z_g;FWr<-*cUme}M5e7KRG}oGaFq)lUL+!stTkg(_)~EbBSZ%&n7haQE;fbALiz zD1 z6+%Y39kfAOnt9zIj-6qI^W$x$3MHtf3S;t^LSL=r zISsW3-#-K>f<2lcfY3-?*y}>J>kfh}ppKk8R`JR@=oQs5UYb^?&@EWfx8YE_8L?=z&XY2Z+)$Ley1KYDL4mO?DJA zz~|j&1!-zL_#Pd5b4-!*c*f_$u>|0$1qXxiT_u0h=s&FSpIUl#5C~%huT(H+K=hsC zm3cQ;+4!+>YS~8bL=7IuM+P$4gO?M0*NIkW5O;?TS|j2ovXy1Gl80gUxrZF%Wi@;=S~CcU3^eGPM#*iA+88 z8SgTM-9FE?sg-)5>XkV#RzKfj|Kaa&XDFT=JbX-Nzbx{%w6Lu)#TQ#lS64X|)P_BoOCV1J-6L zc^2;c8;dE~6%?Mzznr_=gQH98I$*(p2?)3GBPJ=mo z!=UpQvf{dycy*IS#;b4-y>9V$ET+Oh4;5T>;DRytPb8P67TFync%ii{0 zardnxewdrO7FX9TvFru~2Opbjvy(mV48l2mMTvGMojB@#6_G%1TOx-wIw8fOhjZWS z=H;Zn8a9IySpu6eU%DZv?}y% zU?8jEY&~Vz*7`rq^uEEwDl=ROd@IZU{tJq_!;dZjAC){t#9)^&Vn?Qb+sM(cIL^PnQgk3)R z;_Yjz7%|+^D|EKq=vV+Gxju}h+-Nvm@bQ3Bw~q6s4)XpnclVsp6%dRKt<(_X{kc>{P#wnL6`iQX#x}>+&#h zAy}k!iWhcrr}lV;uBrE)XI@DGlrgCQe#*CJ+Arb33CPI!CS6FT1o$=@{dO(Maa2x!px`04#P)HpJ^lt}K1V!;m>P&pfO+tM>&dgd62cE)e3Xrtc%P+Y00xIJt_`}1XBPavoB zS(n*(dc#-Td_C#cZRmh~F|J92Ic`FM_R`CSp*o>Wo4jj0h1>SB5F669r=2tKkeyfj zve%Ne%>KnQXqNzosbE|F6d_Ly@>ZL;-?2NUTP*TiA%K_IfmtVck- z%T~~lgL33#>`J-B%>GT&B@%r`;K1&Bt+(<$6X##Qt{+$Mhxy1sj+b))-X29``1REy zCX(tlvPVO6er)D=3gMwdTDI`GQ<~M;F}XNSy@{AzoeP9ssU(Q$G@G{WgF07qyNHWL z0llSvqI8eHiflI|!Bf9DZJQoh^Aw5Ay=mPyqu{=-YWjRkyjz%9Y3(Ab6Y0sBRM#uS z4#EnG9UFX23yb|#%BhW({8LHoRY&7hV3Juzukn@4(RlH|FT>ru>)AFzLCK93a?Fxe zPQ8F}UQYaE*WK5bEp0IoM3gQ~{sf=cuL*2fx3`{no&+BLHC0>n;u3Xr`%l3UY>MY< zaqd3*4%UwEJ~HJ*>Z;tr40g~TFIxq_s;xwRwqg0_Xq}EULdjG+`2*i&(zlbBH*u>8 zL&?1!RS@GWr%G;*4L)xRHw_cp?mqZYd8D-}C2l3!vr=TTDEZMy4|h}3)=igri-R~0 zSOK-VN9t1}|DIeorXLDgJkm+`A3_}= zJ@ot!Zs~Tts3oyG7*ff(L3=RrrY^kqre-0bDQS|tQ&aYPP5 z>%eS&r?ud0Y&Y`h(8lk3P|5!T+Wo(k`C*#_w|;Tb!JLoP6aL*eLc_a1z3s|eQeh3~ zn+F2kCu%ARnD3=jKFQxwzLo}(C9tSG$p!VD%%5adwtmKq;8A-|Y6x!vU z!1S&I{_Wztp>!AI3xBl#@p*3H#g0hH z*RX;Xj$D*osoyRnk16vj<8IJIz(K`A+VM5tS?;!+4e~YoQb0$jNH$CI1tJoMJ%3?v zN;o)>$BeB-`X6`T_imr<1{^bE^uxj>RDW*W?+dLG9Scn@n>`kcJX87n=xD`=s)JpU zY~0ky<&x_PZi~AlTS4|iwCNd+0=m?XookP8U15?7c3H`1o*-0EHq)mFJ7&oDfL&*e z_w*}xaDrY~P9U9!e|t%&KE?}Yq2djWynlj;`QTsLUlixU9JJr zoGq9qD0jNmUgntsbnP7LI*ev!JAPUI=v>kUX;T=Sal^hWVWVf=lq01xlm;{xQU^H` zQW!08i8N?waMb+xZ0jBu zW}fkb9~Eb&`IdLl+Ww<|Gv5pxKG%Dclkeo$qWtb`U@rG5G{@HZD}(>09e0RI_JG;c zv0^Z^yza;GM9|2@OI)AjD|oKR;Spdr?bB;|0}s`=4S%rzgb47{G00J~q3r(nkMD(r z!%5UTrxS}pTJP4>?_T20ras3Cj*m&A2XcFnZ7~2N;6HaB1BGCNDbpe_>~Z}GKWOaC z65SWG_?H;wm|FH^5%gBS6Ht*rkbZq&{Ge?8r%CHHZ*9S|Ru(aAy0qE}lHcHj8x|R0 z3aTH^+!cJ_y~HcAu%~UwQcOE#R8Rbno%v*35qa7wtm|6L;24Jq`zvkcwY2M_LJ4Jj z$EuOc<0(S*wLT74S7|`(s*GsY;y)e1&k!#vzpK$}7_f*moo4vY!_VFT!gXY2fE+y< zwYFEy++Q`NP$oXb9&x-i^=|RfPI$u;bo#N1HLTz}s%@BUo?JAZux%T)=q_CKvLW`S zvwi#XiTC7(Mgr!?Amp3W^fFB0#l>@0q@(!FzYZcW{Vk)IO@&OnEjCi^_ z*@c<2@9g8+;l&E-cif>2_@_#1ZVoRdC942A1Ii)9f!zR*DHQO%Osx2!Xq?@kYWYf* z_Juct7LVBy+UL3kls8O7@@wgG^3x`_5A=sg{N~5v@dUSz#HY}zrb3;xI9jb!2u>GW znAw3B@4i2NruzYm5YA1SHYj(;S`pIn?;gptmYwl#SH=?>#!AR&?CfRQ3@Kb!iw1&T zZAD3z7*RMowZ19y!cDfPSPPyEpCSn&u(6+PI@WII7HF^Qxi53TuQdqND)X&e3kQbU zTjrmSWKUhfzl8Ad3vXB;8-&7oIQd{jnK!3Kz3@fsiOsHqgERi-wsb!qKWeJ_Y`Wxw2Yj5{lY6ScD_^JH3eP1U5$zTGO!k4;`s z5LkQ#0NGBKibo-YxO=cjuA7`xO)_yVmz<*}XizMQ#>4A9`1Nu9H($&x`>b1Y4=={{ z+zn|3?M=~7(~9IG3dGyU#$!{Qgkj(K2XlWWvyCy! z>5hY%IZxd14dOyovwa`)l$&PCPM`HLc>ilk^1D(tA#(%64LkYh(qBxuGV5G-oSO~l z(yfRmK!mLX-Ri*`#~ryv&J5w09+z!rg%DCjX_I!M!OjnNZ;@WG|kI%&ZeCSXF! zw=a+G4+cIqks^tjoguHF0O1XFhGLtKyxx8@J|kAWE+->pii*{g7g&u^WIcV;Xws8% zmH=D{f0z_7OXI{}dS<=bvZ)4v{s;q~&Homjw1MPS@I!OLZkpsB3SK{T?X`;o_|_lk zzBkf^2n+Ae-n@!O@sktAOgD<4mtAy`dt)N7QJ^P2uq&aSQl;fP-I3;*kcjBjaLb)4 z>MSPSRDL`b}Gw37MnS!+N9lF#OUU_wWBwr`k3a-%rSjE|ad1 zlz#W3$;S7K(eS+SP=g`({?_pEFt37%^|BG6RljCjtdZjb1I%lOt3|k2EF=mIyQy=z#W5TzE=~ zwNW;(zn%N7UQtH9q%tPF8x)D?@O2^E)NEVjKX;-4j4h47Q{c^wt^xzT%M?sLkms$9 z?{PW92}bU_4z5L9eN3Ewr%@S!kVmAn(B>wIA^FH$l)u&=uMo}dK9yzkqIL~-VGCxm z03l0Ax4+a>c*Ju#TU4myMLgqec*uL~8o_{tGDLuBEnzEt&dZIE1L^GKT8bNu*DLlz^c6Cv??>Xsyb|P?>9Cx7Kx}A-^#0DsuKfu8U*14J znXg$dtMTif*KA$#3d?;C?lCi!QZMZDsba>Ik7*y@tQ&G9q@7u~z85o2o+TcL5l23b zQD^$k%wF!!f5^DCiH| z&EoqZ?O=fXtNrQWa-0S|nH;@<&DON$?(9Nucleoid +

+ Declarative (Logic) Runtime Environment +

@@ -15,27 +18,41 @@ ![Banner](.github/media/banner.gif)

- AI-managed Low-code Framework for Node.js + Reasoning Engine for Neuro-Symbolic AI with Declarative Logic


-Nucleoid uses symbolic (logic-based) AI in the runtime that tracks given statements in JavaScript and creates relationships between variables, objects, and functions etc. in the graph. So, as writing just like any other codes in Node.js, the runtime translates your business logic to fully working application by managing the JS state as well as storing in the built-in data store, so that your application doesn't require external database or anything else. +D(L)RE is a type of Symbolic AI used for reasoning engine in Neuro-Symbolic AI. The runtime that tracks given statements in JavaScript syntax and creates relationships between variables, objects, and functions etc. in the graph. So, as writing just like any other codes in Node.js, the runtime translates your business logic to fully working application by managing the JS state as well as storing in the built-in data store, so that your application doesn't require external database or anything else.

Graph Animation

-## How it works +### Neural Networks: The Learning Component -I. Write your business logic in JavaScript (TypeScript support coming soon) +Neural networks in Neuro-Symbolic AI are adept at learning patterns, relationships, and features from large datasets. These networks excel in tasks that involve classification, prediction, and pattern recognition, making them invaluable for processing unstructured data, such as images, text, and audio. Neural networks, through their learning capabilities, can generalize from examples to understand complex data structures and nuances in the data. -II. Nucleoid runtime renders your codes +### Symbolic AI: The Reasoning Component -III. Creates APIs with the built-in datastore +The symbolic component of Neuro-Symbolic AI focuses on logic, rules, and symbolic representations of knowledge. Unlike neural networks that learn from data, symbolic AI uses predefined rules and knowledge bases to perform reasoning, make inferences, and understand relationships between entities. This aspect of AI is transparent, interpretable, and capable of explaining its decisions and reasoning processes in a way that humans can understand.
+

+ Neuro-Symbolic Diagram +

+ +
+ +#### Declarative Logic in Symbolic Reasoning + +Declarative logic is a subset of declarative programming, a style of building programs that expresses the logic of a computation without describing its control flow. In declarative logic, you state the facts and rules that define the problem domain. The runtime environment or the system itself figures out how to satisfy those conditions or how to apply those rules to reach a conclusion. This contrasts with imperative programming, where the developer writes code that describes the exact steps to achieve a goal. + +Symbolic reasoning refers to the process of using symbols to represent problems and applying logical rules to manipulate these symbols and derive conclusions or solutions. In AI and computer science, it involves using symbolic representations for entities and actions, enabling the system to perform logical inferences, decision making, and problem-solving based on the rules and knowledge encoded in the symbols. + +By integrating Nucleoid into Neuro-Symbolic AI, the system benefits from enhanced interpretability and reliability. The declarative logic and rules defined in Nucleoid provide clear explanations for the AI's decisions, making it easier for users to understand and trust the system's outputs. Furthermore, the explicit reasoning capabilities help ensure that decisions are made based on logical principles, adding a layer of reliability and consistency to the AI's behavior. + ## Hello World :zap: ```shell