The "encoding of soft probabilistic constraints as hard constraints for symbolic search" may be more novel, but the brevity of sec 2.2 makes it hard to understand this in detail. Significance: This paper is tackling a hard and interesting problem, that of the unsupervised learning of programs; this generalizes unsupervised learning applied to vector data to other kinds of data (e.g.

Welcome to our July 2022 monthly digest, where you can catch up with any AIhub stories you may have missed, get the low-down on recent events, and much more. This month, we report on IJCAI-ECAI, ICML and RoboCup, listen to the first episode of the GRACE podcast, and find out who won the AI Song Contest. Back as an in-person event for the first time since 2019, Bangkok played host to RoboCup2022, where around 1500 participants, from 39 different countries took part in competitions and a symposium. You can see the programme of events here, and there are links to the recordings of the competitions for some of the leagues here. If you are interested in reading our interviews from last year with members of the different leagues, these can be found here.

To the right, search space, where all states with the same initial-state distance (g) and estimated goal distance (h) are represented by a single binary decision diagram (to the left), and only those whose g h solution cost need to be considered. Daniel Fišer, Álvaro Torralba and Joerg Hoffmann won an outstanding paper runners-up award at AAAI 2022 for their paper Operator-potential heuristics for symbolic search. Here, Álvaro tells us more about the field of optical planning, their methodology, and how potential heuristics can be used in symbolic search with very positive results. At a very general level, the research is on automated planning. This is a sub-area of AI where we try to answer the question: what is the best way to act given our knowledge of the world?

Star-Topology Decoupled Search has recently been introduced in classical planning. It splits the planning task into a set of components whose dependencies take a star structure, where one center component interacts with possibly many leaf components. Here we address a weakness of decoupled search, namely large leaf components, whose state space is enumerated explicitly. We propose a symbolic representation of the leaf state spaces via decision diagrams, which can be dramatically smaller, and also more runtime efficient. We further introduce a symbolic version of the LM-cut heuristic, that nicely connects to our new leaf representation. We show empirically that the symbolic representation indeed pays off when the leaf components are large.

Symbolic search using BDDs usually saves huge amounts of memory, while in some domains its savings are moderate at best. It is an open problem to determine if BDDs work well for a certain domain. Motivated by finding evidences for BDD growths for state space search, in this paper we are concerned with symbolic search in the domain of Connect Four. We prove that there is a variable ordering for which the set of all possible states – when continuing after a terminal state has been reached – can be represented by polynomial sized BDDs, whereas the termination criterion leads to an exponential number of nodes in the BDD given any variable ordering.

One of the latest prominent results was by Schaeffer In recent years general game playing has received an increasing et al. (2007), who were able to solve American Checkers after amount of attention, especially due to the annual more than ten years of computation and proved that the general game playing competition (Genesereth, Love, and optimal outcome is a draw. Of course, due to the domain Pell 2005) that is held at AAAI or IJCAI since 2005. In independent scenario, we cannot expect to come up with solutions general game playing the agents are provided a description for such complex games in general game playing. of a game according to certain rules and need to play it. In explicit representation, many general games are too In case of multi-player games the agents often play against complex to fit into RAM or even on a hard disk. So, to solve each other, while in case of single-player games the agent them we perform symbolic search, which utilizes binary decision tries to find a sequence of moves to reach a terminal state diagrams (BDDs) (Bryant 1986) as they decrease the where it can achieve the best reward possible. The authors memory consumption, if a good variable ordering is found. of the agents do not know which games will be played, so In this paper we will present a new approach to solve general no domain specific knowledge can be inserted.