Co je to Reasoner? Definice, typy a aplikace

Uvažovač je systém umělé inteligence (AI), který je navržen tak, aby uvažoval o znalostech a rozhodoval se na základě těchto znalostí. Uvažování se často používá v expertních systémech, což jsou počítačové programy, které napodobují rozhodovací schopnosti lidského experta v určité oblasti. Bylo-li například rozumu řečeno, že „všichni lidé jsou smrtelní“ a „Sokrates je člověk“, může dojít k závěru, že „Sokrates je smrtelný“. Uvažující může také použít své znalosti k zodpovězení otázek a poskytnout vysvětlení pro své závěry.……Některé běžné aplikace uvažování zahrnují:…1. Expertní systémy: Reasoners lze použít k vytvoření expertních systémů, které mohou poskytovat rady a přijímat rozhodnutí v konkrétní oblasti, jako je lékařská diagnóza nebo finanční plánování.
2. Zpracování přirozeného jazyka: Reasoners lze použít k pochopení přirozeného jazyka a zodpovězení otázek na základě významu textu.
3. Automatizované uvažování: Reasoners lze použít k automatizaci úloh logického uvažování, jako je dokazování matematických vět nebo hodnocení právních argumentů.
4. Správa znalostí: Reasoners lze použít k organizaci a správě velkého množství znalostí, například ve znalostní bázi nebo databázi. Dopředné úvahy: Tyto úvahy začínají sadou premis a používají logická pravidla k odvození závěrů.
2. Zpětné úvahy: Tyto úvahy začínají závěrem a používají logická pravidla k nalezení premis, které k tomuto závěru vedly.…3. Abduktivní uvažování: Tito uvažovači používají jak dopředné, tak zpětné uvažování, aby našli nejpravděpodobnější vysvětlení pro daný soubor faktů.…4. Deduktivní zdůvodnění: Tito zdůvodnění používají logická pravidla k vyvození závěrů ze souboru předpokladů.…Některé příklady uvažování zahrnují:…1. CLIPS (C Language Integrated Production System): Expertní systém založený na pravidlech, který používá uvažování k vyvozování závěrů ze znalostní báze.
2. JESS (Java Expert System Shell): Expertní systém založený na pravidlech, který k uvažování o znalostech ak rozhodování používá uvažování.
3. Cyc: Rozsáhlá znalostní báze a uvažovač, který může odpovídat na otázky a poskytovat vysvětlení svých závěrů.
4. Programování sady odpovědí (ASP): Programovací paradigma, které používá uvažování k nalezení řešení logických problémů.