Real-Valued Logics for Typological Universals: Framework and Application

Tillmann Dönicke, Xiang Yu, Jonas Kuhn


Abstract
This paper proposes a framework for the expression of typological statements which uses real-valued logics to capture the empirical truth value (truth degree) of a formula on a given data source, e.g. a collection of multilingual treebanks with comparable annotation. The formulae can be arbitrarily complex expressions of propositional logic. To illustrate the usefulness of such a framework, we present experiments on the Universal Dependencies treebanks for two use cases: (i) empirical (re-)evaluation of established formulae against the spectrum of available treebanks and (ii) evaluating new formulae (i.e. potential candidates for universals) generated by a search algorithm.
Anthology ID:
2020.coling-main.353
Volume:
Proceedings of the 28th International Conference on Computational Linguistics
Month:
December
Year:
2020
Address:
Barcelona, Spain (Online)
Editors:
Donia Scott, Nuria Bel, Chengqing Zong
Venue:
COLING
SIG:
Publisher:
International Committee on Computational Linguistics
Note:
Pages:
3990–4003
Language:
URL:
https://aclanthology.org/2020.coling-main.353
DOI:
10.18653/v1/2020.coling-main.353
Bibkey:
Cite (ACL):
Tillmann Dönicke, Xiang Yu, and Jonas Kuhn. 2020. Real-Valued Logics for Typological Universals: Framework and Application. In Proceedings of the 28th International Conference on Computational Linguistics, pages 3990–4003, Barcelona, Spain (Online). International Committee on Computational Linguistics.
Cite (Informal):
Real-Valued Logics for Typological Universals: Framework and Application (Dönicke et al., COLING 2020)
Copy Citation:
PDF:
https://aclanthology.org/2020.coling-main.353.pdf
Data
Universal Dependencies