English
Related papers

Related papers: On revising fuzzy belief bases

200 papers

Autonomous robots must operate in complex and changing environments subject to requirements on their behaviour. Verifying absolute satisfaction (true or false) of these requirements is challenging. Instead, we analyse requirements that…

Software Engineering · Computer Science 2021-04-13 Jeremy Morse , Dejanira Araiza-Illan , Jonathan Lawry , Arthur Richards , Kerstin Eder

Belief change is a fundamental problem in AI: Agents constantly have to update their beliefs to accommodate new observations. In recent years, there has been much work on axiomatic characterizations of belief change. We claim that a better…

Artificial Intelligence · Computer Science 2007-05-23 Nir Friedman , Joseph Y. Halpern

Fuzz testing has enjoyed great success at discovering security critical bugs in real software. Recently, researchers have devoted significant effort to devising new fuzzing techniques, strategies, and algorithms. Such new ideas are…

Cryptography and Security · Computer Science 2018-10-22 George Klees , Andrew Ruef , Benji Cooper , Shiyi Wei , Michael Hicks

Classical logic has a serious limitation in that it cannot cope with the issues of vagueness and uncertainty into which fall most modes of human reasoning. In order to provide a foundation for human knowledge representation and reasoning in…

Artificial Intelligence · Computer Science 2016-08-30 Van Hung Le

The paper starts from the observation on the complexity of the manipulation of fuzzy processes that increases very rapidly with the extents of the processes representation. Therefore, a productive approach is to divide the problem into…

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

Aiming at the group decision - making problem with multi - objective attributes, this study proposes a group decision - making system that integrates fuzzy inference and Bayesian network. A fuzzy rule base is constructed by combining…

Artificial Intelligence · Computer Science 2025-05-01 Shui-jin Rong , Wei Guo , Da-qing Zhang

Merging beliefs requires the plausibility of the sources of the information to be merged. They are typically assumed equally reliable in lack of hints indicating otherwise; yet, a recent line of research spun from the idea of deriving this…

Artificial Intelligence · Computer Science 2021-03-23 Paolo Liberatore

In this article, we combine the concept of a bipolar fuzzy set and a soft set. We introduce the notion of bipolar fuzzy soft set and study fundamental properties. We study basic operations on bipolar fuzzy soft set. We define exdended…

Artificial Intelligence · Computer Science 2014-03-10 Muhammad Aslam , Saleem Abdullah , Kifayat ullah

Belief and plausibility are weaker measures of uncertainty than that of probability. They are motivated by the situations when full probabilistic information is not available. However, information can also be contradictory. Therefore, the…

Artificial Intelligence · Computer Science 2022-05-31 Sabine Frittella , Ondrej Majer , Sajad Nazari

We propose a framework for general Bayesian inference. We argue that a valid update of a prior belief distribution to a posterior can be made for parameters which are connected to observations through a loss function rather than the…

Statistics Theory · Mathematics 2016-02-29 Pier Giovanni Bissiri , Chris Holmes , Stephen Walker

Reasoning, the most important human brain operation, is charactrized by a degree fuzziness. In the present paper we construct a fuzzy model for the reasoning process giving through the calculation of the possibilities of all possible…

Artificial Intelligence · Computer Science 2013-11-22 Michael Gr. Voskoglou , Igor Ya. Subbotin

A construction of a fuzzy logic controller based on an analogy between fuzzy conditional rule of inference and marginal probability in terms of the conditional probability function has been proposed.

Logic in Computer Science · Computer Science 2012-04-13 F. Jurkovic

The current article discusses some applications of fuzzy logic to assessment of learning. We consider here a new trapezoidal fuzzy model for learning assessment.

General Mathematics · Mathematics 2014-07-02 Igor Ya. Subbotin

The paper investigates the properties of a fuzzy logic of typicality. The extension of fuzzy logic with a typicality operator was proposed in recent work to define a fuzzy multipreference semantics for Multilayer Perceptrons, by regarding…

Artificial Intelligence · Computer Science 2021-07-15 Laura Giordano

Fuzzy numbers are commonly represented with fuzzy sets. Their objective is to better represent imprecise data. However, operations on fuzzy numbers are not as straightforward as maths on crisp numbers. Commonly, the Zadeh's extension rule…

Artificial Intelligence · Computer Science 2025-10-27 Krzysztof Siminski

Traditional conformance checking tasks assume that event data provide a faithful and complete representation of the actual process executions. This assumption has been recently questioned: more and more often events are not traced…

Artificial Intelligence · Computer Science 2024-06-19 Ivan Donadello , Paolo Felli , Craig Innes , Fabrizio Maria Maggi , Marco Montali

This paper discusses the merits and demerits of crisp logic and fuzzy logic with respect to their applicability in intelligent response generation by a human being and by a robot. Intelligent systems must have the capability of taking…

Artificial Intelligence · Computer Science 2012-09-21 T. V. Prasad , Sachin Lakra , G. Ramakrishna

Dealing with uncertain, contradicting, and ambiguous information is still a central issue in Artificial Intelligence (AI). As a result, many formalisms have been proposed or adapted so as to consider non-monotonicity, with only a limited…

Artificial Intelligence · Computer Science 2023-11-15 Lucas Rizzo , Luca Longo

This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and…

Logic · Mathematics 2021-03-15 Marcelo Coniglio , Francesc Esteva , Lluís Godo