FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W90780309> ?p ?o ?g. }

• W90780309 abstract "This thesis is concerned with the use of a logical language for specifying mappings between strings of symbols; specifically, the regular relations , those which can be computed by finite-state transducers. Because of their efficiency and flexibility, regular relations and finite-state transducers are widely used in Natural Language Processing (NLP) for tasks such as grapheme-to-phoneme conversion, morphological analysis and generation, and shallow syntactic parsing. By exploiting logical representations for finite-state transductions, the technique advocated in this thesis combines efficient processing with the advantages of declarative specification, thus taking a step in the direction of providing finite-state NLP with the best of both worlds. Previous work has demonstrated how all sets of strings recognized by finite-state automata can be described in monadic second-order logic. A formula of this logic describing a set can be automatically compiled into the finite-state automaton recognizing that set. Although this compilation is extremely inefficient in the theoretical worst case, recent work has shown that it can function quite efficiently for a range of practical applications. The logical technique for describing sets of strings unfortunately does not carry over to relations on strings without further restrictions, since the class of regular relations lacks certain crucial closure properties. In this thesis we introduce the logical language MSO(SLR), a language for same-length relations, a proper subset of the regular relations which has the necessary closure properties. We discuss how a formula of MSO(SLR) describing a relation can be automatically compiled into the finite-state transducer implementing that relation. Although there are many regular relations which MSO(SLR) cannot describe directly, we show how MSO(SLR) can characterize such relations indirectly by describing aligned representations of them. To demonstrate the usefulness of MSO(SLR), we use it to define the finite-state conditional replace operator p → ψ/λ_ρ in a declarative fashion. Since the formula-to-transducer compilation is implemented for MSO(SLR), our definition provides a compiler for the replace operator. We argue that this approach improves on previous definitions in terms of clarity, maintainability, extensibility, and formal verifiability. We justify these claims by discussing several extensions and variations of the operator and providing rigorous proofs of correctness for our definitions. A further demonstration of MSO(SLR)'s usefulness is given in the form of definitions of the rule formalisms used in two-level morphology. As with the replace operator definition, our declarative definitions give us a compiler automatically and make extensions and formal verification easy." @default.
• W90780309 created "2016-06-24" @default.
• W90780309 creator A5057378436 @default.
• W90780309 creator A5069843692 @default.
• W90780309 date "2004-01-01" @default.
• W90780309 modified "2023-09-23" @default.
• W90780309 title "Logical specification of finite-state transductions for natural language processing" @default.
• W90780309 cites W1482193060 @default.
• W90780309 cites W1493870429 @default.
• W90780309 cites W1505482284 @default.
• W90780309 cites W1506437980 @default.
• W90780309 cites W1508780728 @default.
• W90780309 cites W1513168562 @default.
• W90780309 cites W1515948700 @default.
• W90780309 cites W1517834047 @default.
• W90780309 cites W1527398610 @default.
• W90780309 cites W1533614358 @default.
• W90780309 cites W1540715591 @default.
• W90780309 cites W1564013439 @default.
• W90780309 cites W1570445666 @default.
• W90780309 cites W1578881602 @default.
• W90780309 cites W1585040575 @default.
• W90780309 cites W1598851216 @default.
• W90780309 cites W1647053039 @default.
• W90780309 cites W1667964228 @default.
• W90780309 cites W176067219 @default.
• W90780309 cites W1816620374 @default.
• W90780309 cites W1822301642 @default.
• W90780309 cites W1823507963 @default.
• W90780309 cites W182831726 @default.
• W90780309 cites W1969134258 @default.
• W90780309 cites W197467815 @default.
• W90780309 cites W1980577298 @default.
• W90780309 cites W1981933061 @default.
• W90780309 cites W19885013 @default.
• W90780309 cites W1993559696 @default.
• W90780309 cites W2002089154 @default.
• W90780309 cites W2005868161 @default.
• W90780309 cites W2020779247 @default.
• W90780309 cites W2021833629 @default.
• W90780309 cites W2035648531 @default.
• W90780309 cites W2035967403 @default.
• W90780309 cites W2042729375 @default.
• W90780309 cites W2080267935 @default.
• W90780309 cites W2081687495 @default.
• W90780309 cites W2093476618 @default.
• W90780309 cites W2096430106 @default.
• W90780309 cites W2098162425 @default.
• W90780309 cites W2100000146 @default.
• W90780309 cites W2100648544 @default.
• W90780309 cites W2104168121 @default.
• W90780309 cites W2118782751 @default.
• W90780309 cites W2125781590 @default.
• W90780309 cites W2131742729 @default.
• W90780309 cites W2131784553 @default.
• W90780309 cites W2156988891 @default.
• W90780309 cites W2254838832 @default.
• W90780309 cites W2274924855 @default.
• W90780309 cites W2325844454 @default.
• W90780309 cites W2543405982 @default.
• W90780309 cites W2547307931 @default.
• W90780309 cites W2797656628 @default.
• W90780309 cites W3150132563 @default.
• W90780309 cites W3165314920 @default.
• W90780309 cites W36085439 @default.
• W90780309 cites W55228132 @default.
• W90780309 cites W2112390197 @default.
• W90780309 cites W2486674478 @default.
• W90780309 hasPublicationYear "2004" @default.
• W90780309 type Work @default.
• W90780309 sameAs 90780309 @default.
• W90780309 citedByCount "5" @default.
• W90780309 crossrefType "journal-article" @default.
• W90780309 hasAuthorship W90780309A5057378436 @default.
• W90780309 hasAuthorship W90780309A5069843692 @default.
• W90780309 hasConcept C112505250 @default.
• W90780309 hasConcept C11413529 @default.
• W90780309 hasConcept C116248031 @default.
• W90780309 hasConcept C134306372 @default.
• W90780309 hasConcept C134752490 @default.
• W90780309 hasConcept C146834321 @default.
• W90780309 hasConcept C154945302 @default.
• W90780309 hasConcept C158008952 @default.
• W90780309 hasConcept C162324750 @default.
• W90780309 hasConcept C162392398 @default.
• W90780309 hasConcept C167822520 @default.
• W90780309 hasConcept C177264268 @default.
• W90780309 hasConcept C186644900 @default.
• W90780309 hasConcept C199360897 @default.
• W90780309 hasConcept C25343380 @default.
• W90780309 hasConcept C33923547 @default.
• W90780309 hasConcept C34447519 @default.
• W90780309 hasConcept C41008148 @default.
• W90780309 hasConcept C48103436 @default.
• W90780309 hasConcept C52370388 @default.
• W90780309 hasConcept C77088390 @default.
• W90780309 hasConcept C80444323 @default.
• W90780309 hasConceptScore W90780309C112505250 @default.
• W90780309 hasConceptScore W90780309C11413529 @default.
• W90780309 hasConceptScore W90780309C116248031 @default.

• next