Generating Predicate Logic Expressions from Natural Language

Formal logic expressions are commonly written in standardized mathematical notation. Learning this notation typically requires many years of experience and is not an explicit part of undergraduate academic curricula. Constructing and comprehending logical predicates can feel difficult and unintuitiv...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of IEEE Southeastcon S. 1 - 8
Hauptverfasser:	Levkovskyi, Oleksii, Li, Wei
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 10.03.2021
Schlagworte:	Bidirectional control Data models machine learning Measurement Natural languages neural machine translation NLP predicate logic Predictive models Recurrent neural networks Semantics
ISSN:	1558-058X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!