loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Kiyoshi Akama 1 and Ekawit Nantajeewarawat 2

Affiliations: 1 Hokkaido University, Japan ; 2 Thammasat University, Thailand

ISBN: 978-989-8425-80-5

ISSN: 2184-3228

Keyword(s): Skolemization, Equivalent transformation, Conjunctive normal form, Question-answering problems.

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

Abstract: Skolemization is a well-known method for removing existential quantifiers from a logical formula. Although it always yields a satisfiability-preserving transformation step, classical Skolemization in general does not preserve the logical meaning of a source formula. We develop in this paper a theory for extending a space of logical formulas by incorporation of function variables and show how meaning-preserving Skolemization can be achieved in an obtained extended space. A procedure for converting a logical formula into an equivalent one in an extended conjunctive normal form on the extended space is described. This work lays a theoretical foundation for solving logical problems involving existential quantifications based on meaning-preserving formula transformation.

PDF ImageFull Text

Download
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 3.231.220.225

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. and Nantajeewarawat, E. (2011). MEANING-PRESERVING SKOLEMIZATION.In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2011) ISBN 978-989-8425-80-5, ISSN 2184-3228, pages 322-327. DOI: 10.5220/0003692003220327

@conference{keod11,
author={Kiyoshi Akama. and Ekawit Nantajeewarawat.},
title={MEANING-PRESERVING SKOLEMIZATION},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2011)},
year={2011},
pages={322-327},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003692003220327},
isbn={978-989-8425-80-5},
}

TY - CONF

JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2011)
TI - MEANING-PRESERVING SKOLEMIZATION
SN - 978-989-8425-80-5
AU - Akama, K.
AU - Nantajeewarawat, E.
PY - 2011
SP - 322
EP - 327
DO - 10.5220/0003692003220327

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.