ULLER: A Unified Language for Learning and Reasoning

要約

学習と推論を組み合わせた神経記号人工知能 (NeSy) の分野は、最近大幅な成長を遂げています。
現在、さまざまな NeSy フレームワークがあり、それぞれに背景知識を表現するための独自の言語と、それをニューラル ネットワークに関連付ける方法があります。
この異種性により、初心者にとってのアクセシビリティが妨げられ、さまざまな NeSy フレームワークの比較が困難になります。
私たちは NeSy 用の統一言語を提案します。これを ULLER (学習と推論のための統一言語) と呼んでいます。
ULLER にはさまざまな設定が含まれていますが、そこに記述されている知識は既存の NeSy システムでも確実に使用できます。
ULLER には神経記号的な一次構文があり、古典的、ファジー、確率的論理などのセマンティクスの例が提供されます。
私たちは、ULLER が NeSy 研究をよりアクセスしやすく比較しやすくするための第一歩であり、多数のセマンティクス、知識ベース、NeSy システムにわたるトレーニングと評価を合理化するライブラリへの道を開くものであると信じています。

要約(オリジナル)

The field of neuro-symbolic artificial intelligence (NeSy), which combines learning and reasoning, has recently experienced significant growth. There now are a wide variety of NeSy frameworks, each with its own specific language for expressing background knowledge and how to relate it to neural networks. This heterogeneity hinders accessibility for newcomers and makes comparing different NeSy frameworks challenging. We propose a unified language for NeSy, which we call ULLER, a Unified Language for LEarning and Reasoning. ULLER encompasses a wide variety of settings, while ensuring that knowledge described in it can be used in existing NeSy systems. ULLER has a neuro-symbolic first-order syntax for which we provide example semantics including classical, fuzzy, and probabilistic logics. We believe ULLER is a first step towards making NeSy research more accessible and comparable, paving the way for libraries that streamline training and evaluation across a multitude of semantics, knowledge bases, and NeSy systems.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google