Logic Programming and Soft Computing


T. P. Martin and F. Arcelli Fontana (eds.)

Contents

Contributing Authors (ix)

Introduction

1. Logic Programming and Soft Computing - an Introduction

T. P. Martin and F. Arcelli Fontana 1

2. Logic Programming with Uncertainty and Computing with Words

J. F. Baldwin 19

Fuzzy Unification and Quantification

3. Fuzzy Unification as a Foundation of Fuzzy Logic Programming

F. Arcelli Fontana, F. Formato, and G. Gerla 51

4. Possibilistic Logic with Fuzzy Constants and Fuzzily Restricted Quantifiers

D. Dubois, H. Prade, and S. A. Sandri 69

5. Linguistic Logic Programming

H. E. Virtanen 91

Negation and Updating

6. Negation in Fuzzy and Possibilistic Logic Programs

G. Wagner 113

7. Maintaining Well-Founded Views in Constraint Databases

J. Lu, B. Ludäscher, J. Schü, and V. S. Subrahmanian 129

Alternative Inference Methods

8. Fuzzy Prolog based on Lukasiewicz implication

H. Yasui and M. Mukaidono 147

9. A Soft Inference Mechanism based on Cloud Models

D. Li, X. Shi, P. Ward, and M. M. Gupta 163

Implementation Issues

10. The Management of Uncertainty in Logic Programs using Fril

J. F. Baldwin and T. P. Martin 191

11. Prolog, Uncertainty Handling and Parallel Evaluation

K. Molnár 215

12. Fril++ - Object-based extensions to Fril

J. F. Baldwin, T. P. Martin and M. Vargas-Vera 223

Applications

13. Software Cost Estimation - an Application of Logic Programming under Uncertainty

K. H. L. Ho 241

14. Learning with Fuzzy Definitions of Goals

T. Cazenave 267

 

Index 285

F. Arcelli Fontana

DIIIE University of Salerno

84084 Fisciano (SA)

ITALY

arcelli@ponza.dia.unisa.it

J. F. Baldwin

Dept of Engineering Mathematics

University of Bristol

Bristol, BS8 1TR

UK

Jim.Baldwin@bristol.ac.uk

T. Cazenave

LIP6

Université Pierre et Marie Curie

4 Place Jussieu

75252 Paris

France

Tristan.Cazenave@laforia.ibp.fr

D. Dubois

IRIT

Université Paul Sabatier - CNRS

118 route de Narbonne

31062 Toulouse Cedex 4

France

dubois@irit.fr

F. Formato

DIIIE University of Salerno

84084 Fisciano (SA)

ITALY

formato@ponza.dia.unisa.it

 

G. Gerla

DIIIE University of Salerno

84084 Fisciano (SA)

ITALY

gerla@ponza.dia.unisa.it

M. M. Gupta

College of Engineering

University of Saskatchewan

Saskatoon, Saskatchewan

Canada S7N 0W0

guptm@sask.usask.ca

K. H. L. Ho

Bio-mimetic Control Research Centre

Riken (Inst. Phys and Chem Research)

Nagoya

463 JAPAN

ho@nagoya.riken.go.jp

 

D. Li

School of Computing Sciences

Simon Fraser University

Burnaby,

British Columbia

Canada, V5A 1S6

dli@cs.sfu.ca

J. Lu

Computer Science Dept

Bucknell University

Lewisburg

PA 17837 USA

jameslu@bucknell.edu

 

B. Ludäscher

Universtät Freiburg

AM Flughafen 17

D-79110 Freiburg

Germany

ludaesch@informatik.uni-freiburg.de

 

T. P. Martin

Dept of Engineering Mathematics

University of Bristol

Bristol, BS8 1TR

UK

trevor.martin@bristol.ac.uk

 

K. Molnar

IQSOFT Intelligent Software Ltd.

Teleki Blankau 15-17

H-1142 Budapest

Hungary

molnark@msmail.iqsoft.hu

M. Mukaidono

Dept. of Computer Science

Meiji University

1-1-1 Higashi-mita

Kawasaki-shi 214

Japan

masao@cs.meiji.ac.jp

H. Prade

IRIT

Université Paul Sabatier - CNRS

118 route de Narbonne

31062 Toulouse Cedex 4

France

prade@irit.fr

A. L. Ralescu

Dept of Electrical and Computer Engineering and Computer Science

University of Cinncinnati

Cincinnati

Ohio 45221-0008 USA

anca.ralescu@uc.edu

S. A. Sandri

INPE

1758 Av. dos Astronautas

C.P. 515

12225 São José dos Campos SP

Brazil

sandri@lac.inpe.br

J. Schü

Institut für Algorithmen und Kognitive Systeme

Universtät Karlsruhe

Germany

schue@ira.uka.de

X. Shi

Dept of Computing

Hong Kong Polytechnic University

Kowloon

Hong Kong

csxshi@comp.polyu.edu.hk

 

V. S. Subrahmanian

Department of Computer Science

University of Maryland at College Park

A.V. Williams Building

College Park

MD 20742 USA

vs@cs.umd.edu

M.Vargas-Vera

Dept of Engineering Mathematics

University of Bristol

Bristol, BS8 1TR

UK

maria.vargas-vera@bristol.ac.uk

 

H. E.Virtanen

Department of Computer Science

Åbo Akademi University

FIN-20520

Åbo

Finland

Harry.Virtanen@abo.fi

G. Wagner

Inst. Informatik

Univ. Leipzig

Augustusplatz 10-11

04109 Leipzig

Germany

gw@inf.fu-berlin.de

 

P. Ward

School of Computing Sciences

Simon Fraser University

Burnaby

British Columbia

Canada V5A 1S6

paulward@cs.sfu.ca

H. Yasui

Information Processing Center

Musashi Institute of Technology

Japan

yasui@ipc.musashi-tech.ac.jp

 


This page was last modified on Thursday, June 25 1998
University of Bristol, Faculty of Engineering, (c) 1998