loading
Papers

Research.Publish.Connect.

Paper

Author: Ivor Uhliarik

Affiliation: Comenius University, Slovak Republic

ISBN: 978-989-758-274-5

Keyword(s): Fuzzy ASP, Fuzzy Logic, Answer Set Programming, Product Logic, Stable Models, DPLL.

Related Ontology Subjects/Areas/Topics: Approximate Reasoning and Fuzzy Inference ; Artificial Intelligence ; Computational Intelligence ; Fuzzy Systems ; Soft Computing

Abstract: In recent years, foundations have been laid for a turn in logic programming paradigms in continuous domains. Fuzzy answer set programming (FASP) has emerged as a combination of a tool for non-monotonic reasoning and solving combinatorial problems (ASP) and a knowledge representation formalism that allows for modeling partial truth (fuzzy logic). There have been various attempts at designing a solver for FASP, but they either make use of transformations into optimization programs with scaling problems, operate only on finite-valued Łukasiewicz logic, or yield only approximate answer sets. Moreover, there has been no research focused on the product logic semantics in FASP. In this work we investigate the methods used in state-of-the-art classical ASP solvers with the aim of designing a FASP solver for product propositional logic. In particular, we base our approach on the conversion into fuzzy SAT (satisfiability problem) and the fuzzy generalization of the DPLL algorithm. Since both Łu kasiewicz and (extended) Gödel logic can be embedded into product logic, the resulting system should be able to operate on all three logics uniformly. (More)

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 35.172.195.49

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:
Uhliarik, I. (2017). Solving Fuzzy Answer Set Programs in Product Logic.In Proceedings of the 9th International Joint Conference on Computational Intelligence - Volume 1: IJCCI, ISBN 978-989-758-274-5, pages 367-372. DOI: 10.5220/0006518303670372

@conference{ijcci17,
author={Ivor Uhliarik.},
title={Solving Fuzzy Answer Set Programs in Product Logic},
booktitle={Proceedings of the 9th International Joint Conference on Computational Intelligence - Volume 1: IJCCI,},
year={2017},
pages={367-372},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006518303670372},
isbn={978-989-758-274-5},
}

TY - CONF

JO - Proceedings of the 9th International Joint Conference on Computational Intelligence - Volume 1: IJCCI,
TI - Solving Fuzzy Answer Set Programs in Product Logic
SN - 978-989-758-274-5
AU - Uhliarik, I.
PY - 2017
SP - 367
EP - 372
DO - 10.5220/0006518303670372

Login or register to post comments.

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