- Tytuł:
- Combining logical and distributional methods in type-logical grammars
- Autorzy:
- Moot, R.
- Powiązania:
- https://bibliotekanauki.pl/articles/103929.pdf
- Data publikacji:
- 2018
- Wydawca:
- Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
- Tematy:
-
type-logical grammar
Lambek calculus
theorem proving - Opis:
- We propose a low-level way of combining distributional and logical ideas into a single formal system. This will be an instantiation of a more general system, adding weights to proof rules. These weights will not measure some sort of “confidence the proof is valid”, but Rather act as a way to prefer some proofs over others, where preference can mean “easier to process (for humans)” or “more coherent (combining words that make sense together)”. The resulting system of weighted theorem proving can be implemented either as a best-first proof serach strategy or as a polynomial-time approximation of proof search for NP-complete parsing problems.
- Źródło:
-
Journal of Language Modelling; 2018, 6, 2; 287-317
2299-856X
2299-8470 - Pojawia się w:
- Journal of Language Modelling
- Dostawca treści:
- Biblioteka Nauki
Artykuł