Semantic verification of multilingual texts
dc.contributor.author | Stribrand, Daniel | |
dc.contributor.department | Chalmers tekniska högskola / Institutionen för data och informationsteknik | sv |
dc.contributor.department | Chalmers University of Technology / Department of Computer Science and Engineering | en |
dc.contributor.examiner | Angelov, Krasimir | |
dc.contributor.supervisor | Ranta, Aarne | |
dc.date.accessioned | 2022-12-05T10:13:59Z | |
dc.date.available | 2022-12-05T10:13:59Z | |
dc.date.issued | 2022 | |
dc.date.submitted | 2022 | |
dc.description.abstract | Verifying text, both syntactically and semantically, is a very necessary task of text generation. By treating languages formally, semantic verification can be done computationally. With Grammatical Framework, grammars can be defined for multilingual text generation. By using these defined grammars, we can parse text into abstract syntax trees which can be interpreted as first-order logic formulas using the theories of Montague grammar & semantics. These formulas can thereafter be processed and transformed into intermediate representations such that they can be verified against data. In this project, we have successfully managed to create a program which can fact check simple textual statements about geography against data from WikiData, using a small Grammatical Framework grammar that is interpreted in accordance to Montague grammar & semantics. | |
dc.identifier.coursecode | DATX05 | |
dc.identifier.uri | https://odr.chalmers.se/handle/20.500.12380/305880 | |
dc.language.iso | eng | |
dc.setspec.uppsok | Technology | |
dc.subject | Grammatical Framework | |
dc.subject | natural languages | |
dc.subject | formal languages | |
dc.subject | text | |
dc.subject | Montague | |
dc.subject | grammar | |
dc.subject | semantics | |
dc.subject | functional programming | |
dc.subject | verification | |
dc.subject | fact checking | |
dc.title | Semantic verification of multilingual texts | |
dc.type.degree | Examensarbete för masterexamen | sv |
dc.type.degree | Master's Thesis | en |
dc.type.uppsok | H | |
local.programme | Computer science – algorithms, languages and logic (MPALG), MSc |