Formalising Natural Language Quantifiers for Human-Robot Interactions

要約

人間とロボットのインタラクションのコンテキストにおいて、自然言語で量指定子を形式化する方法を紹介します。
このソリューションは、変数の基数を表す機能で拡張された 1 次ロジックに基づいており、一般化された量指定子と同様に動作します。
この方法を実証するために、入力を自然言語として受け取り、それを正式な論理表現に変換し、評価して、結果を返すか、シミュレートされたロボットにコマンドを送信できるエンドツーエンドのシステムを設計しました。

要約(オリジナル)

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.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google