English
Related papers

Related papers: Decision-making and Fuzzy Temporal Logic

200 papers

This paper argues that a combined treatment of probabilities, time and actions is essential for an appropriate logical account of the notion of probability; and, based on this intuition, describes an expressive probabilistic temporal logic…

Logic in Computer Science · Computer Science 2017-10-10 Bruno Woltzenlogel Paleo

In this paper, we introduce a fundamental framework to create a bridge between Probability Theory and Fuzzy Logic. Indeed, our theory formulates a random experiment of selecting crisp elements with the criterion of having a certain fuzzy…

Logic in Computer Science · Computer Science 2022-05-31 Amir Saki , Usef Faghihi

To operate intelligently in the world, an agent must reason about its actions. The consequences of an action are a function of both the state of the world and the action itself. Many aspects of the world are inherently stochastic, so a…

Artificial Intelligence · Computer Science 2013-04-05 Peter Haddawy

There is a consensus that human and non-human subjects experience temporal distortions in many stages of their perceptual and decision-making systems. Similarly, intertemporal choice research has shown that decision-makers undervalue future…

Neurons and Cognition · Quantitative Biology 2016-05-31 Pedro A. Ortega , Naftali Tishby

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

We introduce a new family of temporal logics intended for specifications in motion planning (MP). It builds upon the signal temporal logic (STL), which is a linear-time logic over real-valued signals that possess quantitative semantics and…

Logic in Computer Science · Computer Science 2026-04-29 Kush Grover , Pratham Gupta , Jan Křetínský

In a recent paper [1] we introduced the Fuzzy Bayesian Learning (FBL) paradigm where expert opinions can be encoded in the form of fuzzy rule bases and the hyper-parameters of the fuzzy sets can be learned from data using a Bayesian…

Machine Learning · Statistics 2017-04-07 Indranil Pan , Dirk Bester

The Fuzzy Modeling has been applied in a wide variety of fields such as Engineering and Management Sciences and Social Sciences to solve a number Decision Making Problems which involve impreciseness, uncertainty and vagueness in data. In…

Artificial Intelligence · Computer Science 2013-04-29 Arindam Chaudhuri , Kajal De , Dipak Chatterjee

Intertemporal decision making involves choices among options whose effects occur at different moments. These choices are influenced not only by the effect of rewards value perception at different moments, but also by the time perception…

General Finance · Quantitative Finance 2011-05-19 Natalia Destefano , Alexandre Souto Martinez

This paper proposes a novel fuzzy action selection method to leverage human knowledge in reinforcement learning problems. Based on the estimates of the most current action-state values, the proposed fuzzy nonlinear mapping as-signs each…

Artificial Intelligence · Computer Science 2021-06-15 Mohsen Annabestani , Ali Abedi , Mohammad Reza Nematollahi , Mohammad Bagher Naghibi Sis-tani

The treatment of complex systems often requires the manipulation of vague, imprecise and uncertain information. Indeed, the human being is competent in handling of such systems in a natural way. Instead of thinking in mathematical terms,…

Artificial Intelligence · Computer Science 2013-11-20 Baghdad Atmani , Sofia Benbelkacem , Mohamed Benamina

A semantics is given to possibilistic logic, a logic that handles weighted classical logic formulae, and where weights are interpreted as lower bounds on degrees of certainty or possibility, in the sense of Zadeh's possibility theory. The…

Artificial Intelligence · Computer Science 2013-03-26 Jerome Lang , Didier Dubois , Henri Prade

An important question in economics is how people choose between different payments in the future. The classical normative model predicts that a decision maker discounts a later payment relative to an earlier one by an exponential function…

Theoretical Economics · Economics 2020-01-09 Alexander T. I. Adamou , Yonatan Berman , Diomides P. Mavroyiannis , Ole B. Peters

Temporal logics are extensively used for the specification of on-going behaviours of reactive systems. Two significant developments in this area are the extension of traditional temporal logics with modalities that enable the specification…

Logic in Computer Science · Computer Science 2019-05-29 Patricia Bouyer , Orna Kupferman , Nicolas Markey , Bastien Maubert , Aniello Murano , Giuseppe Perelli

This paper introduces a novel type theory and logic for probabilistic reasoning. Its logic is quantitative, with fuzzy predicates. It includes normalisation and conditioning of states. This conditioning uses a key aspect that distinguishes…

Logic in Computer Science · Computer Science 2025-04-02 Robin Adams , Bart Jacobs

We study the problem of explaining observations about the probabilities of events, such as "it rains $20\%$ of the time", "rain and snow are equally likely", etc. We explain these statements with a probability distribution or a statement…

Logic in Computer Science · Computer Science 2026-04-27 Tommaso Flaminio , Katsumi Inoue , Daniil Kozhemiachenko

How could a product or service is reasonably evaluated by anyone in the shortest time? A million dollar question but it is having a simple answer: Sentiment analysis. Sentiment analysis is consumers review on products and services which…

Information Retrieval · Computer Science 2014-03-14 Md. Ansarul Haque

The future value of a security is described as a random variable. Distribution of this random variable is the formal image of risk uncertainty. On the other side, any present value is defined as a value equivalent to the given future value.…

General Finance · Quantitative Finance 2013-02-05 Krzysztof Piasecki

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

In medicine one frequently deals with vague information. As a tool for reasoning in this area, fuzzy logic suggests itself. In this paper we explore the applicability of the basic ideas of fuzzy set theory in the context of medical…

Logic · Mathematics 2018-08-31 Thomas Vetterlein , Anna Zamansky