Anglican is a probabilistic programming language, or better yet, a concept, living in symbiosis with Clojure. Anglican stands for Church of England (because we are here in Oxford). To create your Turing-complete probabilistic models, clone anglican-user and hack away. Or, look at cool examples.
May 6, 2015
Found my own slides from a talk I gave a year ago, about rational meta-reasoning. Do they seem interesting to me because I have degraded during this year?
December 10, 2014
November 19, 2014
We introduce a new algorithm for multi-agent path finding, derived from the idea of meta-agent conflict-based search (MA-CBS). MA-CBS is a recently proposed algorithm for the multi-agent path finding problem. The algorithm is an extension of Conflict-Based Search (CBS), which automatically merges conflicting agents into meta-agents if the number of conflicts exceeds a certain threshold. However, the decision to merge agents is made according to an empirically chosen fixed threshold on the number of conflicts. The best threshold depends both on the domain and on the number of agents, and the nature of the dependence is not clearly understood.
We suggest a justification for the use of a fixed threshold on the number of conflicts based on the analysis of a model problem. Following the suggested justification, we introduce a new algorithm, which differs in the ways when and how meta-agents are created and handled during search. The new algorithm exhibits considerably better performance compared to the original algorithm. The new algorithm is evaluated on several sets of problems, chosen to highlight different aspects of the algorithm.
This is a short version of Justifying and Improving MA-CBS.
October 2, 2014
October 8, 2013
My dissertation “Rational Metareasoning in Problem-Solving Search”.
August 22, 2012
July 24, 2012
May 30, 2011
I am having the pleasure of preparing a poster for IJCAI 2011, for the first time in my life. Both the IJCAI and a poster. Fiddling with PowerPoint or Illustrator is painful. Beautiful slides can be prepared with S5 using HTML and CSS; a poster in HTML and CSS is also worth a try.
I am less fearful of preparing conference posters now.
April 5, 2011
Modern scientific digital typography got stuck in a local maximum. LATEX — an archaic idiosyncratical tool — does everything wrong, even hyphenation and paragraph formatting. But this wrongdoing is so polished that cannot be improved. There will be no better LATEX until the ugly fashion for frozen fossils of scientific mind will pass away, and there will be no LATEX at all.