Neuro-symbolic Representation of Logic Programs Defining Infinite Sets

被引：0

作者：

Komendantskaya, Ekaterina ^{[1
]}

Broda, Krysia ^{[2
]}

Garcez, Artur d'Avila ^{[3
]}

机构：

[1] Univ Dundee, Sch Comp, Dundee DD1 4HN, Scotland

[2] Imperial Coll, Dept Computat, London, England

[3] City Univ London, Dept Comput, London, England

来源：

ARTIFICIAL NEURAL NETWORKS-ICANN 2010, PT I | 2010年 / 6352卷

基金：

英国工程与自然科学研究理事会;

关键词：

Neurosymbolic integration; Structured learning; Mathematical theory of neurocomputing; Logic programming;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to implement neural networks that can process recursive programs viewed as inductive definitions.

引用

页码：301 / +

页数：2

共 50 条

[1] Semirings for probabilistic and neuro-symbolic logic programming
Derkinderen, Vincent
Manhaeve, Robin
Dos Martires, Pedro Zuidberg
De Raedt, Luc
[J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2024, 171
[2] Clauses Representation Comparison in Neuro-Symbolic Integration
Sathasivam, Saratha
[J]. WORLD CONGRESS ON ENGINEERING, WCE 2010, VOL I, 2010, : 34 - 37
[3] A probabilistic approximate logic for neuro-symbolic learning and reasoning
Stehr, Mark-Oliver
Kim, Minyoung
Talcott, Carolyn L.
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 124
[4] Neuro-symbolic recommendation model based on logic query
Wu, Maonian
Chen, Bang
Zhu, Shaojun
Zheng, Bo
Peng, Wei
Zhang, Mingyi
[J]. KNOWLEDGE-BASED SYSTEMS, 2024, 284
[5] Neuro-symbolic representation learning on biological knowledge graphs
Alshahrani, Mona
Khan, Mohammad Asif
Maddouri, Omar
Kinjo, Akira R.
Queralt-Rosinach, Nuria
Hoehndorf, Robert
[J]. BIOINFORMATICS, 2017, 33 (17) : 2723 - 2730
[6] Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks
Sen, Prithviraj
de Carvalho, Breno W. S. R.
Riegel, Ryan
Gray, Alexander
[J]. THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2022, : 8212 - 8219
[7] Neuro-Symbolic Reinforcement Learning with First-Order Logic
Kimura, Daiki
Ono, Masaki
Chaudhury, Subhajit
Kohita, Ryosuke
Wachi, Akifumi
Agravante, Don Joven
Tatsubori, Michiaki
Munawar, Asim
Gray, Alexander
[J]. 2021 CONFERENCE ON EMPIRICAL METHODS IN NATURAL LANGUAGE PROCESSING (EMNLP 2021), 2021, : 3505 - 3511
[8] Neuro-Symbolic Techniques for Description Logic Reasoning (Student Abstract)
Singh, Gunjan
Mondal, Sutapa
Bhatia, Sumit
Mutharaju, Raghava
[J]. THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 15891 - 15892
[9] Learning Neuro-symbolic Programs for Language Guided Robot Manipulation
Namasivayam, K.
Singh, Himanshu
Bindal, Vishal
Tuli, Arnav
Agrawal, Vishwajeet
Jain, Rahul
Singla, Parag
Paul, Rohan
[J]. 2023 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2023), 2023, : 7973 - 7980
[10] Reduced implication-bias logic loss for neuro-symbolic learning
Hao-Yuan He
Wang-Zhou Dai
Ming Li
[J]. Machine Learning, 2024, 113 : 3357 - 3377

← 1 2 3 4 5 →