Advances in Possibilistic Logic and Related Issues

This page contains the list of abstract/papers to be presented at two special sessions entitled "Advances in Possibilistic Logic and Related Issues", organized by Lluis Godo and Sandra Sandri, in the IFSA/NAFIPS'2001 conference, to take place in Vancouver, July 25-28, 2001. The sessions, named S32 and S32a, will both occur on Friday 27th, in the afternoon (click on "Schedule" on the conference page to access the whole program).

The main goal of the session is to discuss logical approaches to possibilistic uncertainty, which may or may not involve fuzzy unification. We hope the session to be an extremely interesting occasion for an exchange of ideas, to compare approaches, and to discuss open problems and already found solutions.

We intend to edit an special issue of Fuzzy Sets and Systems with extended versions of the session papers. We think this would a good oportunity to provide to the fuzzy sets community with a very interesting up-to-date of the topic with very relevant contributions.

Links to some related work by the session participants are also available below.

. Teresa Alsinet and Lluis Godo

Adding similarity to Possibilistic Logic with Fuzzy Constants

(extended abstract: ps) (paper: pdf, ps)

Related works:

Alsinet, T.; Godo, L.; Sandri, S.A. ``On the semantics and automated deduction

for PLFC, a logic of possibilistic uncertainty and fuzziness''. Proc. UAI'99 (XV Annual

Conf. on Uncertainty in A.I.), pp. 3-12, Stockholm (Su), jul./ago. 1999.

Alsinet, T.; Godo, L. ``A complete calculus for possibilistic logic programming with

fuzzy propositional variables''. Proc. UAI'00 (XVI Annual Conf. on Uncertainty in

Artificial Intelligence), 2000.

. Didier Dubois and Henri Prade (withdrawn)

Possibilistic logic: a retrospective and prospective view

(extended abstract: html)

. Francesca Arcelli and Ferrante Formato

Unification as negotiation: a context-based approach

(extended abstract: doc) (paper: doc)

. Peter Kullmann and Sandra Sandri

Implementation of an Extended Possibilistic Logic in an Annotated Logic

theorem prover

(extended abstract: ps) (paper: ps)

. Jonathan Lee and Kevin F.R. Liu

Modeling uncertain reasoning with Possibilistic Petri Nets

(extended abstract: pdf)

. Trevor Martin

Towards Inductive Support Logic Programming

(extended abstract: pdf) (paper: pdf)

. Churn Jung Liau

A hybrid logic for possibilistic reasoning

(extended abstract: ps) (paper: pdf)

. Claudio Sossai

Algebraic-geometric structures for uncertainty

(extended abstract: ps) (paper: ps, pdf)

. Peter Vojtas, Lluis Godo and Teresa Alsinet

Different models of fuzzy logic programming with fuzzy unification

(towards a revision of fuzzy database model)

(paper: ps.zip)

Last update: June, 18th, 2001

For comments and sugestions, please contact: sandri@lac.inpe.br , godo@iiia.csic.es ,