Side-Change Transformation

Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama

Abstract

Many logical problems, such as proof problems and query-answering problems, can be mapped into model-intersection (MI) problems, which constitute one of the largest and most fundamentally important classes of logical problems. To solve MI problems, many equivalent transformation rules have been employed. In this paper, we introduce a new transformation, called side-change transformation, and propose unfolding/side-change computation control, i.e., when neither unfolding nor definite-clause removal is applicable, an attempt is made to transform a given problem using side-change transformation so as to derive an equivalent problem to which unfolding is applicable. The correctness of side-change transformation is shown. While a resolution-based proof method increases problem size monotonically no matter what control is taken, a reduction of problem size can often be achieved by using the unfolding/side-change control.

Download


Paper Citation


in Harvard Style

Akama K., Nantajeewarawat E. and Akama T. (2018). Side-Change Transformation.In Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: KEOD, ISBN 978-989-758-330-8, pages 237-246. DOI: 10.5220/0006934802370246


in Bibtex Style

@conference{keod18,
author={Kiyoshi Akama and Ekawit Nantajeewarawat and Taketo Akama},
title={Side-Change Transformation},
booktitle={Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: KEOD,},
year={2018},
pages={237-246},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006934802370246},
isbn={978-989-758-330-8},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: KEOD,
TI - Side-Change Transformation
SN - 978-989-758-330-8
AU - Akama K.
AU - Nantajeewarawat E.
AU - Akama T.
PY - 2018
SP - 237
EP - 246
DO - 10.5220/0006934802370246