Abstract

Niniejszy artykuł dotyczy modelowania różnych zjawisk przy użyciu pojęć i narzędzi informatycznych, związanych głównie z badaniami nad sztuczną inteligencją (SI). Po przedstawieniu idei sformalizowanego modelu informatycznego (MI) omawiamy ogólnie interaktywną procedurę modelowania (która składa się z czterech, powtarzanych cyklicznie, etapów: abstrakcji, formalizacji, symplifikacji i weryfikacji), a następnie charakteryzujemy ją w kontekście szczególnym, tj informatycznym. Omawiając różne typy MI, odwołujemy się przede wszystkim do badań nad AI; np. rozróżniamy między modelami regułowymi (implementowanymi często w postaci systemów eksperckich), sieciowymi (realizowanymi często w postaci sztucznych sieci neuronowych) oraz ewolucyjnymi (nawiązującymi, na przykład, do teorii algorytmów genetycznych). Co jest jednak najważniejsze, przedstawiamy pogląd, zgodnie z którym różne, przynależne do badań nad AI, techniki automatycznego uczenia się mogą, a w gruncie rzeczy powinny, być stosowane do automatyzacji poszczególnych etapów procedury modelowania