Abstract
<jats:p>DEFINICJA POJĘCIA: Logiki niemonotoniczne odbiegają od klasycznych zasad wnioskowania, ponieważ nie zachowują zasady, według której jeśli zdanie wynika z pewnego określonego zbioru przesłanek, to wynika również z sumy tego zbioru z dowolnym zbiorem (tzw. zasada monotoniczności). Zadaniem logiki niemonotonicznej w modelach umysłu jest odzwierciedlenie sposobu ludzkiego myślenia. Stanowią one odpowiednie narzędzie do tworzenia formalnych modeli umysłu, ponieważ adekwatnie uchwytują subtelności w potocznym rozumowaniu, takie jak pomijanie przesłanek czy wprowadzanie nowych założeń sprzecznych z poprzednimi. ANALIZA HISTORYCZNA POJĘCIA: Od początku badań prowadzonych w ramach współczesnej filozofii umysłu, czyli mniej więcej od drugiej połowy XX wieku, modele umysłu oparte były na obliczeniowości. Jednak do opisu mechanizmów działania skomplikowanych procesów mentalnych potrzeba było czegoś więcej niż logiki klasycznej. Analogowe przetwarzanie informacji zastąpiono rozproszonym, a algorytmy wykorzystywane w symulacji ludzkich zdolności, jak uczenie się, stawały się coraz bardziej wyrafinowane. Obecnie renesans przeżywa kodowanie predykcyjne, które jednak często stosuje się w połączeniu z logikami niemonotonicznymi. UJĘCIE PROBLEMOWE POJĘCIA: Logiki niemonotoniczne można wykorzystać do modelowania zarówno na poziomie przetwarzania informacji neuronalnej, jak i formowania postaw propozycjonalnych. Z jednej strony bowiem niemonotoniczne wnioskowania w sieci neuronalnej są schematami zdefiniowanymi w terminach wektorów aktywności neuronalnej. Z drugiej strony mogą być traktowane jako struktura propozycjonalna, gdyż są powiązane niemonotoniczną relacją konsekwencji. REFLEKSJA SYSTEMATYCZNA Z WNIOSKAMI I REKOMENDACJAMI: Zaletą korzystania z logik niemonotonicznych do modelowania umysłu jest to, że wspierają one tworzenie formalnych mechanizmów akumulacji wiedzy konceptualnej, czyli propozycjonalnej. Modele takie pokazują, w jaki sposób tworzona jest dynamiczna sieć przekonań podmiotu, np. w metapoznaniu.</jats:p>