Filters








7,683 Hits in 4.4 sec

Logical Fuzzy Optimization [article]

Emad Saad
2013 arXiv   pre-print
We present a logical framework to represent and reason about fuzzy optimization problems based on fuzzy answer set optimization programming.  ...  We show the application of the proposed logical fuzzy optimization framework under the fuzzy answer set optimization programming to the fuzzy water allocation optimization problem.  ...  fuzzy answer set with fuzzy aggregates programs [Saad, 2013a] .  ... 
arXiv:1304.2384v1 fatcat:36wwu35dvjenznjke3wm6zyxeu

Logical Fuzzy Preferences [article]

Emad Saad
2013 arXiv   pre-print
We show the application of fuzzy answer set optimization programs to the course scheduling with fuzzy preferences problem.  ...  We present a unified logical framework for representing and reasoning about both quantitative and qualitative preferences in fuzzy answer set programming, called fuzzy answer set optimization programs.  ...  Thus, this course scheduling with fuzzy preferences problem instance can be encoded as a fuzzy answer set program (a disjunctive fuzzy logic program with fuzzy answer set semantics) of the form teaches  ... 
arXiv:1304.2797v1 fatcat:zifpamspnzex7lqigqrq3fuy6e

An introduction to fuzzy answer set programming

Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir
2007 Annals of Mathematics and Artificial Intelligence  
In this paper we show how the concepts of answer set programming and fuzzy logic can be successfully combined into the single framework of fuzzy answer set programming (FASP).  ...  Finally, the presented framework turns out to be a proper extension of classical answer set programming, as we show, in contrast to other proposals in the literature, that there are only minor restrictions  ...  Fuzzy Answer Set Programming with Fuzzy Input In this section, we show how the fuzzy answer set semantics can be used in cases where we want to combine a fuzzy program with a fuzzy input set of literals  ... 
doi:10.1007/s10472-007-9080-3 fatcat:dwkwadkwefggznuvowf65paukq

A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge [article]

Carlos Chesnevar, Guillermo Simari, Teresa Alsinet, Lluis Godo
2012 arXiv   pre-print
This paper introduces P-DeLP, a new logic programming language that extends original DeLP capabilities for qualitative reasoning by incorporating the treatment of possibilistic uncertainty and fuzzy knowledge  ...  Defeasible Logic Programming (DeLP) is a defeasible argumentation formalism based on an extension of logic programming.  ...  Acknowledgements This research was partially supported by CYCYT Projects LOGFAC (TIC2001-1577-C03-01/03) and SOFTSAT (TIC2003-00950), by Ramón y Cajal Program (Ministerio de Ciencia y Tecnología, Spain  ... 
arXiv:1207.4123v1 fatcat:mzg24mghybgxnjg43owgvec7ri

ANSWER SET PROGRAMMING AND COMBINATORIAL MULTICRITERIA DECISION MAKING

RAFAL GRABOŚ
2006 International Journal of Uncertainty Fuzziness and Knowledge-Based Systems  
In this paper Logic Programming with Ordered Disjunction (LPOD), an extension of answer set programming for handling preferences, is used for representing and solving combinatorial vote problems.  ...  Various vote rules, used as procedures for determining optimal candidate for a group of voters, are defined by means of preference relations between answer sets of a program, representing a vote problem  ...  Logic programming with ordered disjunction has been invented by Brewka [2] as an extension of answer set programming [11] to represent priority among literals and rules in a program.  ... 
doi:10.1142/s0218488506004096 fatcat:vel32z6hqneg3nni3jfu6gcu5a

Prolog-ELF incorporating fuzzy logic

Mitsuru Ishizuka, Naoki Kanai
1985 New generation computing  
In addition to assersions with a truth-value between 1.0 and 0.5 (0 for an exceptional case), fuzzy sets can be manipulated very easily to a certain extent.  ...  Prolog-BLF incorporating fuzzy logic and some useful functions into Prolog has been implemented as a basic language for building knowlegde systems with uncertainty or fuzziness.  ...  ACKMOWLEDGMEI TT: The Prolog-ELF has been implemented with reference to the program of Dr. H.Nakashima at Electrotechmcal Lab., who is the author of Prolog/KR. The authors are grateful to him.  ... 
doi:10.1007/bf03037082 fatcat:ltyfbiaw2fbtjdpet5ow452dda

Defeasible logic programming: DeLP-servers, contextual queries, and explanations for answers

Alejandro J. García, Guillermo R. Simari
2014 Argument & Computation  
Merging ideas from both areas, Defeasible Logic Programming offers a computational reasoning system that uses an argumentation engine to obtain answers from a knowledge base represented using a logic programming  ...  Logic Programming is a computational paradigm that has produced computationally attractive systems with remarkable success in many applications.  ...  We will use the term knowledge base and defeasible logic program interchangeably when no confusion may arise.  ... 
doi:10.1080/19462166.2013.869767 fatcat:huxb2l4oxfbd5j47h3hylro5vi

A core language for fuzzy answer set programming

Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
2012 International Journal of Approximate Reasoning  
A number of different Fuzzy Answer Set Programming (FASP) formalisms have been proposed in the last years, which all differ in the language extensions they support.  ...  Aggregated fuzzy answer set programming In [63] , an aggregated fuzzy answer set programming framework is introduced.  ...  Program C has fuzzy answer sets, however, meaning that its useful capacity to eliminate undesired answer sets has not directly been preserved in the fuzzy setting.  ... 
doi:10.1016/j.ijar.2012.01.005 fatcat:nkbz3vzmcfdehcguwfjidpnewm

Splitting Computation of Answer Set Program and Its Application on E-service

Bo Yang, Ying Zhang, Mingyi Zhang, Maonian Wu
2011 International Journal of Computational Intelligence Systems  
In this paper, we show some results on characterization of answer sets of a logic program with constraints, and propose a way to split a program into several non-intersecting parts step by step, thus the  ...  It's not an easy task to compute answer sets of a logic program using Gelfond and Lifschitz's definition directly.  ...  In Sec.4, we will see that splitting a program is very helpful for simplifying the computation of answer set. Example 3 shows a program with Lit as its answer set.  ... 
doi:10.1080/18756891.2011.9727846 fatcat:g3nttaorkvhajilwxqm65r4ls4

A Unified Framework for Nonmonotonic Reasoning with Vagueness and Uncertainty [article]

Sandip Paul, Kumar Sankar Ray, Diganta Saha
2020 arXiv   pre-print
An interval-valued fuzzy answer set programming paradigm is proposed for nonmonotonic reasoning with vague and uncertain information. The set of sub-intervals of [0,1] is considered as truth-space.  ...  The system can represent and reason with prioritized rules, rules with exceptions. An iterative method for answer set computation is proposed.  ...  But none of these approaches address answer set programming. A possibilistic fuzzy answer set programming framework (PFASP), was proposed [12] by merging possibilistic ASP with FASP.  ... 
arXiv:1910.06902v4 fatcat:gn42gky7dbdntkafvkk24bkvry

Aggregated Fuzzy Answer Set Programming [chapter]

Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine de Cock
2012 Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach  
Fuzzy Answer Set programming (FASP) is an extension of answer set programming (ASP), based on fuzzy logic.  ...  We extend upon previous work by allowing aggregator expressions to define partially ordered preferences, and by the use of a fixpoint semantics.  ...  Fuzzy Answer Set Programming In [80] , Fuzzy Answer Set Programming is introduced.  ... 
doi:10.2991/978-94-91216-59-6_4 fatcat:tnyf2a3m3nci5g66lwibxyq4xu

Aggregated Fuzzy Answer Set Programming

Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
2011 Annals of Mathematics and Artificial Intelligence  
Fuzzy Answer Set programming (FASP) is an extension of answer set programming (ASP), based on fuzzy logic.  ...  We extend upon previous work by allowing aggregator expressions to define partially ordered preferences, and by the use of a fixpoint semantics.  ...  Fuzzy Answer Set Programming In [80] , Fuzzy Answer Set Programming is introduced.  ... 
doi:10.1007/s10472-011-9256-8 fatcat:rozcvqhv75bu5btlvabgdgpcoq

Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs [chapter]

Umberto Straccia
2008 Lecture Notes in Computer Science  
Such logic programs are called positive as no literal occurs. In case a literal occurs in the body, then we speak about normal logic programs.  ...  to deal with fuzzy sets in the language.  ...  The author apologizes both to the authors and with the readers for all the relevant works, which are not cited here.  ... 
doi:10.1007/978-3-540-85658-0_2 fatcat:6ijgfocetbfixonkur2lrnabjy

Using Fuzzy Logic in Business

Václav Bezděk
2014 Procedia - Social and Behavioral Sciences  
This paper seeks to show the benefits of using fuzzy logic in trading.  ...  The benefits of such a system are then confronted with the opinions of sales-people themselves.  ...  IGA/FaME/2013/022 (Application Principles of Fuzzy Logic in Business ) for financial support to carry out this research"  ... 
doi:10.1016/j.sbspro.2014.02.498 fatcat:efudvewtgnf2zkzs2wdolmocqa

Characterizing and extending answer set semantics using possibility theory

KIM BAUTERS, STEVEN SCHOCKAERT, MARTINE DE COCK, DIRK VERMEIR
2014 Theory and Practice of Logic Programming  
Special models of these constraints are then identified as possibilistic answer sets.  ...  In particular, while the complexity of most reasoning tasks coincides with standard disjunctive ASP, we find that brave reasoning for programs with weak disjunctions is easier.  ...  Rather than working with literals, fuzzy if-then rules consider fuzzy predicates which each have their own universe of discourse.  ... 
doi:10.1017/s147106841300063x fatcat:qi6sp2bwgveqzopi7ovxzagr7q
« Previous Showing results 1 — 15 out of 7,683 results