Similarity-based SLD resolution and its implementation in an extended prolog system

被引:0
|
作者
Loia, V [1 ]
Senatore, S [1 ]
Sessa, MI [1 ]
机构
[1] Univ Salerno, Dipartimento Matemat & Informat, I-84081 Baronissi, Italy
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This work presents an extension of SLD resolution towards approximate reasoning. The proposed refutation procedure overcomes failures in the unification process by exploiting Similarity relation defined between predicate and constant symbols. This enables to compute approximate solutions, with an associated approximation degree, when failures of the exact inference process occur. In this paper we outline the main ideas of this approach and we present an extended PROLOG interpreter, named SiLog, which implements this inference procedure.
引用
收藏
页码:650 / 653
页数:4
相关论文
共 50 条
  • [1] Approximate reasoning by similarity-based SLD resolution
    Sessa, MI
    [J]. THEORETICAL COMPUTER SCIENCE, 2002, 275 (1-2) : 389 - 426
  • [2] Similarity-based SLD resolution and its role for web knowledge discovery
    Loia, V
    Senatore, S
    Sessa, MI
    [J]. FUZZY SETS AND SYSTEMS, 2004, 144 (01) : 151 - 171
  • [3] A Similarity-Based WAM for Bousi∼Prolog
    Julian-Iranzo, Pascual
    Rubio-Manzano, Clemente
    [J]. BIO-INSPIRED SYSTEMS: COMPUTATIONAL AND AMBIENT INTELLIGENCE, PT 1, 2009, 5517 : 245 - 252
  • [4] A similarity-based resolution rule
    Fontana, FA
    Formato, F
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2002, 17 (09) : 853 - 872
  • [5] A Similarity-Based Implementation of the Schaake Shuffle
    Schefzik, Roman
    [J]. MONTHLY WEATHER REVIEW, 2016, 144 (05) : 1909 - 1921
  • [6] A Similarity-Based Decision Process for Decisions' Implementation
    Averkyna, Maryna
    [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE AND APPLIED COGNITIVE COMPUTING, 2021, : 571 - 581
  • [7] A COMMON-LISP IMPLEMENTATION OF AN EXTENDED PROLOG SYSTEM
    CATTANEO, G
    LOIA, V
    [J]. SIGPLAN NOTICES, 1988, 23 (04): : 87 - 102
  • [8] Spatial autoregressions with an extended parameter space and similarity-based weights
    Rossi, Francesca
    Lieberman, Offer
    [J]. JOURNAL OF ECONOMETRICS, 2023, 235 (02) : 1770 - 1798
  • [9] DeepBrowse: Similarity-Based Browsing Through Large Lists (Extended Abstract)
    Chen, Haochen
    Anantharam, Arvind Ram
    Skiena, Steven
    [J]. SIMILARITY SEARCH AND APPLICATIONS, SISAP 2017, 2017, 10609 : 300 - 314
  • [10] Cognitive Similarity-Based Collaborative Filtering Recommendation System
    Nguyen, Luong Vuong
    Hong, Min-Sung
    Jung, Jason J.
    Sohn, Bong-Soo
    [J]. APPLIED SCIENCES-BASEL, 2020, 10 (12):