Stable Models of Fuzzy Propositional Formulas

Abstract. We introduce the stable model semantics for fuzzy propositional for-mulas, which generalizes both fuzzy propositional logic and the stable model se-mantics of Boolean propositional formulas. Combining the advantages of both for-malisms, the introduced language allows highly configurable default reasoning in-volving fuzzy truth values. We show that several properties of Boolean stable mod-els are naturally extended to this formalism, and discuss how it is related to other approaches to combining fuzzy logic and the stable model semantics.

Modeling multi-valued biological interaction networks using Fuzzy Answer Set Programming

Fuzzy Answer Set Programming (FASP) is an extension of the popular Answer Set Programming (ASP) paradigm that allows for modeling and solving combinatorial search problems in continuous domains. The recent development of practical solvers for FASP has enabled its applicability to real-world problems. In this paper, we investigate the application of FASP in modeling the dynamics of Gene Regulatory Networks (GRNs). A commonly used simplifying assumption to model the dynamics of GRNs is to assume only Boolean levels of activation of each node. Our work extends this Boolean network formalism by allowing multi-valued activation levels. We show how FASP can be used to model the dynamics of such networks. We experimentally assess the efficiency of our method using real biological networks found in the literature, as well as on randomly-generated synthetic networks. The experiments demonstrate the applicability and usefulness of our proposed method to find network attractors

Aggregated fuzzy answer set programming

Fuzzy Answer Set programming (FASP) is an extension of answer set programming (ASP), based on fuzzy logic. It allows to encode continuous optimization problems in the same concise manner as ASP allows to model combinatorial problems. As a result of its inherent continuity, rules in FASP may be satisfied or violated to certain degrees. Rather than insisting that all rules are fully satisfied, we may only require that they are satisfied partially, to the best extent possible. However, most approaches that feature partial rule satisfaction limit themselves to attaching predefined weights to rules, which is not sufficiently flexible for most real-life applications. In this paper, we develop an alternative, based on aggregator functions that specify which (combination of) rules are most important to satisfy. We extend upon previous work by allowing aggregator expressions to define partially ordered preferences, and by the use of a fixpoint semantics

A core language for fuzzy answer set programming

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. In this paperwe investigate the expressivity of these frameworks. Specificallywe showhowa variety of constructs in these languages can be implemented using a considerably simpler core language. These simulations are important as a compact and simple language is easier to implement and to reason about, while an expressive language offers more options when modeling problems

Foundations of fuzzy answer set programming

Answer set programming (ASP) is a declarative language that is tailored towards combinatorial search problems. Although ASP has been applied to many problems, such as planning, configuration and verification of software, and database repair, it is less suitable for describing continuous problems. In this thesis we therefore studied fuzzy answer set programming (FASP). FASP is a language that combines ASP with ideas from fuzzy logic -- a class of many-valued logics that are able to describe continuous problems. We study the following topics: 1. An important issue when modeling continuous optimization problems is how to cope with overconstrained problems. In many cases we can opt to allow imperfect solutions, i.e. solutions that do not satisfy all constraints, but are sufficiently acceptable. However, the question which one of these imperfect solutions is most suitable then arises. Current approaches to fuzzy answer set programming solve this problem by attaching weights to the rules of the program. However, it is often not clear how these weights should be chosen and moreover weights do not allow to order different solutions. We improve upon this technique by using aggregators, which eliminate the aforementioned problems. This allows a richer modeling language and bridges the gap between FASP and other techniques such as valued constraint satisfaction problems. 2. The wishes of users and implementers of a programming language are often in direct conflict with each other. Users prefer a rich language that is easy to model in, whereas implementers prefer a small language that is easy to implement. We reconcile these differences by identifying a core language for FASP, called core FASP (CFASP), that only consists of non-constraint rules with monotonically increasing functions and negators in the body. We show that CFASP is capable of simulating constraint rules, monotonically decreasing functions, aggregators, S-implicators and classical negation. Moreover we remark that the simulations of constraints and classical negation bear a great resemblance to their simulations in classical ASP, which provides further insight into the relationship between ASP and FASP. 3. As a first step towards the creation of an implementation method for FASP we research whether it is possible to translate a FASP program to a fuzzy SAT problem. We introduce the concept of the completion of a FASP program and show that for programs without loops the models of the completion coincide with the answer sets. Furthermore we show that if a program has loops, we can translate the program to a fuzzy SAT problem by generalizing the concept of loop formulas. We illustrate this on a continuous version of the k-center problem. Such a translation is important because it allows us to solve FASP programs by means of solvers for fuzzy SAT. Under the appropriate conditions it is for example possible to solve FASP programs by means of off-the-shelf solvers for mixed integer programming (MIP)