Co je to automatizované uvažování?

Automatické uvažování je myšlenka, že počítače nebo jiné stroje lze naprogramovat tak, aby replikovaly výsledky logického uvažování.Tento specifický druh technologického pronásledování je součástí většího pole někdy známého jako umělá inteligence, kde vývojáři používají k simulaci lidské inteligence složité algoritmy a další zdroje.Automatizované uvažování je zaměřeno na dosažení logických výsledků s počítači.

Odborníci v oblasti umělé inteligence mohou identifikovat řadu projektů pomocí automatizace pro uvažování.Některé z nich se více zaměřují na to, co se nazývá platné deduktivní uvažování a využívá matematiku k produkci formální logiky.Tyto typy projektů mohou zahrnovat prokazování věty nebo použití specifických proměnných k vytvoření odpovídající logické sady hodnot.Jiné druhy automatizovaného uvažování jsou více jazykových nebo abstraktních, kde lidští vývojáři možná budou muset poskytnout počítačům specificky označené cíle nebo úsudky, aby získali účinné výsledky nebo rozhodnutí.Například některé algoritmy mohou být zapsány k cíli poskytnout lékařskou diagnózu nebo při plánování, ověření nebo jiných úkolech, kde počítačové vstup a programování vede ke konkrétním logickým výsledkům založené na rozhodování.V mnoha z těchto projektů vývojáři pracují na škálování těchto technologií pro efektivitu při analýze problémů v reálném světě.Mnoho z těchto aplikací automatizace pro uvažování spadá do kategorie toho, co se nazývá podpora rozhodování, kde se technologie používá k pomoci lidem při rozhodování o široké škále projektů.Druhy technologie.Například ti, kteří pracují na automatizaci pro uvažování v aplikacích, často používají to, co se nazývá fuzzy logika, kde algoritmy v podstatě rozplynují širokou sadu datových bodů do konkrétního a specifičtějšího výsledku.Vyhodnocení metod automatizovaného uvažování může pomoci mimo pozorovatele, aby pochopili, jak jsou tyto technologické aplikace vytvářeny, jak fungují a k čemu jsou užitečné.

Většina odborníků souhlasí s tím, že v postupu v oblasti automatizovaného zdůvodnění je mnohem více ještě více.Budoucí projekty budou pravděpodobně zahrnovat způsoby, jak zvýšit efektivitu řady spotřebních produktů zahrnutím malých čipů s automatizovanými schopnostmi uvažování.Větší aplikace mohou poskytnout nesmírně důležité vylepšení v metodologii pro veřejnou správu a další pole na vysoké úrovni.