Co je automatizované zdůvodnění?
Automatizované 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í člověka. Tento specifický druh technologického úsilí je součástí většího pole, někdy označované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 zdůvodnění. Některé z nich jsou více zaměřeny na to, čemu se říká platné deduktivní usuzování, pomocí matematiky k vytvoření formální logiky. Tyto typy projektů mohou zahrnovat provizorní 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 založeny na jazyce nebo abstraktní, kde mohou lidští vývojáři potřebovat počítačům specificky označené cíle nebo úsudky, aby dosáhli efektivních výsledků nebo rozhodnutí.
Mnoho odborníků identifikuje konkrétní cíle v projektech automatizovaného uvažování. Například některé algoritmy mohou být zapsány za účelem poskytnutí lékařské diagnózy nebo při plánování, ověřování nebo jiných úkolech, kde počítačový vstup a programování vede ke konkrétním logickým výsledkům řízeným rozhodnutím. V mnoha z těchto projektů se vývojáři snaží škálovat tyto technologie pro efektivitu při analýze skutečných problémů. Mnoho z těchto aplikací automatizace pro uvažování spadá do kategorie tzv. Podpory rozhodování, kde se technologie používá na pomoc lidem při rozhodování o celé řadě projektů.
Některé z technik používaných v automatickém uvažování jsou také užitečné v jiných druzích technologií. 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ě zvaří celou řadu datových bodů do konkrétnějšího a konkrétnějšího výsledku. Hodnocení metod pro automatické zdůvodnění může externím pozorovatelům pomoci pochopit, jak jsou tyto technologické aplikace vytvořeny, jak fungují a na co jsou užitečné.
Většina odborníků souhlasí s tím, že v oblasti automatizovaného uvažování je třeba udělat mnohem více. Budoucí projekty budou pravděpodobně zahrnovat způsoby, jak zefektivnit řadu 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é aktualizace metodiky pro veřejnou správu a další oblasti správy na vysoké úrovni.