University of Birmingham > Talks@bham > Artificial Intelligence and Natural Computation seminars > Parameter tuning via abduction

## Parameter tuning via abductionAdd to your list(s) Download to your calendar using vCal - Dr Dan Ghica (School of Computer Science, University of Birmingham)
- Monday 12 June 2017, 11:00-12:00
- Computer Science, The Sloman Lounge (UG).
If you have a question about this talk, please contact Hector Basevi. In machine learning, and more generally in optimisation, the programmer needs to construct a model with a given mathematical or algorithmic structure but parameterised by constants which don’t have definitive known values. For example a linear regression has the form y=ax+b, but a and b are not initially known. Learning or optimisation techniques are used to find or improve these parameters. Note that the learning or optimisation algorithms themselves are parameterised by best-guess constants such as learning rate, mutation rate etc, which can be subjected to optimisation. In this talk I will present joint work with my students Koko Muroya and Steven Cheung regarding a logical analysis of parameters (provisional constants) via abductive reasoning. Using the well established correspondence between logic and functional programming we developed a new programming language which handle such parameters in an ergonomic way, resulting in a language with good formal properties. This is preliminary work. My aim is to collect views, suggestions and criticism from the AI group which will help us more realistically address real needs of ML and optimisation programming. This talk is part of the Artificial Intelligence and Natural Computation seminars series. ## This talk is included in these lists:- Artificial Intelligence and Natural Computation seminars
- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Computer Science, The Sloman Lounge (UG)
- computer sience
Note that ex-directory lists are not shown. |
## Other listsMathematics Colloquium Centre for Computational Biology Seminar Series Chemical Engineering Research Seminar Series## Other talksUltrafast, all-optical, and highly efficient imaging of molecular chirality Sylow branching coefficients for symmetric groups TBC Provably Convergent Plug-and-Play Quasi-Newton Methods for Imaging Inverse Problems Modelling uncertainty in image analysis. TBC |