Achiya Elyasaf

Dr. Achiya Elyasaf

Software and Information System Engineering, Ben-Gurion University of the Negev, Beersheba, Southern, Israel
orcid

Research Focus & Metrics

Academic Career Length

18Years (2009-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
1 March 2022 in Expert Systems with Applications
Verified
Journal Article
Closed access
ALAmit Livne
Amit Livne
ESEliad Shem-Tov
Eliad Shem-Tov
ASAdir Solomon
Adir Solomon
Achiya ElyasafAchiya Elyasaf
Achiya Elyasaf
BSBracha Shapira
Bracha Shapira
LRLior Rokach
Lior Rokach

24 January 2014 in Genetic Programming and Evolvable Machines
Verified
Journal Article
Closed access
PDF file
Achiya ElyasafAchiya Elyasaf
Achiya Elyasaf
MSMoshe Sipper
Moshe Sipper

26 July 2012 in IEEE Transactions on Computational Intelligence and AI in Games
Verified
Journal Article
Closed access
Achiya ElyasafAchiya Elyasaf
Achiya Elyasaf
AHAmi Hauptman
Ami Hauptman
MSMoshe Sipper
Moshe Sipper
In this paper, we evolve heuristics to guide staged deepening search for the hard game of FreeCell, obtaining top-notch solvers for this human-challenging puzzle. We first devise several novel heuristic measures using minimal domain knowledge and then use them as building blocks in two evolutionary setups involving a standard genetic algorithm and policy-based, genetic programming. Our evolved solvers outperform the best FreeCell solver to date by three distinct measures: 1) number of search nodes is reduced by over 78%; 2) time to solution is reduced by over 94%; and 3) average solution length is reduced by over 30%. Our top solver is the best published FreeCell player to date, solving 99.65% of the standard Microsoft 32 K problem set. Moreover, it is able to convincingly beat high-ranking human players.

8 July 2009
Verified
Conference Paper
Open access
PDF file
AHAmi Hauptman
Ami Hauptman
Achiya ElyasafAchiya Elyasaf
Achiya Elyasaf
MSMoshe Sipper
Moshe Sipper
AKAssaf Karmon
Assaf Karmon

12 July 2011
Verified
Conference Paper
Open access
PDF file
Achiya ElyasafAchiya Elyasaf
Achiya Elyasaf
AHAmi Hauptman
Ami Hauptman
MSMoshe Sipper
Moshe Sipper

1 September 2019
Verified
Conference Paper
Closed access
Achiya ElyasafAchiya Elyasaf
Achiya Elyasaf
ASAviran Sadon
Aviran Sadon
GWGera Weiss
Gera Weiss
TYTom Yaacov
Tom Yaacov
We describe four scenario-based implementations of controllers for a player in a simplified RoboCup-type game. All four implementations are based on the behavioural programming (BP) approach. We first describe a simple controller for the player using the state-of-the-art BPjs tool and then show how it can be extended in various ways. The first extension is based on a version of BP where the Z3 SMT solver is used to provide mechanisms for richer composition of modules within the BP model. This allows for modules with higher cohesion and lower coupling. It also allows incrementality: we could use the scenarios we developed for the challenge of MDETOOLS'18 and extend the model to handle the new system. The second extension of BP demonstrated in this paper is a set of idioms for subjecting model components to context. One of the differences between this year's challenge and the challenge we dealt with last year is that following the ball is not the only task that a player needs to handle, there is much more to care for. We demonstrate how we used the idioms for handling context to parametrize scenarios like "go to a target" in a dynamic and natural fashion such that modelers can efficiently specify reusable components similar to the way modern user manuals for advanced products are written. Lastly, in an attempt to make the instructions to the robot even more natural, we demonstrate a third extension based on deep reinforcement learning. Towards substantiating the observation that it is easier to explain things to an intelligent agent than to dumb compiler, we demonstrate how the combination of BP and deep reinforcement learning (DRL) allows for giving abstract instructions to the robot and for teaching it to follow them after a short training session.