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 |