Logic-Based Artificial Intelligence - 9781461356189

Zastosowanie logiki matematycznej jako formalizmu sztucznej inteligencji zostało uznane przez Johna McCarthy'ego w 1959 roku w jego artykule na temat programów opartych na zdrowym rozsądku. W serii artykułów z lat sześćdziesiątych rozwinął te idee i czyni to do dziś. Minęło już 41 lat od powstania pomysłu wykorzystania formalnego mechanizmu AI. Warto zatem rozważyć niektóre badania, zastosowania i wdrożenia, które wynikają z tego pomysłu. Na początku 1995 roku John McCarthy zasugerował mi, żebyśmy zorganizowali warsztaty na temat sztucznej inteligencji opartej na logice (LBAI). W czerwcu 1999 r. w wyniku sugestii McCarthy'ego odbyły się warsztaty na temat sztucznej inteligencji opartej na logice. Warsztaty zorganizowano dzięki wsparciu Ephraima Glinerta z National Science Foundation (IIS-9S2013S), Amerykańskiego Stowarzyszenia na rzecz Sztucznej Inteligencji, które zapewniło wsparcie studentom w uczestnictwie, oraz Josepha JaJa, dyrektora Instytutu Zaawansowanych Komputerów Uniwersytetu Maryland Studia, które zapewniły wsparcie kadrowe i finansowe oraz Wydział Informatyki. Jesteśmy wdzięczni za ich wsparcie. Książka ta zawiera recenzowane artykuły oparte na prezentacjach wygłoszonych podczas Warsztatów. Nie wszystkim uczestnikom Warsztatów udało się napisać artykuły do książki. Wspólnym tematem artykułów na warsztatach i w tej książce jest wykorzystanie logiki jako formalizmu do rozwiązywania problemów w sztucznej inteligencji.