Home Download Technology Publications Resources Contact

ANDI-Land

The first prototype of ANDI-Land is available as a zipped Windows binary. Just, choose one of the downloads below, unzip, and run. No installation required!

Download ANDI-Land version 1.1 (recommended)
Version 1.1 is the stable version, and it includes a puzzle element which will unlock the end game sequence!

Download ANDI-Land version 1.2
Version 1.2 is the newest prototype. It includes Djak's execution of a complex plan that can be found here.

New Features

Version 1.2 (released date 2007-10-03)

The version 1.2 of ANDI-Land showcases new features that are still experimental. It is described in the companion paper "Temporal Action Logic for Question Answering in an Adventure Game".

  • Try to enact the scenario from the companion paper!
  • The ANDIs can carry out complex plans using a finite state machine. Each agent transitions through the states as determined by the actions it is executing and its interaction with other agents.
  • Their knowledge includes the location of themselves in the forest and a new walk action with which they can navigate to other locations.
  • New information is continually added to the knowledge bases of the ANDIs, and they will learn what you tell them unless it contradicts what they already know.
  • Dialogs are initiated and terminated automatically and the mechanism for thinking rather than speaking is much easier to use.
  • The natural language grammar automatically classifies sentences into four speech acts. Assertions makes a claim, yes/no questions have binary answers, wh-questions require answer extraction, and commands may require planning to carry out.

Version 1.1 (release date 2007-06-03)

With its second release, ANDI-Land turns into a real "game" with a puzzle element that can be solved.

  • Try to solve the hidden puzzle element to unlock the end game sequence!
  • The world is no longer simply binary to the ANDIs. While they use standard two-valued first-order logic, unless they can prove a proposition true or false they remain agnostic and reply "I don't know".
  • Greeting phrases are used to initiate and terminate dialogs with the game characters. Players can also "talk to themselves" by thinking instead of speaking.

Version 1.0 (release date 2007-03-11)

Version 1.0 was the first official release of ANDI-Land.

  • Meet the artificially intelligent inhabitants of ANDI-Land. The ANDIs "think" using a natural deduction theorem prover, making ANDI-Land the only game based on automated theorem proving.
  • Interact with the AI characters through natural language dialog using an innovative interactive parser that continually suggests sentence continuations.
  • Explore the forest environment using an animated avatar in a retro-style isometric graphics engine implemented entirely in Lisp.
  • The agents knowledge is restricted to the ownership and prices of some simple items, and the action of buying and selling those items to the player.
Produced by Mediatron