Drew, Dave, Larissa and I had the chance to discuss the motivatons and foundations for instigating the new investigation topic of Experiential AI inside a 90 minute converse.
Very last 7 days, I gave a chat with the pint of science on automatic devices as well as their effects, touching on the topics of fairness and blameworthiness.
The paper tackles unsupervised plan induction around combined discrete-continuous info, and is recognized at ILP.
He has built a job out of undertaking investigation about the science and technologies of AI. He has released near to a hundred and twenty peer-reviewed content articles, gained most effective paper awards, and consulted with banking institutions on explainability. As PI and CoI, he has secured a grant earnings of near eight million pounds.
Gave a chat this Monday in Edinburgh about the ideas & apply of machine Studying, masking motivations & insights from our study paper. Essential queries raised integrated, how to: extract intelligible explanations + modify the product to suit modifying requirements.
I gave a talk on our recent NeurIPS paper in Glasgow though also covering other methods within the intersection of logic, Mastering and tractability. Because of Oana for the invitation.
Now we have a brand new paper acknowledged on Mastering exceptional linear programming objectives. We get an “implicit“ hypothesis development solution that yields nice theoretical bounds. Congrats to Gini and Alex on obtaining this paper acknowledged. Preprint below.
The short article introduces a standard logical framework for reasoning about discrete and continuous probabilistic products in dynamical domains.
A recent collaboration While using the NatWest Group on explainable equipment Mastering is mentioned during the Scotsman. Backlink to write-up in this article. A preprint on the final results will probably be built offered Soon.
Together with colleagues from Edinburgh and Herriot Watt, We've got place out the demand a different research agenda.
Paulius' work on algorithmic strategies for randomly generating logic https://vaishakbelle.com/ programs and probabilistic logic programs has been recognized into the concepts and practise of constraint programming (CP2020).
Our MLJ (2017) report on preparing with hybrid MDPs was approved for presentation at the journal monitor.
The 1st introduces a primary-order language for reasoning about probabilities in dynamical domains, and the next considers the automated fixing of chance problems specified in normal language.
Our get the job done (with Giannis) surveying and distilling techniques to explainability in device Understanding is acknowledged. Preprint here, but the ultimate Model is going to be online and open up entry quickly.