A logic-algebraic tool for reasoning with Knowledge-Based Systems

被引：8

作者：

Alonso-Jimenez, Jose A. ^{[1
]}

Aranda-Corral, Gonzalo A. ^{[2
]}

Borrego-Diaz, Joaquin ^{[1
]}

Magdalena Fernandez-Lebron, M. ^{[3
]}

Jose Hidalgo-Doblado, M. ^{[1
]}

机构：

[1] Univ Seville, ETS Ingn Informat, Dept Ciencias Comp & Inteligencia Artificial, Avda Reina Mercedes Sn, E-41012 Seville, Spain

[2] Univ Huelva, Dept Informat Technol, Crta Palos de La Frontera S-N, Palos de La Frontera 21819, Spain

[3] Univ Seville, Dept Matemat Aplicada, ETS Ingn Informat, Avda Reina Mercedes Sn, E-41012 Seville, Spain

来源：

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 2018年 / 101卷

关键词：

Polynomial semantics; Symbolic computing; Automated deduction; Knowledge-Based Systems; EXPERT-SYSTEMS; PROPOSITIONAL LOGIC; INDEPENDENCE; DIAGNOSIS;

D O I：

10.1016/j.jlamp.2018.09.001

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases specified by propositional (Boolean) logic is presented. The model is conceived from the logical translation of usual derivatives on polynomials (on residue rings) which is used to design a new inference rule of algebro-geometric inspiration. Soundness and (refutational) completeness of the rule are proved. Some applications of the tools introduced in the paper are shown. (C) 2018 Elsevier Inc. All rights reserved.

引用

页码：88 / 109

页数：22

共 50 条

[1] Parallel computations for logic-algebraic based expert systems
Borzemski, Leszek
Fras, Mariusz
[J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS: KES 2007 - WIRN 2007, PT I, PROCEEDINGS, 2007, 4692 : 311 - +
[2] Modal Change Logic (MCL): Specifying the reasoning of knowledge-based systems
Fensel, D
Groenboom, R
de Lavalette, GRR
[J]. DATA & KNOWLEDGE ENGINEERING, 1998, 26 (03) : 243 - 269
[3] Analogical reasoning in knowledge-based systems
Zhou, HH
[J]. CRITICAL TECHNOLOGY: PROCEEDINGS OF THE THIRD WORLD CONGRESS ON EXPERT SYSTEMS, VOLS I AND II, 1996, : 1136 - 1142
[4] Consequential reasoning in knowledge-based systems
Hudson, DL
Cohen, ME
[J]. COMPUTERS AND THEIR APPLICATIONS, 2001, : 342 - 345
[5] A Logic-Algebraic Approach to Graded Inclusion
Gomolinska, Anna
[J]. FUNDAMENTA INFORMATICAE, 2011, 109 (03) : 265 - 279
[6] Multiphase data exchange in distributed logic-algebraic based processing
Borzemski, Leszek
Fras, Mariusz
[J]. NEW FRONTIERS IN APPLIED ARTIFICIAL INTELLIGENCE, 2008, 5027 : 698 - 707
[7] ON TEMPORAL REPRESENTATION AND REASONING IN KNOWLEDGE-BASED SYSTEMS
VILA, L
[J]. AI COMMUNICATIONS, 1995, 8 (01) : 58 - 58
[8] Design of admissible schedules for AGV systems with constraints:: A logic-algebraic approach
Bocewicz, Grzegorz
Wojcik, Robert
Banaszak, Zbigniew
[J]. AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PROCEEDINGS, 2007, 4496 : 578 - +
[9] THE LOGIC-ALGEBRAIC EQUATIONS METHOD IN SYSTEM DYNAMICS
Nagul, N. V.
[J]. ST PETERSBURG MATHEMATICAL JOURNAL, 2013, 24 (04) : 645 - 662
[10] Case-based reasoning for medical knowledge-based systems
Schmidt, R
Gierl, L
[J]. MEDICAL INFOBAHN FOR EUROPE, PROCEEDINGS, 2000, 77 : 720 - 725

← 1 2 3 4 5 →