Expertní systémy do oblasti umělé inteligence rozhodně patří a (zjednodušeně řečeno) nejsou ničím jiným, než databází znalostí, pomocí které se vyhodnocují konkrétní data, která potřebujeme zpracovat.
Tak to bych se docela rád dozvěděl, jak chcete definovat ty výjimky. Navíc, když tak o tom přemýšlím, obvyklé definice π většinou obsahuji pouze racionální čísla… A samozřejmě ty definice nevypadají tak, že byste napsal nějaký (konečný) vzorec, ze kterého by vypadlo π, aspoň dokud zůstaneme pouze u algebraických operací (naopak, lze dokázat, že to nejde).
Ale celé je to patrně nedorozumění: vy si myslíte, že mluvím o expertních systémech nakrmených určitými finálními znalostmi. Ve skutečnosti jsem tady celou dobu mluvil o počítačových systémech, které jsou na základě určité axiomatiky a odvozovacích pravidel generovat důkazy - takové systémy opravdu existují. Nevím sice, jestli už jsou tak daleko, aby byly schopny dokázat iracionalitu π, ale jsem celkem pevně přesvědčen, že pokud ještě ne, ta doba není příliš daleko.