FORRENMAT - A KNOWLEDGE-BASED SYSTEM TO INVESTIGATE EXPERIMENTALLY THE MATHEMATICAL REASONING

被引：0
|
作者：
LAUBLET, P
机构：
来源：
AI COMMUNICATIONS | 1995年 / 8卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：54 / 54
页数：1
相关论文
共 50 条
  • [21] Knowledge-based nonmonotonic reasoning process in ship compartment design system
    Lee, KH
    Lee, KY
    EXPERT SYSTEMS WITH APPLICATIONS, 1997, 13 (02) : 145 - 154
  • [22] A Strategy of Dynamic Reasoning in Knowledge-Based System with Fuzzy Production Rules
    Soosup Song
    Sangho Lee
    Journal of Intelligent Information Systems, 2002, 19 : 303 - 318
  • [23] KNOWLEDGE-BASED REASONING NETWORK FOR OBJECT DETECTION
    Zhang, Huigang
    Wang, Liuan
    Sun, Jun
    2021 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP), 2021, : 1579 - 1583
  • [24] Knowledge-based reasoning for network fault diagnosis
    Zang, Xueyun
    IC-BNMT 2007: PROCEEDINGS OF 2007 INTERNATIONAL CONFERENCE ON BROADBAND NETWORK & MULTIMEDIA TECHNOLOGY, 2007, : 193 - 196
  • [25] Knowledge-Based Reasoning Network for Relation Detection
    Shen, Ying
    Yang, Min
    Li, Yaliang
    Wang, Dong
    Zheng, Haitao
    Chen, Daoyuan
    IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 2023, 34 (08) : 5051 - 5063
  • [26] PROFESSIONAL VISION: FOCUS ON KNOWLEDGE-BASED REASONING
    Ulicna, Klara
    PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE EFFICIENCY AND RESPONSIBILITY IN EDUCATION 2017 (ERIE), 2017, : 482 - 489
  • [27] Knowledge-based reasoning through stigmergic linking
    Greer, Kieran
    Baumgarten, Matthias
    Mulvenna, Maurice
    Nugent, Chris
    Curran, Kevin
    SELF-ORGANIZING SYSTEMS, PROCEEDINGS, 2007, 4725 : 240 - +
  • [28] Approximate reasoning in knowledge-based fuzzy sets
    Intan, R
    Mukaidono, M
    2002 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY PROCEEDINGS, 2002, : 439 - 444
  • [29] ON TEMPORAL REPRESENTATION AND REASONING IN KNOWLEDGE-BASED SYSTEMS
    VILA, L
    AI COMMUNICATIONS, 1995, 8 (01) : 58 - 58
  • [30] A mathematical model to evaluate knowledge in the knowledge-based organizations
    Bagheri, R.
    Rezaeian, A.
    Fazlaly, A.
    SCIENTIA IRANICA, 2015, 22 (06) : 2716 - 2721
12345