כתבה
arXiv cs.AI ·
שפות על בסיס חוקים ל-AI נוירוסימבולי
Rule-Based Languages for Neurosymbolic AI
שפות על בסיס חוקים משמשות יותר ויותר כרכיב הסימבולי של מערכות AI נוירוסימבולי. סקירה זו מציגה את השפות העיקריות, כולל Datalog, ומנתחת יותר מ-50 מערכות ויישומים אחרונים.
תקציר מקורי באנגליתarXiv:2610.07313v1 Announce Type: new Abstract: Logic programming is increasingly used as the symbolic component of neurosymbolic AI systems. We survey the main rule-based languages in this setting, namely Datalog, answer set, and probabilistic logic programs, along four axes: semantics, expressiveness, neural integration, and evaluation mechanism. We analyse over 50 recent systems and applications, comparing formalism usage across four research areas: databases and programming languages, machine learning, vision, and robotics. We provide a decision matrix mapping application scenarios to required features and close by outlining open problems.
קרא במקור המקורי
arxiv.org
פתח כתבה מקורית