Formalizm (kognitywistyka)
Z Wikipedii
Formalizm, lub formalizacja, w najbardziej ogólnej interpretacji systemowo-konitywistycznej, to sposób postępowania, procedura, lub ich produkt ściśle przestrzegający uprzednio zdefiniowane i zaakceptowane reguły.
Celem formalizmu/formalizacji jest zapewnienie jednoznaczności rozumienia lub interpretacji komunikatów wymienianych między ludzmi, a także między czlowiekiem a maszyną/komupterem, zgodnie z intencją ich nadawcy.
Dlatego też przy komunikacji złożonej i ważnej formalizuje się informacje, wiedze i preferencje (IPK - information, preferences, knowledge model) w poleceniach, pytaniach i odpowiedziach.
Formalizacja polega na użyciu symboli graficznych, jezykowych lub behavioralnych o znanych i zaakceptowanych definicjach, uznanych w danej dziedzinie jako jednoznaczne. W szczególnosci, formalizacja spełnia podstawowe zasady logiki. W tym sensie formalizacja może byc przeprowadzona na różnych poziomach ogólnosci.
Np. zdanie "Na ziemi istnieja koty” jest ogólne, ale formalnie poprawne i informacyjnie prawdziwe jesli: - przez ziemię rozumiemy glob ziemski, - kot jest uprzednio zdefiniowany jako jakikolwiek kot domowy o cechach wyłącznie jemu przysługujących.