The Logic of Typed Feature Structures

Dit boek ontwikkelt de theorie van getypeerde functiestructuren, een datastructuur die zowel termen van de eerste orde als functiestructuren van op unificatie gebaseerde grammatica's generaliseert om overerving, typering, ongelijkheidscycli en intensionaliteit op te nemen. De resulterende synthese dient als een logische basis voor grammatica's, logica, programmering en op beperkingen gebaseerde redeneersystemen. Er wordt een logisch perspectief gehanteerd dat gebruik maakt van een attribuut-waarde beschrijvingstaal samen met volledige vergelijkingsaxiomatiseringen van de verschillende systemen van kenmerkstructuren. Tegelijkertijd wordt rekening gehouden met efficiëntieoverwegingen en worden resultaten op het gebied van complexiteit en representativiteit geleverd. De toepassing van functiestructuren op grammatica's van frasen wordt beschreven en volledigheidsresultaten worden getoond voor standaard evaluatiestrategieën. Logische programma's met bepaalde clausules worden behandeld als een speciaal geval van zinsstructuurgrammatica's. Beperkingssystemen worden geïntroduceerd en er wordt een opsommingstechniek ontwikkeld voor het oplossen van willekeurige attribuut-waarde logische beperkingen. Dit boek, met zijn innovatieve benadering van datastructuur, zal essentiële lectuur zijn voor onderzoekers op het gebied van computationele linguïstiek, logica, programmeren en kennisrepresentatie. De op zichzelf staande presentatie maakt het flexibel genoeg om zowel als onderzoeksinstrument als als leerboek te dienen. Taal: Engels