loading
Documents

Research.Publish.Connect.

Paper

Author: Dušan Guller

Affiliation: Comenius University, Slovak Republic

ISBN: 978-989-758-201-1

Keyword(s): Hyperresolution, Product Logic, Automated Deduction, Fuzzy Logics, Many-valued Logics.

Related Ontology Subjects/Areas/Topics: Approximate Reasoning and Fuzzy Inference ; Artificial Intelligence ; Computational Intelligence ; Fuzzy Systems ; Mathematical Foundations: Fuzzy Set Theory and Fuzzy Logic ; Soft Computing

Abstract: We provide the foundations of automated deduction in the propositional product logic. Particularly, we generalise the hyperresolution principle for the propositional product logic. We propose translation of a formula to an equivalent satisfiable finite order clausal theory, which consists of order clauses - finite sets of order literals of the augmented form: e1 @ e2 where e1 is either a truth constant, 0, 1, or a conjunction of powers of propositional atoms, and @ is a connective from =, <. = and < are interpreted by the equality and strict linear order on [0,1], respectively. We devise a hyperresolution calculus over order clausal theories, which is refutation sound and complete for the finite case. By means of the translation and calculus, we solve the deduction problem T |= phi for a finite theory T and a formula phi.

PDF ImageFull Text

Download
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.162.128.159

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:
Guller D. (2016). Hyperresolution for Propositional Product Logic.In Proceedings of the 8th International Joint Conference on Computational Intelligence - Volume 2: FCTA, (IJCCI 2016) ISBN 978-989-758-201-1, pages 30-41. DOI: 10.5220/0006044300300041

@conference{fcta16,
author={Dušan Guller},
title={Hyperresolution for Propositional Product Logic},
booktitle={Proceedings of the 8th International Joint Conference on Computational Intelligence - Volume 2: FCTA, (IJCCI 2016)},
year={2016},
pages={30-41},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006044300300041},
isbn={978-989-758-201-1},
}

TY - CONF

JO - Proceedings of the 8th International Joint Conference on Computational Intelligence - Volume 2: FCTA, (IJCCI 2016)
TI - Hyperresolution for Propositional Product Logic
SN - 978-989-758-201-1
AU - Guller D.
PY - 2016
SP - 30
EP - 41
DO - 10.5220/0006044300300041

Login or register to post comments.

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