A Fully Connectionist Model Generator for Covered First-Order Logic Programs

被引：0

作者：

Bader, Sebastian ^{[1
]}

Hitzler, Pascal ^{[2
]}

Hoelldobler, Steffen ^{[1
]}

Witzel, Andreas ^{[3
]}

机构：

[1] Tech Univ Dresden, Int Ctr Computat Log, Dresden, Germany

[2] Univ Karlsruhe, AIFB, Karlsruhe, Germany

[3] Univ Amsterdam, Inst Log Language & Computat, Amsterdam, Netherlands

来源：

20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE | 2007年

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples, we embed the associated semantic operator into a feed-forward network and train the network using the examples. This results in the learning of first-order knowledge while damaged or noisy data is handled gracefully.

引用

页码：666 / 671

页数：6

共 50 条

[41] Approximate model checking using a subset of first-order logic
Hamaguchi K.
Masuda K.
Kashiwabara T.
IPSJ Transactions on System LSI Design Methodology, 2010, 3 : 268 - 282
[42] Model-checking first-order logic: Automata and locality
Dawar, Anuj
Computer Science Logic, Proceedings, 2007, 4646 : 6 - 6
[43] Finite Model Reasoning in Expressive Fragments of First-Order Logic
Tendera, Lidia
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (243): : 43 - 57
[44] Model checking the first-order fragment of higher-order fixpoint logic
Axelsson, Roland
Lange, Martin
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 62 - +
[45] Sperner spaces and first-order logic
Blass, A
Pambuccian, V
MATHEMATICAL LOGIC QUARTERLY, 2003, 49 (02) : 111 - 114
[46] First-order conditional logic revisited
Friedman, N
Halpern, JY
Koller, D
PROCEEDINGS OF THE THIRTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE, VOLS 1 AND 2, 1996, : 1305 - 1312
[47] DATALOG VS FIRST-ORDER LOGIC
AJTAI, M
GUREVICH, Y
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1994, 49 (03) : 562 - 588
[48] First-order classical modal logic
Arló-Costa H.
Pacuit E.
Studia Logica, 2006, 84 (2) : 171 - 210
[49] First-Order da Costa Logic
Graham Priest
Studia Logica, 2011, 97 : 183 - 198
[50] A denotational semantics for first-order logic
Apt, KR
COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 53 - 69

← 1 2 3 4 5 →