mlsanityData to 7 Oct 2026

Formalising Natural Language Quantifiers for Human-Robot Interactions

arXiv 2308.13192 ↗First posted 25 Aug 2023cs.AI cs.CL cs.ROcited by 0

Not on the map. Why?

Abstract (arXiv)

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.

Key facts. No citing papers in the map yet (data through 7 Oct 2026). Builds on 3 of its 18 references that are in the map. First posted on arXiv 25 Aug 2023.

Builds on

3 of 18 references.

References · 3

  1. 2020A Hierarchical Architecture for Human-Robot Cooperation Processescited by 12
  2. 2022Generalized Quantifiers as a Source of Error in Multilingual NLU Benchmarkscited by 8
  3. 2022A Compositional Approach to Verifying Modular Robotic Systemscited by 2

Built on by

Not cited yet.