Presentation 2004-06-21
Upside-Down Transfromation in SOL and its Application
Kouji IWANUMA, Katsumi INOUE, Hidetomo NABESHIMA,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) 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.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) SOL / connection tableaux / folding-up / order-preserving reduction / upside-down transformation
Paper # AI2004-8
Date of Issue

Conference Information
Committee AI
Conference Date 2004/6/14(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To Artificial Intelligence and Knowledge-Based Processing (AI)
Language ENG
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Upside-Down Transfromation in SOL and its Application
Sub Title (in English)
Keyword(1) SOL
Keyword(2) connection tableaux
Keyword(3) folding-up
Keyword(4) order-preserving reduction
Keyword(5) upside-down transformation
1st Author's Name Kouji IWANUMA
1st Author's Affiliation Yamanashi University()
2nd Author's Name Katsumi INOUE
2nd Author's Affiliation National Insititute of Infomatics
3rd Author's Name Hidetomo NABESHIMA
3rd Author's Affiliation Yamanashi University
Date 2004-06-21
Paper # AI2004-8
Volume (vol) vol.104
Number (no) 133
Page pp.pp.-
#Pages 6
Date of Issue