Thursday, December 10, 2009

AIMA Java 1.0.0 Released

This is our first release based on the 3rd Edition of Artificial Intelligence a Modern Approach, see - for details of what is included/changed.



Saturday, October 3, 2009

AIMA Java 0.95 Released

This is our first release containing GUIs (thanks to Ruediger Lunde) see:

- aima.gui.applications.VacuumAppDemo
Provides a demo of the different agents described in Chapter 2 and 3
for tackling the Vacuum World.

Provides a demo of the different agents/search algorithms described
in Chapters 3 and 4, for tackling route planning tasks within
simplified Map environments.

- aima.gui.framework.SimpleAgentAppDemo
Provides a basic example of how to create your own Agent based
demonstrations based on the provided framework.

This will also be our last full release based on the 2nd edition of AIMA.
We are currently in the planning phases to re-organize this project based on the 3rd edition of AIMA, which should be available soon.


Tuesday, July 21, 2009

Upgrading Ciaran ;-)

Ciaran O'Reilly is now joint owner of this project, along with me (Ravi). He has done awesome work in the logic chapters code (and any bug reports should be sent to him ;-). Just kidding, if I get any bug reports for the logic code I can forward to him).

We'll be starting work on the code for AIMA 3d edition soon.

Saturday, May 30, 2009

AIMA JAVA v0.94 released

This is a patch release for the FOL Logic and includes the following fixes:

- Fixed subtle defect in Model Elimination inference algorithm, which caused it to miss portions of the search space.

- Improved the performance of both theorem provers, in particular added support for forward and backward subsumption elimination, which improves significantly the performance and use of the OTTER Like theorem prover.

- Fixed defect in cascade occurs check in unifier logic.