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 条
  • [31] The First-Order Logic of Hyperproperties
    Finkbeiner, Bernd
    Zimmermann, Martin
    34TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2017), 2017, 66
  • [32] COMPUTING WITH FIRST-ORDER LOGIC
    ABITEBOUL, S
    VIANU, V
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1995, 50 (02) : 309 - 335
  • [33] A First-order Logic with Frames
    Murali, Adithya
    Pena, Lucas
    Loeding, Christof
    Madhusudan, P.
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2023, 45 (02):
  • [34] Indistinguishability and first-order logic
    Jordan, Skip
    Zeugmann, Thomas
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2008, 4978 : 94 - 104
  • [35] From separation logic to first-order logic
    Calcagno, C
    Gardner, P
    Hague, M
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2005, 3441 : 395 - 409
  • [36] From First-Order Logic to Assertional Logic
    Zhou, Yi
    ARTIFICIAL GENERAL INTELLIGENCE: 10TH INTERNATIONAL CONFERENCE, AGI 2017, 2017, 10414 : 87 - 97
  • [37] First-order ASP programs as CHR programs
    Stephan, Igor
    36TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2021, 2021, : 881 - 888
  • [38] An effective bottom-up semantics for first-order linear logic programs
    Bozzano, M
    Delzanno, G
    Martelli, M
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 138 - 152
  • [39] A Canonical Model for Constant Domain Basic First-Order Logic
    Middleton, Ben
    STUDIA LOGICA, 2020, 108 (06) : 1307 - 1323
  • [40] A Canonical Model for Constant Domain Basic First-Order Logic
    Ben Middleton
    Studia Logica, 2020, 108 : 1307 - 1323
12345