### Browse by

Workshop "Aspects of mechanizing inference: context and problems" 1995, Naples.

### Summary

• #### How to make your logic fuzzy (prelimirnary version) ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
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 ...
• #### Concept representations and nonmonotic inferences ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
• #### Default logic as a formalism for understanding commonsense reasoning ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
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 ...
• #### Contexts, locality and generality ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
It has been recognized that AI programs suffer from a lack of generality, the first gross symptom being that a small variation to the problem being solved usually causes a major revision of the theory describing it. The ...
• #### A metatheoretical characterization of negation as finite failure ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
• #### Information frames, implication systems and modalities ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
We investigate the logical systems which result from introducing the modalities □ and ◊ into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Our results lead to ...
• #### Fuzzy quantum logics ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
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 ...
• #### On the viability of an algebraic approach to non-monotonic reasoning ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
• #### Modus ponens on Boolean algebras revisited ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
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, ...
• #### Local Boolean manifolds from knowledge representation systems ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
We introduce a structure to represent "observations" on entities in order to obtain "knowledge" about some of their characteristic properties or attributes. This structure is based on the Pawlak's definition of "information ...
• #### Qualitative reasoning in Bayesian networks ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
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 ...
• #### (Pure) logic out of probability ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
Today, Logic and Probability are mostly seen as independent fields with a separate history and set of foundations. Against this dominating perception, only a very few people (Laplace, Boole, Peirce) have suspected there ...
• #### Didactical note: probabilistic conditionality in a Boolean algebra ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
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. ...
• #### Coherence principles for handling qualitative and quantitative partial probabilistic assessments ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
In this paper we present an overview of mathematical models for handling partial entailments and their extensions in a probabilistic frame.
• #### Robust inference in probability under vague information ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
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 ...
• #### Subjective conditional probability and coherence principles for handling partial information ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
• #### Generalized version of the compatibility theorem: two examples ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
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 ...
• #### General theory of the fuzzy integral ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
By means of two general operations $\oplus$ and $\otimes$, called pan-operations'', we build a new kind of integral. This formulation contains, as particular cases, both Choquet's and Sugeno's integrals.
• #### Mathematical aspects of the theory of measures of fuzziness ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
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 ...
• #### A pragmatic uncertainty measure based on rate-distorion theory and the uncertainty of BOE's ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
We discuss pragmatic information measures (hypergraph entropy and fractional entropy) inspired by source-coding theory (rate-distortion theory). We re-phrase the problem in the language of evidence theory, by expressing ...
• #### Reasons: belief support and goal dynamics ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
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); ...
• #### Computational logics and the philosophy of language: the problem of lexical meaning in formal semantics ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
This paper deals with the possible contributions that logical researches carried on in the field of artificial intelligence (AI) could give to formal theories of meaning developed by logically oriented philosophers of ...
• #### Neural methodologies in rule-based expert systems ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
• #### Integrating inference and neural classification in a hybrid system for recognition tasks ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
While the coupling of artificial of neural networks (ANN) and symbolic AI (SAI) is a strategy adopted in many hybrid systems, a real integration of the two methodologies has not been thoroughly investigated yet: so far, ...
• #### The role of heuristics in automated theorem proving J.A Robinson's resolution principle ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
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 ...
• #### The process of induction as a non-classical logic's double negation: evidence from classical scientific theories ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access
• #### Editorial [Workshop "Aspects of Mechanizing inference: context and problems", Naples 1995: revised versions papers ] ﻿

(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Open Access