English
Related papers

Related papers: On the complexity of some fuzzy integer programs

200 papers

In the last years, the adoption of active systems has increased in many fields of computer science, such as databases, sensor networks, and software engineering. These systems are able to automatically react to events, by collecting…

Logic in Computer Science · Computer Science 2012-03-29 Achille Frigeri , Liliana Pasquale , Paola Spoletini

This paper presents a method to measure the similarity between different fuzzy concepts in order to optimize Semantic networks. The problem approached is the minimization of the time of research and identification of user's Objects and…

Information Retrieval · Computer Science 2012-06-11 Mohamed nazih Omri , Noureddine Chouigui

Today manufacturers are using fuzzy logic in everything from cameras to industrial process control. Fuzzy logic controllers are easier to design and so are cheaper to produce. Fuzzy logic captures the impreciseness inherent in most input…

Other Computer Science · Computer Science 2010-05-17 S. Sanyal , S. Iyengar , A. A. Roy , N. N. Karnik , N. M. Mengale , S. B. Menon , Wu Geng Feng

In this article, we introduce a differentiability concept for fuzzy functions $\tilde{f}: F(\mathbb{R}) \to F(\mathbb{R})$, where $F(\mathbb{R})$ is the set of all fuzzy numbers. With the help of the proposed differentiability notion, we…

Optimization and Control · Mathematics 2019-10-08 U. M. Pirzada , Debdas Ghosh

In this paper, we extend the Maximum Satisfiability (MaxSAT) problem to {\L}ukasiewicz logic. The MaxSAT problem for a set of formulae {\Phi} is the problem of finding an assignment to the variables in {\Phi} that satisfies the maximum…

Logic in Computer Science · Computer Science 2018-06-12 Mohamed El Halaby , Areeg Abdalla

In this paper the author presents a kind of Soft Computing Technique, mainly an application of fuzzy set theory of Prof. Zadeh [16], on a problem of Medical Experts Systems. The choosen problem is on design of a physician's decision model…

Artificial Intelligence · Computer Science 2010-05-24 Siddharths Sankar Biswas

We provide a rigorous framework for handling uncertainty in quantitative fault tree analysis based on fuzzy theory. We show that any algorithm for fault tree unreliability analysis can be adapted to this framework in a fully general and…

General Mathematics · Mathematics 2026-01-29 Thi Kim Nhung Dang , Benedikt Peterseim , Milan Lopuhaä-Zwakenberg , Mariëlle Stoelinga

The optimization on the structure of process of information management under uncertain environment has attracted lots of attention from researchers around the world. Nevertheless, how to obtain accurate and rational evaluation from…

Artificial Intelligence · Computer Science 2024-12-30 Yuanpeng He

Important advances have been made in the fuzzy quantification field. Nevertheless, some problems remain when we face the decision of selecting the most convenient model for a specific application. In the literature, several desirable…

Artificial Intelligence · Computer Science 2019-02-19 F. Diaz-Hermida , M. Pereira-Fariña , Juan C. Vidal , A. Ramos-Soto

Optimal uncertainty quantification (OUQ) is a framework for numerical extreme-case analysis of stochastic systems with imperfect knowledge of the underlying probability distribution. This paper presents sufficient conditions under which an…

Optimization and Control · Mathematics 2015-04-29 Shuo Han , Molei Tao , Ufuk Topcu , Houman Owhadi , Richard M. Murray

Nowadays, manufacturing industries -- driven by fierce competition and rising customer requirements -- are forced to produce a broader range of individual products of rising quality at the same (or preferably lower) cost. Meeting these…

Other Computer Science · Computer Science 2007-05-23 Wolfgang Anthony Eiden

Absolute value linear programming problems is quite a new area of optimization problems, involving linear functions and absolute values in the description of the model. In this paper, we consider interval uncertainty of the input…

Optimization and Control · Mathematics 2025-10-07 Milan Hladík

In this paper, a non-probabilistic method based on fuzzy logic is used to update finite element models (FEMs). Model updating techniques use the measured data to improve the accuracy of numerical models of structures. However, the measured…

Artificial Intelligence · Computer Science 2017-01-05 I. Boulkaibet , T. Marwala , M. I. Friswell , H. Haddad Khodaparast , S. Adhikari

Understanding how the optimal value of an optimisation problem changes when its input data is modified is an old question in mathematical optimisation. This paper investigates the computation of the optimal values of a family of (possibly…

Optimization and Control · Mathematics 2026-03-02 Guillaume Derval , Damien Ernst , Quentin Louveaux , Bardhyl Miftari

This paper introduces the notion of fuzzy process as a formalism for the idea of fuzzy contact between a device and its environment. The notions of absolute correctness and relative correctness are defined. In order to work with concurrency…

Logic in Computer Science · Computer Science 2009-06-01 Lucian Luca , Lucian L. Luca

Fuzzing is the process of finding security vulnerabilities in input-processing code by repeatedly testing the code with modified inputs. In this paper, we formalize fuzzing as a reinforcement learning problem using the concept of Markov…

Artificial Intelligence · Computer Science 2018-01-16 Konstantin Böttinger , Patrice Godefroid , Rishabh Singh

Demand for high software reliability requires rigorous testing followed by requirement of robust modeling techniques for software quality prediction. On one side, firms have to steadily manage the reliability by testing it vigorously, the…

Artificial Intelligence · Computer Science 2015-09-30 Arvind Kumar , Adarsh Anand , Pankaj Kumar Garg , Mohini Agarwal

Maximizing the precision in estimating parameters in a quantum system subject to instrumentation constraints is cast as a convex optimization problem. We account for prior knowledge about the parameter range by developing a worst-case and…

Quantum Physics · Physics 2008-04-01 Robert L. Kosut

This paper introduces SATFuL, a SAT solver for fuzzy logics. In contrast to the Boolean case, for which numerous SAT solvers exist, the SAT problem for fuzzy logics has attracted less attention, even though these tools have interesting…

Logic in Computer Science · Computer Science 2026-04-20 Pablo F. Castro

Lukasiewicz logic is a "fuzzy" logic in which truth value can be real numbers in the unit interval. There are connectives for min, max, addition and complement (1-x). The "value" of a closed formula in a fuzzy (relational model) is defined…

Logic · Mathematics 2016-09-07 Martin Goldstern