Hardware Model of Commonsense Reasoning Based on Fuzzy Default Logic

被引:0
|
作者
Pulka, Andrzej [1 ]
Milik, Adam [1 ]
机构
[1] Silesian Tech Univ, Inst Elect, Gliwice, Poland
关键词
Common-sense reasoning; Granular reasoning; Programmable Logic Devices; Non-monotonic Logic; Uncertainty handling;
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The paper presents hardware implementation of the model of commonsense reasoning system based on a new formalism Fuzzy Default Logic (FDL) presented on HSI'09 Conference in Catania. The paper briefly recalls main definitions and algorithms of FDL technique in a form of software oriented procedures. There are presented basic building blocks used for implementation: fuzzy default rules, credible set extraction, hypotheses reduction process and hypotheses assessment stage. Then main elements of the software algorithm of the FDL model are converted to hardware (HDL) models. The entire hardware structure has been implemented in FPGA Xilinx Virtex5 device. The obtained results and examples of experiments are discussed and further research tasks formulated.
引用
收藏
页码:34 / 41
页数:8
相关论文
共 50 条
  • [1] Large-Scale Commonsense Knowledge for Default Logic Reasoning
    Järv P.
    Tammet T.
    Verrev M.
    Draheim D.
    SN Computer Science, 4 (5)
  • [2] Hardware implementation of fuzzy default logic
    Pulka, A.
    Milik, A.
    Advances in Intelligent and Soft Computing, 2012, 99 : 325 - 343
  • [3] Hardware Implementation of Fuzzy Default Logic
    Pulka, A.
    Milik, A.
    HUMAN-COMPUTER SYSTEMS INTERACTION: BACKGROUNDS AND APPLICATIONS 2, PT 2, 2012, 99 : 325 - 343
  • [4] FORMALIZATION OF COMMONSENSE REASONING IN FUZZY LOGIC IN BROADER SENSE
    Novak, Vilem
    Dvorak, Antonin
    APPLIED AND COMPUTATIONAL MATHEMATICS, 2011, 10 (01) : 106 - 121
  • [5] DISPOSITIONAL LOGIC AND COMMONSENSE REASONING
    ZADEH, LA
    PROCEEDINGS OF THE 22ND CONFERENCE ON INFORMATION SCIENCES AND SYSTEMS, VOLS 1 & 2, 1988, : 517 - 520
  • [6] GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description)
    Tammet, Tanel
    Draheim, Dirk
    Jarv, Priit
    AUTOMATED REASONING, IJCAR 2022, 2022, 13385 : 300 - 309
  • [7] A LOGIC FOR DEFAULT REASONING
    REITER, R
    ARTIFICIAL INTELLIGENCE, 1980, 13 (1-2) : 81 - 132
  • [8] Self-Supervised Logic Induction for Explainable Fuzzy Temporal Commonsense Reasoning
    Cai, Bibo
    Ding, Xiao
    Sun, Zhouhao
    Qin, Bing
    Liu, Ting
    Wang, Baojun
    Shang, Lifeng
    THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 11, 2023, : 12580 - 12588
  • [9] A hybrid logic for Commonsense Spatial Reasoning
    Bandini, S
    Mosca, A
    Palmonari, M
    AI*IA2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, 3673 : 25 - 37
  • [10] Reasoning by cases in default logic
    Roos, N
    ARTIFICIAL INTELLIGENCE, 1998, 99 (01) : 165 - 183