• DocumentCode
    306453
  • Title

    A kind of mixed reasoning in rule-based systems

  • Author

    Qun, Liu ; Guisheng, Yin ; Jianpei, Zhang ; Jie, Liu ; Daxin, Liu

  • Author_Institution
    Dept. of Comput., Harbin Eng. Univ., China
  • Volume
    2
  • fYear
    1996
  • fDate
    14-17 Oct 1996
  • Firstpage
    1436
  • Abstract
    The method of mixed reasoning is put forward in this paper. It can accomplish deductive and abductive reasoning alternatively in a problem-solving process. A problem solving model of the method is defined. The logic reasoning in this model can achieve a change of the reasoning direction. In this paper, some other problems and technologies of completing mixed reasoning are also discussed, such as how the reasoning algorithm is designed and its properties are analysed
  • Keywords
    inference mechanisms; knowledge based systems; problem solving; abductive reasoning; deductive reasoning; logic reasoning; mixed reasoning; problem-solving process; rule-based systems; Geology; Knowledge based systems; Logic;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems, Man, and Cybernetics, 1996., IEEE International Conference on
  • Conference_Location
    Beijing
  • ISSN
    1062-922X
  • Print_ISBN
    0-7803-3280-6
  • Type

    conf

  • DOI
    10.1109/ICSMC.1996.571323
  • Filename
    571323