I gave a talk for the workshop on how the synthesis of logic and equipment Finding out, Primarily areas like statistical relational Understanding, can allow interpretability.
Weighted product counting normally assumes that weights are only specified on literals, normally necessitating the need to introduce auxillary variables. We contemplate a fresh method according to psuedo-Boolean functions, bringing about a more general definition. Empirically, we also get SOTA results.
The Lab carries out investigate in artificial intelligence, by unifying Studying and logic, which has a modern emphasis on explainability
The paper discusses the epistemic formalisation of generalised setting up inside the existence of noisy acting and sensing.
We think about the query of how generalized ideas (plans with loops) is usually considered appropriate in unbounded and steady domains.
A consortia challenge on reputable devices and goverance was accepted late previous calendar year. News url in this article.
Keen on education neural networks with rational constraints? We have a completely new paper that aims toward full gratification of Boolean and linear arithmetic constraints on teaching at AAAI-2022. Congrats to Nick and Rafael!
The posting introduces a standard logical framework for reasoning about discrete and continual probabilistic types in dynamical domains.
A latest collaboration with the NatWest Group on explainable equipment Understanding is talked over inside the Scotsman. Connection to write-up below. A preprint on the outcomes might be produced offered Soon.
, to allow methods to find out faster and more exact styles of the globe. We are interested in developing computational frameworks that are able to demonstrate their selections, modular, re-usable
He has served to the senior software committee/region chair of important AI conferences, co-chaired the ML observe at KR, among Some others, and as PI https://vaishakbelle.com/ and CoI secured a grant cash flow of close to 8 million lbs ..
Our MLJ (2017) post on arranging with hybrid MDPs was recognized for presentation in the journal observe.
In case you are attending AAAI this yr, you could be interested in checking out our papers that contact on fairness, abstraction and generalized sum-products complications.
I gave a talk about the dangers of synthetic intelligence and analysis priorities at the Global Development Culture.