Formalising Natural Language Quantifiers for Human-Robot Interactions
Artificial Intelligence
2023-08-28 v1 Computation and Language
Robotics
Abstract
We present a method for formalising quantifiers in natural language in the context of human-robot interactions. The solution is based on first-order logic extended with capabilities to represent the cardinality of variables, operating similarly to generalised quantifiers. To demonstrate the method, we designed an end-to-end system able to receive input as natural language, convert it into a formal logical representation, evaluate it, and return a result or send a command to a simulated robot.
Cite
@article{arxiv.2308.13192,
title = {Formalising Natural Language Quantifiers for Human-Robot Interactions},
author = {Stefan Morar and Adrian Groza and Mihai Pomarlan},
journal= {arXiv preprint arXiv:2308.13192},
year = {2023}
}