LEADER 03927nam 22007575 450 001 9910299232103321 005 20200703231508.0 010 $a3-319-18830-5 024 7 $a10.1007/978-3-319-18830-0 035 $a(CKB)3710000000416850 035 $a(EBL)2094855 035 $a(SSID)ssj0001501008 035 $a(PQKBManifestationID)11848524 035 $a(PQKBTitleCode)TC0001501008 035 $a(PQKBWorkID)11523362 035 $a(PQKB)11301787 035 $a(DE-He213)978-3-319-18830-0 035 $a(MiAaPQ)EBC2094855 035 $a(PPN)18602696X 035 $a(EXLCZ)993710000000416850 100 $a20150526d2015 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aLinguistic Expressions and Semantic Processing $eA Practical Approach /$fby Alastair Butler 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (179 p.) 300 $aDescription based upon print version of record. 311 $a3-319-18829-1 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aPreface -- 1.Predicate Languages -- 2.Self-selective Evaluation -- 3.Self-locating Evaluation -- 4.Treebank Annotation -- Appendix: A Standard ML Introduction -- Index. 330 $aThis book introduces formal semantics techniques for a natural language processing audience. Methods discussed involve: (i) the denotational techniques used in model-theoretic semantics, which make it possible to determine whether a linguistic expression is true or false with respect to some model of the way things happen to be; and (ii) stages of interpretation, i.e., ways to arrive at meanings by evaluating and converting source linguistic expressions, possibly with respect to contexts, into output (logical) forms that could be used with (i). The book demonstrates that the methods allow wide coverage without compromising the quality of semantic analysis. Access to unrestricted, robust and accurate semantic analysis is widely regarded as an essential component for improving natural language processing tasks, such as: recognizing textual entailment, information extraction, summarization, automatic reply, and machine translation. 606 $aNatural language processing (Computer science) 606 $aComputational linguistics 606 $aLogic, Symbolic and mathematical 606 $aSemantics 606 $aLinguistics 606 $aNatural Language Processing (NLP)$3https://scigraph.springernature.com/ontologies/product-market-codes/I21040 606 $aComputational Linguistics$3https://scigraph.springernature.com/ontologies/product-market-codes/N22000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSemantics$3https://scigraph.springernature.com/ontologies/product-market-codes/N39000 606 $aTheoretical Linguistics$3https://scigraph.springernature.com/ontologies/product-market-codes/N46000 615 0$aNatural language processing (Computer science) 615 0$aComputational linguistics. 615 0$aLogic, Symbolic and mathematical. 615 0$aSemantics. 615 0$aLinguistics. 615 14$aNatural Language Processing (NLP). 615 24$aComputational Linguistics. 615 24$aMathematical Logic and Formal Languages. 615 24$aSemantics. 615 24$aTheoretical Linguistics. 676 $a004 676 $a005.131 676 $a006.35 676 $a401.43 676 $a410 676 $a410.285 700 $aButler$b Alastair$4aut$4http://id.loc.gov/vocabulary/relators/aut$0934783 906 $aBOOK 912 $a9910299232103321 996 $aLinguistic Expressions and Semantic Processing$92513487 997 $aUNINA