Abstract
This thesis describes results that can be used to improve constraint logic programming (CLP) by increasing its expressivity and efficiency. This is done by introducing
# approximate answers and
# approximate quantifiers
into constraint logic programming and providing a computer implementation of a CLP system using these inprovements.
For reaching this goal, work has been done in the following main areas, corresponding to the three parts of the term "constraint logic programming":
Logic:
An extension of the first-order predicate language, defining the notions of "approximate solution set" and "approximate quantifier" has been introduced.
Programming (Language Design and Implementation):
The syntax and semantics of a new constraint logic programming language allowing first-order constraints with approximate quantifiers and approximate answers has been defined and implemented.
Constraint (Solving):
A new algorithm for approximately solving first-order constraints with approximate quantifiers has been devised. The algorithm has been implemented over the domain of the real numbers.
| Original language | English |
|---|---|
| Publication status | Published - 1998 |
Fields of science
- 101004 Biomathematics
- 101027 Dynamical systems
- 101028 Mathematical modelling
- 101029 Mathematical statistics
- 101014 Numerical mathematics
- 101015 Operations research
- 101016 Optimisation
- 101017 Game theory
- 101018 Statistics
- 101019 Stochastics
- 101024 Probability theory
- 101026 Time series analysis
- 102 Computer Sciences
- 102001 Artificial intelligence
- 102003 Image processing
- 102004 Bioinformatics
- 102013 Human-computer interaction
- 102018 Artificial neural networks
- 102019 Machine learning
- 103029 Statistical physics
- 106005 Bioinformatics
- 106007 Biostatistics
- 202017 Embedded systems
- 202035 Robotics
- 202036 Sensor systems
- 202037 Signal processing
- 305901 Computer-aided diagnosis and therapy
- 305905 Medical informatics
- 305907 Medical statistics
- 102032 Computational intelligence
- 102033 Data mining
- 101031 Approximation theory