Neurosymbolic Programming in Scallop: Principles and Practice

Li, Ziyang (Author)/ Huang, Jiani (Author)/ Liu, Jason (Author)

ISBN 10: 1638284849 / ISBN 13: 9781638284840

Edité par Now Publishers Inc, 2024

A propos de cet article

148 pages. 6.14x0.32x9.21 inches. In Stock. N° de réf. du vendeur x-1638284849

Détails bibliographiques

Titre : Neurosymbolic Programming in Scallop: ...

Éditeur : Now Publishers Inc

Date d'édition : 2024

Reliure : Paperback

Etat : Brand New

A propos de ce titre

Synopsis :

Neurosymbolic programming combines the otherwise complementary worlds of deep learning and symbolic reasoning. It thereby enables more accurate, interpretable, and domain-aware solutions to Artificial Intelligence (AI) tasks. This monograph introduces Scallop, a general-purpose language and compiler toolchain for developing neurosymbolic applications. A Scallop program specifies a suitable decomposition of an AI task's computation into separate learning and reasoning modules. Learning modules are built using existing machine learning frameworks and range from custom neural models to foundation models for language, vision, and multi-modal data. Reasoning modules are specified in a declarative logic programming language based on Datalog which supports expressive features such as recursion, aggregation, negation, and probabilistic programming over structured relations. Scallop's compiler enables to automatically train neurosymbolic programs in a data- and compute-efficient manner using an end-to-end differentiable reasoning framework. Scallop also supports features useful for building real-world applications such as user-defined data types, soft logic operations, and foreign interfaces. This monograph demonstrates programming in Scallop for applications that span the domains of image and video processing, natural language processing, planning, and information retrieval in a variety of learning settings such as supervised learning, reinforcement learning, rule learning, contrastive learning, and in-context learning.