The Logic of Typed Feature Structures

Książka ta rozwija teorię typowanych struktur cechowych, strukturę danych, która uogólnia zarówno terminy pierwszego rzędu, jak i struktury cech gramatyk opartych na unifikacji, aby uwzględnić dziedziczenie, typowanie, cykle nierówności i intensjonalność. Uzyskana w ten sposób synteza służy jako logiczna podstawa dla gramatyki, programowania logicznego i systemów rozumowania opartych na ograniczeniach. Przyjęto perspektywę logiczną, która wykorzystuje język opisu atrybut-wartość wraz z kompletnymi aksjomatyzacjami równań różnych systemów struktur cech. Jednocześnie należy pamiętać o kwestiach związanych z wydajnością oraz przedstawiać wyniki dotyczące złożoności i reprezentatywności. Opisano zastosowanie struktur cech do gramatyki struktury fraz i przedstawiono wyniki kompletności dla standardowych strategii oceny. Programy logiki zdań określonych są traktowane jako szczególny przypadek gramatyk struktury frazeologicznej. Wprowadzono systemy ograniczeń i opracowano technikę wyliczania do rozwiązywania dowolnych ograniczeń logicznych atrybut-wartość. Książka ta, dzięki innowacyjnemu podejściu do struktury danych, będzie niezbędną lekturą dla badaczy lingwistyki komputerowej, programowania logicznego i reprezentacji wiedzy. Jego samodzielna prezentacja sprawia, że jest wystarczająco elastyczny, aby służyć zarówno jako narzędzie badawcze, jak i podręcznik. Język: angielski