loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Kiyoshi Akama 1 ; Ekawit Nantajeewarawat 2 and Taketo Akama 3

Affiliations: 1 Information Initiative Center, Hokkaido University, Sapporo and Japan ; 2 Computer Science, Sirindhorn International Institute of Technology, Thammasat University, Pathumthani and Thailand ; 3 Modeleet Labs, Sapporo and Japan

Keyword(s): Model-Intersection Problem, Equivalent Transformation, Function Variable, Rule Priority, Computation Control, Proof Problem, Query-Answering Problem.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Knowledge Engineering and Ontology Development ; Knowledge Representation ; Knowledge-Based Systems ; Symbolic Systems

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.166.141.52

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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) - KEOD; ISBN 978-989-758-330-8; ISSN 2184-3228, SciTePress, pages 84-95. DOI: 10.5220/0006934600840095

@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) - KEOD},
year={2018},
pages={84-95},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006934600840095},
isbn={978-989-758-330-8},
issn={2184-3228},
}

TY - CONF

JO - Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2018) - KEOD
TI - Computation Control by Prioritized ET Rules
SN - 978-989-758-330-8
IS - 2184-3228
AU - Akama, K.
AU - Nantajeewarawat, E.
AU - Akama, T.
PY - 2018
SP - 84
EP - 95
DO - 10.5220/0006934600840095
PB - SciTePress