Comparthing Logo
kritinis mąstymasproblemų sprendimasdirbtinis intelektasprogramavimo paradigmospažinimas

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.

Susiję palyginimai

Analitinis mąstymas ir tiesioginės patirties suvokimas

Analitinis mąstymas suskaido problemas į logines sudedamąsias dalis sisteminiam vertinimui, o tiesioginės patirties suvokimas grindžia supratimą tiesioginiu, įkūnytu suvokimu. Abu požiūriai formuoja tai, kaip mes apdorojame realybę, tačiau jie veikia iš esmės skirtingais kognityviniais keliais ir tarnauja skirtingiems tikslams priimant sprendimus.

Asimetrijos analizė ir simetrijos prielaida

Asimetrijos analizė ir simetrijos prielaida yra du priešingi įrodymų ir argumentų vertinimo būdai. Asimetrijos analizė vertina teiginius pagal jų konkretų kontekstą ir įrodymo naštą, o simetrijos prielaida konkuruojančius teiginius laiko vienodai patikimais, kol neįrodyta priešingai. Abiejų metodų supratimas padeda lavinti kritinį mąstymą.

Atsitiktinumas ir struktūriniai apribojimai

Atsitiktinumas ir struktūriniai apribojimai yra dvi priešingos jėgos kritiniame mąstyme. Atsitiktinumas įneša nenuspėjamumo ir naujumo, o struktūriniai apribojimai nustato tvarką, modelius ir ribas. Supratimas, kaip šios jėgos sąveikauja, formuoja samprotavimus, kūrybiškumą ir sprendimų priėmimą įvairiose disciplinose.

Atviri klausimai ir galutiniai atsakymai

Atviri klausimai ir galutiniai atsakymai yra du skirtingi žinių įsisavinimo ir bendravimo būdai. Vienas skatina tyrinėjimą, smalsumą ir įvairius požiūrius, o kitas pateikia aiškias, galutines išvadas, pagrįstas turima informacija. Abu yra būtini kritiniam mąstymui, derinant tyrimą su sprendimu, atsižvelgiant į kontekstą ir tikslą.

Atvirumas ir kognityvinis šališkumas

Atvirumas ir kognityvinis šališkumas yra dvi priešingos jėgos žmogaus mąstyme. Nors atvirumas skatina lankstumą, smalsumą ir norą atnaujinti įsitikinimus, kognityvinis šališkumas atspindi mentalinius trumpuosius kelius ir iškraipymus, kurie nesąmoningai formuoja sprendimus. Abiejų šių dviejų sąvokų supratimas padeda pagerinti sprendimų priėmimą, sumažinti klaidų skaičių ir ugdyti labiau subalansuotus kritinio mąstymo įgūdžius kasdieniame gyvenime.