The aim of this paper is to provide a methodology for turning a known crisp logic into a fuzzy system. We require of the methodology that it be meaningful in general terms, using processes which are independent of the ...

Commonsense reasoning is the reasoning of agents interacting with the real world. Non monotonic reasoning is a well developed research area gathering the logical formalisms that treat commonsense reasoning. One of the best ...

Lukasiewicz quantum logic (LQL) is a particular example of a fuzzy quantum logic. LQL is semantically characterized by the class of all quantum MV algebras. The standard quantum MV algebra is based on the set of all effects ...

In a Boolean Algebra B, an inequality f(x,x -> y))<=y satisfying the condition f(1,1)=1, is considered for defining operations a->b among the elements of B. These operations are called ``Conditionals'' for f. In this paper, ...

Some probabilistic inference rules which can be compared with the inference rules of preferential logic are given and it will be shown how they work in graphical models, allowing qualitative plausible reasoning in Bayesian ...

This note deals with two logical topics and concerns Boolean Algebras from an elementary point of view. First we consider the class of operations on a Boolean Algebra that can be used for modelling ``If-then" propositions. ...

Vague information can be represented as comparison of previsions or comparison of probabilities, and a robust analysis can be done, in order to make inference about some quantity of interest and to measure the imprecision ...

In a previous work ([3]) we proved that the Nguyen's condition for $[f(\w A)]_\alpha$ to be equal to $~f(A_\alpha)~$ also holds for the most general class of the $L$-fuzzy subsets, where $~L~$ is an arbitrary lattice. Here ...

After recalling the axiomatic concept of fuzziness measure, we define some fuzziness measures through Sugeno’s and Choquet’s integral. In particular, for the so-called “homogeneous” fuzziness measures we prove two ...

The paper is devoted to the structural relations between beliefs and goals. I discuss its importance in modeling cognitive agents; its origin in cognitive processing; its structure (belief structure relative to a goal); ...

The aim of this paper is to show how J.A. Robinson's resolution principle was perceived and discussed in the AI community between the mid sixties and the first seventies. During this time the so called ``heuristic search ...