Computation Control by Prioritized ET Rules

Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama

2018

Abstract

Model-intersection problems have been invented as one of the largest classes of logical problems. By solving MI problems, we can solve proof problems and query-answering problems on first-order logic. For solving MI problems on extended clauses, we propose in this paper prioritized equivalent transformation (ET) rules. A set R of ET rules with priority ordering is employed, and at each computation step an applicable ET rule with best priority in R is selected and applied. This method can be used to decrease a search space by introducing new rules and adjusting rule priority, and is useful to solve a large class of logical problems with the guarantee of strict correctness of computation results.

Paper Citation

in Harvard Style

Akama K., Nantajeewarawat E. and Akama T. (2018). Computation Control by Prioritized ET Rules. In Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2018) - Volume 2: KEOD; ISBN 978-989-758-330-8, SciTePress, pages 84-95. DOI: 10.5220/0006934600840095

in Bibtex Style

@conference{keod18,
author={Kiyoshi Akama and Ekawit Nantajeewarawat and Taketo Akama},
title={Computation Control by Prioritized ET Rules},
booktitle={Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2018) - Volume 2: KEOD},
year={2018},
pages={84-95},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006934600840095},
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 (IC3K 2018) - Volume 2: KEOD
TI - Computation Control by Prioritized ET Rules
SN - 978-989-758-330-8
AU - Akama K.
AU - Nantajeewarawat E.
AU - Akama T.
PY - 2018
SP - 84
EP - 95
DO - 10.5220/0006934600840095
PB - SciTePress