Inventing ET Rules to Improve an MI Solver on KR-logic

Tadayuki Yoshida, Ekawit Nantajeewarawat, Masaharu Munetomo, Kiyoshi Akama

2019

Abstract

We understand that many logical problems cannot be solved by using logic programs. Logic programs have the limited capability of representation. We try to overcome this limitation by adopting KR-logic, an extension to first-order logic. The extension includes function variables. In this paper, we take a problem which is well-described with function variables. We rely on Logical Problem Solving Framework (LPSF) to formalize our problem as a Model-intersection problem. Then we develop a solver for MI problems by adding five new transformation rules concerning function variables. Correctness of each rule is proved.i.e., each rule is an equivalent tranformation (ET) rule. Since each rule is correct, all ET rules can be used together without modification and combinational cost. Thus, the invented rules can be safely reused in other LPSF-based solvers.

Paper Citation

in Harvard Style

Yoshida T., Nantajeewarawat E., Munetomo M. and Akama K. (2019). Inventing ET Rules to Improve an MI Solver on KR-logic. In Proceedings of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2019) - Volume 2: KEOD; ISBN 978-989-758-382-7, SciTePress, pages 274-281. DOI: 10.5220/0008165702740281

in Bibtex Style

@conference{keod19,
author={Tadayuki Yoshida and Ekawit Nantajeewarawat and Masaharu Munetomo and Kiyoshi Akama},
title={Inventing ET Rules to Improve an MI Solver on KR-logic},
booktitle={Proceedings of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2019) - Volume 2: KEOD},
year={2019},
pages={274-281},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0008165702740281},
isbn={978-989-758-382-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2019) - Volume 2: KEOD
TI - Inventing ET Rules to Improve an MI Solver on KR-logic
SN - 978-989-758-382-7
AU - Yoshida T.
AU - Nantajeewarawat E.
AU - Munetomo M.
AU - Akama K.
PY - 2019
SP - 274
EP - 281
DO - 10.5220/0008165702740281
PB - SciTePress