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.

翻译：我们提出了一种在人机交互场景下对自然语言中的量词进行形式化的方法。该方案基于一阶逻辑，并通过扩展使其具备表示变量基数能力，其运行方式与广义量词类似。为验证该方法，我们设计了一个端到端系统：该系统能够接收自然语言输入，将其转换为形式逻辑表示，进行语义评估，最终返回结果或向模拟机器人发送指令。