______________________________________
Case-Based Planning Adaptation,
using Epistemic Logic Revision
To solve inconsistencies of the STRIPS Planner
______________________________________


______________________________________

unzip:

Unzip (all files) and folder <sp311> to the root of C:\CBP
Do not change the structure of the files that are
in the folder <sp311> They are required
for Sicstus Prolog run-time

______________________________________
File structure and description of files

(libraries and DLLs for prolog run-time)	folder <sp311>
(DLL required for prolog run-time)		c:\cbp\sprt311.dll
(Prolog run-time requires this)			c:\cbp\sp311\bin\sprt.sav
(Prolog run-time requires this)			c:\cbp\sp311\library\random.po
(Prolog run-time requires this)			c:\cbp\sp311\library\system.po
(Prolog run-time requires this)			c:\cbp\sp311\library\x86-win32-nt-4\random.dll
(Prolog run-time requires this)			c:\cbp\sp311\library\x86-win32-nt-4\system.dll
(Executable CBR sub-system)			c:\cbp\c.exe
(CBR object file)				c:\cbp\c.obj
(collection of plans made by planner)		c:\cbp\case_base.ini
(output of planner, input of CBR)		c:\cbp\CB0.TXT
(CBR makes it for its processes)		c:\cbp\CB1.TXT
(CBR makes it for its processes)		c:\cbp\CB2.TXT
(CBR makes it for its processes)		c:\cbp\CB3.TXT
(all cases after adaptation completed		c:\cbp\all_case.txt
(CBR sub-system and Java code of GUI)		c:\cbp\code.java
(instructions for compiling with Sicstus)	c:\cbp\compile_sictus.txt
(used for internal processes of CBR)		c:\cbp\debug.txt
(paper published in WES2004)			c:\cbp\Logic_CBP.doc
(Output of planner_interactive.pl)		c:\cbp\plan_out.txt
(Executable Planner)				c:\cbp\planner.exe
(Planner object code made by Prolog)		c:\cbp\planner.sav
(Prolog code that is compiled by Sicstus)	c:\cbp\planner_for_compiling.pl
(Prolog code for Sicstus interpreter)		c:\cbp\planner_interactive.pl
(a poster related to this project)		c:\cbp\poster.gif
(this file)					c:\cbp\read_me.txt
(final results, solutions of the system)	c:\cbp\RESULTS.TXT
(DLL required by Sicstus Prolog run-time)	c:\cbp\sprt311.dll
(Main executable to start the system)		c:\cbp\START.exe
______________________________________


______________________________________
To start the system program double click on: (START.exe)
Results will be created here: (c:\CBP\results.txt)
______________________________________


______________________________________
user guide is here: (START.exe)
Extensive description is here: (Thesis)
______________________________________


______________________________________
download SICSTUS Prolog for running interactive program: (planner_interactive.pl)
http://www.sics.se/isl/sicstuswww/site/index.html
______________________________________


_______________________________________
Have a nice day
Shahin Maghsoudi - Aug 2004
_______________________________________


_______________________________________
shahin@robot-hosting.com
http://robot-hosting.com
_______________________________________