Abstraktus problemų sprendimas ir taisyklėmis pagrįstas programavimas
Abstraktus problemų sprendimas pabrėžia lankstų, kūrybišką mąstymą nepažįstamose situacijose, o taisyklėmis pagrįstas programavimas remiasi iš anksto apibrėžtomis loginėmis instrukcijomis, kad gautų rezultatus. Abu metodai formuoja, kaip mašinos ir žmonės sprendžia iššūkius, tačiau jie labai skiriasi prisitaikomumu, skaidrumu ir problemų rūšimis, kurias jie geriausiai sprendžia.
Akcentai
Abstraktus problemų sprendimas sprendžia naujas situacijas; taisyklėmis pagrįstas programavimas sprendžia apibrėžtas situacijas.
Taisyklėmis pagrįstos sistemos reguliuojamoms pramonės šakoms siūlo neprilygstamą skaidrumą ir audituojamumą.
Abstraktus samprotavimas keičiasi per išmoktus modelius; taisyklėmis pagrįstos sistemos keičiasi per autorines taisykles.
Hibridinės sistemos, derinančios abu metodus, dažnai pranoksta kiekvieną atskirai naudojamą metodą.
Kas yra Abstraktus problemų sprendimas?
Lankstus samprotavimo metodas, kuris sprendžia naujas, neapibrėžtas problemas taikydamas šablonų atpažinimą, analogiją ir kūrybinį išvadų darymą, o ne fiksuotas procedūras.
Abstraktus problemų sprendimas remiasi sklandžiu intelektu – gebėjimu samprotauti apie naujas situacijas, nesiremiant anksčiau įsimintais žingsniais.
Psichologai dažnai tai matuoja naudodami Raveno progresyviąsias matricas – testą, kurio metu dalyviai turi nustatyti vizualinius modelius ir loginius ryšius.
Jis atlieka pagrindinį vaidmenį žmogaus pažinimo procese, leisdamas žmonėms orientuotis nepažįstamose situacijose, kuriose trūksta aiškių instrukcijų.
Dirbtinio intelekto srityje abstraktaus mąstymo lyginamieji testai, tokie kaip ARC (abstrakcijos ir samprotavimo korpusas), buvo sukurti siekiant įvertinti, ar sistemos gali apibendrinti ne tik mokymo duomenis.
Tyrimai rodo, kad abstraktus mąstymas stipriai koreliuoja su akademiniais pasiekimais ir mokslinėmis inovacijomis įvairiose kultūrose.
Kas yra Taisyklėmis pagrįstas programavimas?
Skaičiavimo metodas, kai programinė įranga vadovaujasi aiškiomis „jei-tai“ taisyklėmis ir loginiais teiginiais, kad apdorotų duomenis ir pateiktų deterministinius rezultatus.
Taisyklėmis pagrįstas programavimas atsirado aštuntajame dešimtmetyje, naudojant tokias ekspertines sistemas kaip MYCIN ir XCON, kurios žmogaus patirtį kodavo kaip sąlygines taisykles.
Tai sudaro gamybos sistemų, verslo taisyklių variklių ir deklaratyviosios logikos kalbų, tokių kaip „Prolog“, pagrindą.
Kiekviena taisyklė paprastai vadovaujasi JEI sąlyga TAI veiksmo struktūra, todėl logika yra skaidri ir lengvai audituojama.
Šiuolaikiniai diegimai apima „Drools“, „CLIPS“ ir „Jess“, plačiai naudojamus finansų, sveikatos priežiūros diagnostikos ir reguliavimo atitikties srityse.
Taisyklėmis pagrįstos sistemos puikiai tinka tose srityse, kuriose sprendimai turi būti paaiškinami ir teisiškai pagrįsti, pavyzdžiui, mokesčių apskaičiavimas ir medicininis triažas.
Palyginimo lentelė
Funkcija
Abstraktus problemų sprendimas
Taisyklėmis pagrįstas programavimas
Pagrindinis metodas
Lankstus samprotavimas ir modelių nustatymas
Ištaisytos loginės instrukcijos, jei-tada
Naujų problemų sprendimas
Prisitaiko prie nepažįstamų situacijų
Sunkumai už apibrėžtų taisyklių rinkinių ribų
Skaidrumas
Dažnai neskaidrus, ypač dirbtinio intelekto modeliuose
Labai skaidrus ir audituojamas
Geriausi naudojimo atvejai
Tyrimai, kūrybinės užduotys, apibendrinimas
Atitiktis, diagnostika, automatizavimas
Žmogaus kognityvinė paralelė
Sklandus intelektas ir įžvalga
Procedūrinė atmintis ir įpročiai
Įgyvendinimo sudėtingumas
Reikalingi mokymo duomenys arba samprotavimo sistemos
Reikalingas kruopštus taisyklių kūrimas
Klaidos elgesys
Gali sukelti nenuspėjamų naujų klaidų
Nuspėjamai nepavyksta, kai taisyklės yra nepilnos
Žinių mastelio keitimas
Mokosi iš pavyzdžių ir perkelia modelius
Žinios auga pridedant daugiau taisyklių
Išsamus palyginimas
Lankstumas ir prisitaikymas
Abstraktus problemų sprendimas klesti, kai situacijos neatitinka nieko anksčiau matyto. Žmogus ar dirbtinio intelekto sistema, naudojantys šį metodą, gali brėžti analogijas, tikrinti hipotezes ir kurti naujas strategijas akimirksniu. Tuo tarpu taisyklėmis pagrįstas programavimas elgiasi kaip gerai organizuota srautų schema: jis tvarko viską, ką apima jos taisyklės, ir mandagiai sugenda su visa kita. Jei jums reikia sistemos, kuri improvizuoja, laimi abstraktus samprotavimas. Jei jums reikia tokios, kuri niekada neimprovizuoja, laimi taisyklės.
Skaidrumas ir paaiškinamumas
Taisyklėmis pagrįstas sistemas nepaprastai lengva audituoti. Kiekvienas sprendimas yra susijęs su konkrečia sąlyga ir veiksmu, todėl bankai ir reguliavimo institucijos jas mėgsta. Abstraktus problemų sprendimas, ypač kai jį palaiko neuroniniai tinklai arba dideli kalbos modeliai, dažnai veikia kaip juodoji dėžė. Tyrėjai aktyviai dirba su paaiškinamu dirbtiniu intelektu, kad užpildytų šią spragą, tačiau kol kas taisyklėmis pagrįsti metodai išlieka auksiniu standartu, kai svarbi atskaitomybė.
Žinių įgijimas
Taisyklėmis pagrįstos sistemos kūrimas reiškia susitikimą su srities ekspertais ir jų žinių pavertimą aiškiomis sąlygomis – procesą, kuris gali užtrukti mėnesius, tačiau sukuria tikslią logiką. Abstrakčios problemų sprendimo sistemos mokosi kitaip: jos absorbuoja modelius iš didelių duomenų rinkinių ar patirties, o tada apibendrina. Dėl to jas kai kuriais atžvilgiais galima greičiau apmokyti, bet sunkiau kontroliuoti, nes ne visada galima nurodyti, kur modelio viduje yra žinių dalis.
Klaidų modeliai ir patikimumas
Kai taisyklėmis pagrįsta sistema sugenda, ji paprastai sugenda garsiai ir aiškiai: dėl nesuderintos sąlygos, sintaksės klaidos arba loginio prieštaravimo. Abstraktaus mąstymo sistemos sugenda tyliau, kartais pateikdamos užtikrintus, bet neteisingus atsakymus. Saugumo požiūriu kritinėse aplinkose, tokiose kaip aviacija ar medicininis dozavimas, šis nuspėjamumas daro taisyklėmis pagrįstas sistemas patrauklias. Kūrybinėse ar tyrinėjimo srityse retkarčiais pasitaikanti nauja abstrakčios sistemos klaida yra savybė, o ne klaida.
Realaus pasaulio programos
Taisyklėmis pagrįstas programavimas dominuoja mokesčių programinėje įrangoje, kredito balų skyrime, sukčiavimo aptikimo slenksčių nustatyme ir klinikinių sprendimų palaikymo srityje, kur reglamentai reikalauja atsekamumo. Abstraktus problemų sprendimas išsiskiria moksliniuose tyrimuose, žaidimų dirbtinio intelekto srityje, projektavimo užduotyse ir bet kurioje srityje, kurioje pati problema dar nėra iki galo suprasta. Daugelyje šiuolaikinių sistemų iš tikrųjų derinami abu šie principai: taisyklės tvarko įprastus atvejus, o abstraktus samprotavimas – neįprastų situacijų ilgąją uodegą.
Privalumai ir trūkumai
Abstraktus problemų sprendimas
Privalumai
+Prisitaiko prie naujų problemų
+Įgalina kūrybinį mąstymą
+Mokosi iš patirties
+Apibendrina tarp sričių
Pasirinkta
−Sunku paaiškinti
−Nenuspėjamos klaidos
−Reikia didelių mokymo duomenų
−Sunku audituoti
Taisyklėmis pagrįstas programavimas
Privalumai
+Visiškai skaidri logika
+Nuspėjamas elgesys
+Lengva audituoti
+Nereikia jokių mokymo duomenų
Pasirinkta
−Trapus su naujomis sąnaudomis
−Statyti reikia daug darbo
−Ribotas kūrybiškumas
−Prastai keičiasi dėl sudėtingumo
Dažni klaidingi įsitikinimai
Mitas
Abstraktus problemų sprendimas yra tiesiog šablonų derinimas su papildomais žingsniais.
Realybė
Nors šablonų atpažinimas yra to dalis, tikrasis abstraktus samprotavimas taip pat apima analoginį perkėlimą, hipotezių tikrinimą ir gebėjimą kurti naujus atvaizdavimus. Vien šablonų atitikimas, be išvadų lygmens, dažniausiai nepavyksta spręsti problemų, kurios paviršutiniškai skiriasi nuo mokymo pavyzdžių.
Mitas
Taisyklėmis pagrįstas programavimas yra pasenęs ir jį keičia dirbtinis intelektas.
Realybė
Taisyklėmis pagrįstos sistemos išlieka giliai įsitvirtinusios šiuolaikinėje infrastruktūroje – nuo oro linijų kainodaros mechanizmų iki medicininių dozių skaičiuoklių. Užuot pakeistos, jos vis dažniau derinamos su mašininiu mokymusi hibridinėse architektūrose, kurios išnaudoja abiejų stipriąsias puses.
Mitas
Jei sistema naudoja taisykles, ji negali mokytis.
Realybė
Šiuolaikiniai taisyklių mechanizmai gali apimti mokymosi komponentus, kurie siūlo naujas taisykles, patikslina ribas arba pažymi neatitikimus. Riba tarp taisyklėmis pagrįstų ir mokymosi sistemų yra neryškesnė, nei žmonės dažnai mano.
Mitas
Abstraktus mąstymas yra tai, ką gali daryti tik žmonės.
Realybė
Dirbtinio intelekto sistemos pademonstravo abstraktų samprotavimą pagal konkrečius kriterijus, nors bendrosios paskirties abstrakcijos srityje jos vis dar atsilieka nuo žmonių. Abstrakcijos ir samprotavimo korpusas (ARC) tapo pagrindiniu šios srities pažangos matavimo kriterijumi.
Mitas
Taisyklėmis pagrįstos sistemos visada yra lėtesnės nei dirbtinis intelektas.
Realybė
Tiksliai apibrėžtoms problemoms spręsti taisyklėmis pagrįstos sistemos gali pranokti dirbtinį intelektą tiek greičiu, tiek tikslumu, nes joms nereikia modelio išvadų. Dirbtinio intelekto pranašumas pirmiausia išryškėja atliekant nestruktūrizuotas arba dviprasmiškas užduotis.
Dažnai užduodami klausimai
Kuo skiriasi abstraktus problemų sprendimas ir taisyklėmis pagrįstas programavimas?
Abstraktus problemų sprendimas orientuotas į samprotavimą nepažįstamose situacijose, naudojant išvadas, analogijas ir šablonų atpažinimą. Taisyklėmis pagrįstas programavimas vadovaujasi aiškiomis „jei-tai“ instrukcijomis, kad gautų deterministinius rezultatus. Pirmasis yra lankstus ir kūrybiškas; antrasis yra griežtas, bet skaidrus.
Ar abstraktų problemų sprendimą galima automatizuoti?
Taip, nors tai aktyvi tyrimų sritis. Dirbtinio intelekto sistemos, naudojančios didelius kalbų modelius ir specializuotas architektūras, tokias kaip programų sintezė, gali spręsti abstraktaus mąstymo užduotis. Tokie lyginamosios analizės kaip ARC matuoja pažangą, tačiau visiškai bendras abstraktus samprotavimas mašinose išlieka atviras iššūkis.
Kodėl bankai vis dar naudoja taisyklėmis pagrįstas sistemas?
Bankai naudoja taisyklėmis pagrįstas sukčiavimo aptikimo, kredito sprendimų priėmimo ir reguliavimo reikalavimų laikymosi sistemas, nes kiekvienas veiksmas turi būti paaiškinamas auditoriams ir reguliavimo institucijoms. Jei paskola atmetama, sistema gali nurodyti tikslią taisyklę, kuri lėmė sprendimą, o to abstraktūs dirbtinio intelekto modeliai dažnai negali patikimai padaryti.
Ar abstraktus problemų sprendimas yra įgūdis, kurį galima lavinti?
Be abejo. Kognityvinės psichologijos specialistai įrodė, kad galvosūkių, analogijų ir strateginių žaidimų praktika gerina abstraktaus mąstymo rezultatus. Tokios priemonės kaip Raveno progresyviosios matricos dažnai naudojamos tiek matavimui, tiek mokymui švietimo ir profesinėje aplinkoje.
Kuris metodas yra geresnis medicininei diagnostikai?
Abu jie atlieka savo vaidmenį. Taisyklėmis pagrįstos sistemos plačiai naudojamos klinikinių sprendimų priėmimui, nes jų rekomendacijos yra atsekamos ir atitinka medicinines gaires. Abstraktus samprotavimas Dirbtinis intelektas yra tiriamas retoms ligoms ir vaizdų interpretavimui, kur padeda atpažinti daugelio atvejų modelius. Dabar daugelis ligoninių naudoja šių dviejų sistemų derinį.
Ar taisyklėmis pagrįstos sistemos naudoja kokią nors mokymosi formą?
Šiuolaikiniai taisyklių mechanizmai gali integruoti mašininį mokymąsi, kad pasiūlytų naujas taisykles, optimizuotų slenksčius arba aptiktų konfliktus esamuose taisyklių rinkiniuose. Šis hibridinis metodas išlaiko taisyklių skaidrumą, tuo pačiu įgydamas tam tikrą mokymosi sistemų pritaikomumą.
Koks yra abstraktaus problemų sprendimo kasdieniame gyvenime pavyzdys?
Išsiaiškinimas, kaip taisyti buitinį prietaisą neturint instrukcijos, arba naujo stalo žaidimo mokymasis stebint, kaip žaidžia kiti, – abu šie dalykai remiasi abstrakčiu samprotavimu. Jūs nesilaikote įsimintų žingsnių; jūs nustatote taisykles iš riboto pavyzdžių skaičiaus ir taikote jas naujose situacijose.
Kaip ekspertinės sistemos susijusios su taisyklėmis pagrįstu programavimu?
Ekspertinės sistemos iš esmės yra didelio masto taisyklėmis pagrįstos programos, kurios koduoja žmonių specialistų žinias. Klasikinis pavyzdys yra MYCIN, sukurta aštuntajame dešimtmetyje bakterinėms infekcijoms diagnozuoti. Jie buvo idėjos, kad ekspertų žinios gali būti užfiksuotos kaip aiškios taisyklės, o ne kaip numanoma intuicija, pradininkai.
Ar abstraktus samprotavimas ir taisyklėmis pagrįsta logika gali veikti kartu?
Taip, ir vis dažniau taip nutinka. Įprastas modelis yra naudoti abstraktų samprotavimą kraštutiniams atvejams ir naujoms įvestims tvarkyti, o taisyklėmis pagrįstai logikai leisti valdyti įprastus sprendimus. Šis hibridinis dizainas suderina lankstumą su patikimumu ir yra įprastas šiuolaikiniuose dirbtinio intelekto produktuose.
Kuris mokymosi metodas yra svarbesnis mokiniams?
Abu, bet dėl skirtingų priežasčių. Abstraktus problemų sprendimas ugdo prisitaikymą ir gebėjimą susidoroti su situacijomis, kurių niekas anksčiau nematė. Taisyklėmis pagrįstas mąstymas ugdo tikslumą ir drausmę. Stiprūs kritiškai mąstantys žmonės paprastai lavina abu, žinodami, kada laikytis procedūrų, o kada jų pažeisti.
Nuosprendis
Rinkitės abstraktų problemų sprendimą, kai jūsų iššūkis susijęs su naujumu, kūrybiškumu ar nepilna informacija ir esate pasirengę dalį skaidrumo pakeisti pritaikomumu. Rinkitės taisyklėmis pagrįstą programavimą, kai sprendimai turi būti paaiškinami, nuoseklūs ir teisiškai pagrįsti, ypač reguliuojamose pramonės šakose. Praktiškai stipriausios sistemos dažnai derina abu, naudodamos taisykles įprastiems atvejams ir abstraktų samprotavimą viskam kitam.