SOLにおけるタブ口証明反転法とその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般) Upside-Down Transfromation in SOL and its Application

Abstract

In this paper, we study an upside-down transformation of a branch in SOL/Connection tableaux and show that SOL/Connection tableaux using the folding-up operation can always accomplish a size-preserving transformation for any branch in any tableau. This fact solves the size-growing problem caused by the order-preserving reduction and by an incremental answer computation problem.

Journal

IEICE technical report. Artificial intelligence and knowledge-based processing   [List of Volumes]

IEICE technical report. Artificial intelligence and knowledge-based processing 104(133), 39-44, 2004-06-14  [Table of Contents]

The Institute of Electronics, Information and Communication Engineers

References:  12

You must have a user ID to see the references.If you already have a user ID, please click "Login" to access the info.New users can click "Sign Up" to register for an user ID.

Preview

Preview

Codes

  • NII Article ID (NAID) :
    110003177001
  • NII NACSIS-CAT ID (NCID) :
    AN10013061
  • Text Lang :
    ENG
  • Article Type :
    ART
  • ISSN :
    09135685
  • NDL Article ID :
    7036989
  • NDL Source Classification :
    ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
  • NDL Call No. :
    Z16-940
  • Databases :
    CJP  NDL  NII-ELS 

Export