Elekeza Kazi za Mawakala wa AI kwa Sprix SAGE Router

Sprix SAGE Router ni nini?

Sprix SAGE Router ni mradi wa utafiti wa Python wa chanzo huria wa kuamua jinsi mawakala wa AI wanavyopaswa kutekeleza kazi baada ya kazi kuanza. SAGE inamaanisha State-Aware Graph Exchange. Hufanya kazi kati ya ugunduzi wa mawakala na utekelezaji wa kazi, ikichagua usanidi wa mawakala unaowezekana huku ikizingatia maendeleo ya sasa, uwezo, ruhusa, gharama, muda wa kusubiri, utegemezi na upotevu wa uhamishaji wa muktadha.

• SELF: Wakala aliyekuwa akitekeleza anaendelea peke yake wakati uwezo wake na muktadha uliokusanywa vinatosha.
• COLLABORATE: Wakala aliyekuwa akitekeleza huhifadhi umiliki huku mawakala wasaidizi wakishughulikia mahitaji yanayokosekana.
• HANDOFF: Wakala mwenzao huchukua umiliki kamili wakati faida yake ya kitaalamu inapozidi gharama ya kuhamisha muktadha.

SAGE imeundwa kukaa juu ya itifaki ya Agent2Agent. A2A hufafanua Agent Cards, kazi, ujumbe, vizalia, uthibitishaji na usafirishaji unaoweza kushirikiana. SAGE hushughulikia swali tofauti: ni usanidi upi unaostahiki unapaswa kutekeleza kazi, kwa njia ipi, na kwa nini?

Prototipu ya sasa hurejesha maamuzi ya uelekezaji. Haitumi kazi kwa mawakala, kwa hiyo mteja wa A2A au safu nyingine ya utekelezaji lazima itekeleze njia iliyochaguliwa.

Vipengele muhimu vya uelekezaji

SAGE huunganisha uelekezaji, upangaji na ujifunzaji wa mtandaoni katika mchakato mmoja wa maamuzi unaoweza kukaguliwa. Vipengele vyake vikuu ni pamoja na:

• Uelekezaji wa njia tatu: Watahiniwa wa SELF, COLLABORATE na HANDOFF hushindana chini ya lengo lilelile la matumizi.
• Upangaji upya unaozingatia maendeleo: Maendeleo yaliyokusanywa, watekelezaji wanaofanya kazi, kushindwa, nodi za kazi zilizokamilika na muktadha unaoweza kuhamishwa vinaweza kuathiri kama kubadilisha njia kunafaa.
• Uteuzi wa timu zinazokamilishana: Timu hutuzwa kwa kuongeza ufunikaji wa mahitaji badala ya kukusanya mawakala wa kiwango cha juu wenye uwezo unaojirudia.
• Uaminifu wa kimuktadha: Utegemevu hujifunzwa kwa kila wakala na hitaji, badala ya kupunguzwa kuwa alama moja ya jumla ya sifa.
• Upangaji wa Task-DAG: Mahitaji hugawiwa kwa watekelezaji, huku kingo za utegemezi zikiamua mpangilio wa utekelezaji, topolojia ya mawasiliano na muda wa njia muhimu.
• Utafutaji wenye mipaka: Utafutaji wa beam hutathmini viambishi awali kadhaa vya timu za ushirikiano badala ya kufanya chaguo moja la pupa.
• Uchujaji unaotanguliza vikwazo: Mawakala wasiostahiki huondolewa kabla ya kupanga viwango, bila kujali ubora wao uliotabiriwa.
• Ujifunzaji unaozingatia ushahidi: Alama za mahitaji, gharama halisi na muda halisi wa kusubiri vinaweza kusasisha uaminifu, ulinganifu, modeli ya mafanikio na usahihi wa zabuni.
• Matokeo yanayoweza kukaguliwa: Maamuzi huonyesha njia iliyochaguliwa, mgao, topolojia, mafanikio yaliyotabiriwa, ufunikaji, gharama, muda wa kusubiri, hatari, matumizi na mantiki.

Jinsi algoriti hutathmini njia

Kwa kila hitaji la kazi, SAGE huunganisha uaminifu wa jumla na uaminifu unaozingatia hitaji ili kukadiria uwezo uliosawazishwa wa wakala. Ufunikaji wa timu huongezeka wanachama wanapochangia uwezo wenye manufaa usiorudiwa. Kila hitaji linalosalia hugawiwa kwa mwanachama wa timu mwenye uwezo uliosawazishwa zaidi.

Mpangaji huheshimu DAG ya mahitaji. Kazi iliyogawiwa kwa wakala mmoja huendeshwa kwa mfululizo, huku kazi huru iliyogawiwa kwa mawakala tofauti ikiweza kuendeshwa kwa sambamba. Baada ya kuunda timu ya mgombea, SAGE hukagua gharama ya kiwango cha timu na muda wa njia muhimu dhidi ya bajeti na tarehe ya mwisho ya kazi.

Watahiniwa wanaowezekana hupangwa kwa kutumia kazi ya matumizi inayosawazisha thamani ya mafanikio iliyotabiriwa dhidi ya gharama, muda wa kusubiri, hatari, upotevu wa uhamishaji wa muktadha, gharama ya uratibu na kutokuwa na uhakika. Hii humwezesha mtaalamu mwenye uwezo zaidi kushindwa na wakala aliyekuwa akitekeleza wakati kukabidhi kazi kungetupa muktadha mwingi wenye manufaa. Pia huwezesha timu inayokamilishana kuishinda mkusanyiko wa mawakala wenye sifa kubwa lakini uwezo unaojirudia.

Sakinisha na thibitisha mradi

Mahitaji ya awali

Utekelezaji wa marejeleo unahitaji Python 3.10 au mpya zaidi. Kulingana na README ya mradi, hauna utegemezi wa wakati wa kuendesha.

Clone hazina

git clone https://github.com/wang2122/sprix-sage-router.git
cd sprix-sage-router
python demo.py

Hati ya demo.py hutoa mfano unaosomeka wa mwanzo hadi mwisho. Kwa kuwa hazina huweka utekelezaji wake wazi moja kwa moja kupitia sprix_sage.py, mwanzo wa haraka hauhitaji amri tofauti ya kusakinisha kifurushi.

Endesha majaribio na kipimo

python -m unittest -v
python benchmark.py

Majaribio ya kitengo huthibitisha tabia inayotarajiwa ya router. Kipimo huendesha kiigaji cha nje kisicho na mstari kwa kutumia mbegu bainifu, hivyo kuwezesha matoleo tuli na ya mtandaoni ya SAGE kulinganishwa na mikakati rahisi ya uelekezaji.

Unda hali yako ya kwanza ya uelekezaji

Hatua ya 1: Ingiza aina kuu

from sprix_sage import (
    Agent,
    ExecutionOutcome,
    Requirement,
    SAGERouter,
    Task,
)

Mfano huu hutumia Agent kuelezea watahiniwa, Requirement na Task kufafanua kazi, SAGERouter kuchagua njia, na ExecutionOutcome kurejesha ushahidi baada ya utekelezaji.

Hatua ya 2: Fafanua mawakala wanaopatikana

agents = [
    Agent(
        "planner",
        {"planning": 0.92, "coding": 0.55},
        cost=0.08,
        latency_ms=900,
    ),
    Agent(
        "coder",
        {"planning": 0.35, "coding": 0.96},
        cost=0.12,
        latency_ms=1200,
    ),
]

Kila wakala ana kitambulisho, vekta ya uwezo, makadirio ya gharama, na makadirio ya ucheleweshaji. Hapa, planner ana uwezo mkubwa katika kupanga, huku coder akiwa bora zaidi katika uandishi wa msimbo. Tofauti hii huipa SAGE sababu ya kuzingatia ushirikiano au kukabidhi kazi badala ya kuwapanga mawakala kwa kutumia alama moja ya jumla.

Hatua ya 3: Weka mahitaji na utegemezi katika muundo

task = Task(
    "build-feature",
    requirements=(
        Requirement("planning", 0.4),
        Requirement(
            "coding",
            0.6,
            depends_on=("planning",),
        ),
    ),
    value=1.0,
    budget=0.30,
    deadline_ms=4000,
    progress=0.35,
)

Kazi hii ina mahitaji mawili yenye uzani. Mahitaji ya uandishi wa msimbo yanategemea upangaji, hivyo kuunda DAG ndogo ambamo upangaji lazima ukamilike kabla ya uandishi wa msimbo. Pia kazi hii hutoa thamani zinazohitajika kwa uelekezaji wenye vikwazo:

• value huwakilisha thamani ya kukamilisha kazi kwa mafanikio.
• budget huweka kikomo cha gharama inayokubalika.
• deadline_ms huweka kikomo cha ucheleweshaji uliopangwa.
• progress huujulisha kipanga njia kwamba utekelezaji tayari umefikia asilimia 35.

Maendeleo ni muhimu kwa sababu kubadilisha umiliki wakati wa utekelezaji kunaweza kusababisha upotevu wa uhamishaji wa muktadha. Kwa hiyo, faida ya uwezo wa mtaalamu haimaanishi moja kwa moja kwamba kukabidhi kazi ndiyo njia bora.

Hatua ya 4: Elekeza kazi

router = SAGERouter(
    agents,
    incumbent_id="planner",
)

decision = router.route(task)

print(decision.mode)
print(decision.assignments)
print(decision.topology)

Wakala aliye madarakani ni wakala anayemiliki kazi kwa sasa. Kuita route hulinganisha watahiniwa wanaotekelezeka wa SELF, COLLABORATE, na HANDOFF. Uamuzi unaorejeshwa unaweza kuchunguzwa kupitia sehemu kama hizi:

• decision.mode kwa hali iliyochaguliwa ya utekelezaji.
• decision.assignments kwa mgawanyo wa majukumu ya mahitaji kwa mawakala.
• decision.topology kwa muundo wa mawasiliano unaotokana na utegemezi.

Usidhani kwamba hali hii lazima kila mara itoe hali moja mahususi. Matokeo hutegemea makadirio yaliyorekebishwa ya kipanga njia, vikwazo, maendeleo, na hali iliyojifunza.

Jifunze kutokana na matokeo ya utekelezaji

Uelekezaji ni nusu ya kwanza tu ya mtiririko wa kazi. Baada ya mawakala waliochaguliwa kutekeleza kazi, rejesha ushahidi thabiti zaidi unaopatikana kwa kipanga njia:

router.record_outcome(
    decision,
    ExecutionOutcome(
        success=0.9,
        requirement_scores={
            "planning": 0.95,
            "coding": 0.86,
        },
        actual_cost=0.19,
        actual_latency_ms=1450,
    ),
)

Thamani ya jumla ya mafanikio huupa kipanga njia matokeo ya kiwango cha kazi. Alama mahususi za mahitaji hutoa mgawanyo sahihi zaidi wa sifa, na kuzuia kila mshiriki wa timu kupokea sifa inayofanana. Gharama na ucheleweshaji halisi husaidia kurekebisha utabiri wa baadaye na bei zinazotolewa na watoa huduma.

Uelekezaji na mrejesho unaorudiwa huwezesha SAGE ya mtandaoni kuboresha uaminifu wa kimuktadha, athari za jozi, utabiri wa mafanikio, na usahihi wa zabuni. Ili kujifunza kwa manufaa, rekodi matokeo kwa uthabiti na pendelea ushahidi uliopimwa kuliko lebo za mafanikio za jumla kila ushahidi huo unapopatikana.

Unganisha SAGE na mfumo wa A2A

Muunganisho wa uzalishaji unaweza kutafsiri ishara za itifaki na soko kuwa uwakilishi wa ndani wa SAGE:

• Sanifisha AgentCard.skills kuwa vekta za uwezo.
• Tumia mahitaji ya usalama kama vichujio vya ruhusa vya lazima.
• Hakikisha kwamba hali za ingizo na towe zinazotumika zinaoana kabla ya kutoa alama.
• Ramani hali ya kazi, vitu vilivyoundwa, nodi za DAG zilizokamilika, na hitilafu ziwe hali ya sasa ya utekelezaji na makadirio ya upotevu wa uhamishaji.
• Wakilisha bei zinazotolewa na watoa huduma kama zabuni zenye gharama, ucheleweshaji, na kiwango cha kujiamini.
• Tumia tathmini za kazi zilizokamilika kusasisha uaminifu wa kimuktadha, mabaki ya jozi, utabiri wa mafanikio, na usahihi wa zabuni.

Mara SAGE inaporejesha uamuzi, mteja wa A2A anaweza kuutekeleza kwa kutumia shughuli za itifaki kama vile kutuma ujumbe, utiririshaji, kuulizia hali ya kazi, au kughairi. Weka mpaka huo wazi: SAGE huchagua na kueleza njia, huku safu ya A2A ikishughulikia mawasiliano na utekelezaji.

Vidokezo vya matumizi ya hali ya juu

Fanya kazi iwe DAG yenye maana

Tumia utegemezi kuwakilisha mpangilio halisi wa utekelezaji badala ya kuweka kila hitaji katika orodha bapa. Utegemezi sahihi huisaidia SAGE kutofautisha kazi ya mfululizo na kazi ya sambamba, na kutoa makadirio muhimu zaidi ya ucheleweshaji wa njia muhimu.

Pendelea maelezo ya uwezo yanayokamilishana

Waeleze mawakala kwa kutumia uwezo wa kiwango cha mahitaji. Alama moja pana ingeficha tofauti kati ya upangaji, uandishi wa msimbo, utafiti, au ujuzi mwingine na kudhoofisha uaminifu wa kimuktadha pamoja na mgawanyo wa majukumu.

Chukulia ruhusa kuwa vikwazo vya lazima

Usitumie ubora uliotabiriwa kupuuza kanuni za ufikiaji. Muundo wa SAGE unaotanguliza ruhusa unatarajia mawakala wasiostahiki waondolewe kabla ya upangaji wa watahiniwa. Ukaguzi wa uoanifu, uthibitishaji, na sera pia unapaswa kufanyika kabla ya utekelezaji.

Tumia bajeti na makataa halisi

SAGE hukagua vikwazo wakati wa kuunda watahiniwa na tena katika kiwango cha timu. Toa bajeti na makataa mahususi kwa kazi ili kundi la mawakala linalovutia kibinafsi lisichaguliwe wakati gharama yake ya pamoja au njia yake muhimu haiwezi kutekelezeka.

Kagua maamuzi badala ya kutumia hali pekee

Kagua migawanyo, topolojia, ujazaji, mafanikio yaliyotabiriwa, gharama, ucheleweshaji, hatari, manufaa, na mantiki. Rekodi ya ukaguzi inaweza kuonyesha ikiwa njia ilichaguliwa kwa sababu ya ukamilishanaji wa kweli, kuhifadhi muktadha wa wakala aliye madarakani, kupunguza upotevu wa uhamishaji, au kutimiza vikwazo.

Pima usahihi wa bei zinazotolewa

Rudisha gharama halisi na ucheleweshaji baada ya utekelezaji. Bila thamani zilizozingatiwa, kipanga njia kina ushahidi mdogo wa kubaini ikiwa uaminifu, bei na muda uliokadiriwa ni wa kutegemewa.

Tathmini mabadilishano kwa kutumia matumizi ya pamoja

Alama bandia iliyojumuishwa inaripoti kuwa SAGE ya mtandaoni inafikia ubora wa juu zaidi ulioigwa na matumizi ya pamoja kuliko misingi iliyoorodheshwa, huku ikitumia zaidi ya SAGE tuli. Mabadilishano haya yanayoonekana ni muhimu: upangaji njia haupaswi kuficha gharama nyuma ya alama ya uwezo pekee.

Alama hii ni ya kubuni na si ushahidi wa ubora wa hali ya juu katika ulimwengu halisi. Tathmini ya utekelezaji halisi inahitaji utekelezaji wakilishi, misingi thabiti ya upangaji njia, uchanganuzi wa urekebishaji, urudishaji wa rekodi za soko, mawakala mbalimbali, na hali za upinzani.

Elewa vikwazo vya onyesho la utafiti

SAGE ni onyesho la utafiti la hatua za awali, si hakikisho la kiwango cha huduma ya uzalishaji wala matokeo yaliyopitiwa na wataalamu. Sera yake nyepesi iliyojifunza haibadilishi mafunzo kwa kutumia rekodi halisi wala tathmini ya kisababishi ya nje ya sera.

Kabla ya kupeleka kwenye uzalishaji, README inapendekeza vitathmini vilivyorekebishwa, utambulisho uliothibitishwa, metadata ya uwezo iliyotiwa saini, mapitio ya faragha na usalama, urejeshaji unaoendelea unaoendeshwa na matukio, ufuatiliaji, na uthibitishaji mahususi wa kazi. Adapta halisi za ugunduzi, utekelezaji, utiririshaji na kughairi za A2A bado ni vipengele vilivyopangwa kwa siku zijazo, pamoja na uendeshaji wa huduma uliosambazwa na milango ya idhini ya binadamu.

Rasilimali za hazina

• sprix_sage.py ina kipanga njia cha muktadha, kipanga ratiba cha DAG, utafutaji wa beam, na masasisho ya mtandaoni.
• demo.py hutoa mfano wa mwisho hadi mwisho.
• benchmark.py ina kiigaji cha nje na misingi ya matumizi ya pamoja.
• test_sprix_sage.py ina majaribio ya kitengo ya kitabia.
• ALGORITHM.md inaandika lengo rasmi, mchakato wa utafutaji, ugawaji wa mchango, na vikwazo.
• Hazina ya GitHub ina maelezo kuhusu michango, usalama, utawala na leseni.

Hitimisho

Sprix SAGE Router hutoa utekelezaji wa marejeo wa vitendo kwa ulinganishaji wa mawakala unaozingatia hali. Kwa kuwakilisha kazi kama DAG za mahitaji, kulinganisha SELF, COLLABORATE na HANDOFF chini ya vikwazo vya pamoja, na kurudisha ushahidi wa utekelezaji kwenye kipanga njia, unaweza kufanya majaribio ya maamuzi ya mawakala wengi yanayoweza kukaguliwa na yanayozingatia ubora uliotabiriwa pamoja na gharama ya uendeshaji.

Anza na demo.py, rudia mfano mdogo, kagua kila uamuzi wa upangaji njia, na endesha majaribio pamoja na alama bandia. Kwa utekelezaji halisi wa A2A, ongeza adapta tofauti ya utekelezaji na ukamilishe kazi ya uthibitishaji, usalama, uonekano wa mifumo, urejeshaji na uthibitishaji inayohitajika na mazingira yako.