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...

Full description

Bibliographic Details

Published in:	Proceedings of IEEE Southeastcon pp. 1 - 8
Main Authors:	Levkovskyi, Oleksii, Li, Wei
Format:	Conference Proceeding
Language:	English
Published:	IEEE 10.03.2021
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!