Difference: ReviseProcedureBarkstrom ( vs. 1)

Revision 12009-04-18 - BruceBarkstrom

Line: 1 to 1
Added:
>
>
META TOPICPARENT name="DistributedCSPSlides"
Why_Ada.pdf-- BruceBarkstrom - 18 Apr 2009

This portion of the material contains four major parts:
1. Documentation in the form of two pdf files for an Ada implementation
of the procedure Revise in Shoham and Leyton-Brown's text
"Multiagent System". The first file explains a bit about Ada
and how to obtain a free GPL version of an Ada development
environment and a free UML tool, BOUML. The second file
documents the Ada code.
2. A BOUML project and its UML web site for the design of
the Ada code.
3. The Ada code for a multi-threaded implementation of the
Revise procedure, using Ada tasks. The code also includes
four text files that can be used as input to the program after
it's been compiled and linked. These text files implement the
four test cases on p. 5 of Shoham and Leyton-Brown's text
in figure 1.4. The output from the program for each of these
input files is also included. In addition, a compiled and linked
executable of the program for a Windows NT system is also included.
4. A copy of the GNU General Public License for the code and the
documentation.

META FILEATTACHMENT attachment="Why_Ada.pdf" attr="" comment="" date="1240020407" name="Why_Ada.pdf" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Why_Ada.pdf" size="62311" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Why_Ada.pdf" tmpFilename="/usr/tmp/CGItemp47448" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="Game01.pdf" attr="" comment="This pdf file provides documentation on the design of the Ada program that implements the Revise procedure in the main book text." date="1240020730" name="Game01.pdf" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Game01.pdf" size="220466" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Game01.pdf" tmpFilename="/usr/tmp/CGItemp51303" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="GNU_Documentation_License.pdf" attr="" comment="GNU GPL for documentation" date="1240020782" name="GNU_Documentation_License.pdf" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Copyright\GNU_Documentation_License.pdf" size="54277" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Copyright\GNU_Documentation_License.pdf" tmpFilename="/usr/tmp/CGItemp51252" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="The_GNU_General_Public_License_-_GNU_Project_-_Free_Software_Foundation_FSF.mht" attr="" comment="GNU GPL software license" date="1240020822" name="The_GNU_General_Public_License_-_GNU_Project_-_Free_Software_Foundation_FSF.mht" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Copyright\The GNU General Public License - GNU Project - Free Software Foundation (FSF).mht" size="86094" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Copyright\The GNU General Public License - GNU Project - Free Software Foundation (FSF).mht" tmpFilename="/usr/tmp/CGItemp51406" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="game01.gpr" attr="" comment="GPL GNAT Ada Project File" date="1240020872" name="game01.gpr" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\game01.gpr" size="410" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\game01.gpr" tmpFilename="/usr/tmp/CGItemp51402" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="Game01.adb" attr="" comment="Main Program for the Ada Instantiation of the Revise Algorithm" date="1240020942" name="Game01.adb" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Game01.adb" size="4002" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Game01.adb" tmpFilename="/usr/tmp/CGItemp51313" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="Player_Package.adb" attr="" comment="Body of the Player package" date="1240020994" name="Player_Package.adb" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Player_Package.adb" size="13502" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Player_Package.adb" tmpFilename="/usr/tmp/CGItemp51400" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="Player_Package.ads" attr="" comment="Specification of the Player package" date="1240021021" name="Player_Package.ads" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Player_Package.ads" size="3151" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Player_Package.ads" tmpFilename="/usr/tmp/CGItemp51192" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="Referee_Package.adb" attr="" comment="Body of the Referee Package" date="1240021055" name="Referee_Package.adb" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Referee_Package.adb" size="14749" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Referee_Package.adb" tmpFilename="/usr/tmp/CGItemp51356" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="Referee_Package.ads" attr="" comment="Specification of the Referee Package" date="1240021083" name="Referee_Package.ads" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Referee_Package.ads" size="2243" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Referee_Package.ads" tmpFilename="/usr/tmp/CGItemp51262" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="Scorekeeper_Package.adb" attr="" comment="Body of the Scorekeeper Package" date="1240021121" name="Scorekeeper_Package.adb" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Scorekeeper_Package.adb" size="14757" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Scorekeeper_Package.adb" tmpFilename="/usr/tmp/CGItemp51403" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="Scorekeeper_Package.ads" attr="" comment="Specification of the Scorekeeper Package" date="1240021146" name="Scorekeeper_Package.ads" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Scorekeeper_Package.ads" size="2608" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Scorekeeper_Package.ads" tmpFilename="/usr/tmp/CGItemp51213" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="Using_the_game01.exe_program.txt" attr="" comment="Readme text file with instructions on using the game01.exe program [Windows NT only]" date="1240021188" name="Using_the_game01.exe_program.txt" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Using the game01.exe program.txt" size="1423" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Using the game01.exe program.txt" tmpFilename="/usr/tmp/CGItemp51412" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="Common_Defs.ads" attr="" comment="Utilities for working with Bounded Strings and Mathematical Functions included in the Ada language libraries" date="1240021294" name="Common_Defs.ads" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Common_Defs\Common_Defs.ads" size="2607" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Common_Defs\Common_Defs.ads" tmpFilename="/usr/tmp/CGItemp51308" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="game01.exe" attr="" comment="Executable version of the program [Windows NT ONLY]" date="1240021390" name="game01.exe" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\bin\game01.exe" size="2087016" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\bin\game01.exe" tmpFilename="/usr/tmp/CGItemp51470" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="Game01_Input.txt" attr="" comment="Basic Input text file" date="1240021461" name="Game01_Input.txt" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Test_Input\Game01_Input.txt" size="246" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Test_Input\Game01_Input.txt" tmpFilename="/usr/tmp/CGItemp54239" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="Game01_Input_b.txt" attr="" comment="Input text file for Fig. 1.4 b of Multiagent Systems text [p. 5]" date="1240021518" name="Game01_Input_b.txt" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Test_Input\Game01_Input_b.txt" size="244" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Test_Input\Game01_Input_b.txt" tmpFilename="/usr/tmp/CGItemp54251" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="Game01_Input_c.txt" attr="" comment="Input text file for Fig. 1.4 c of Multiagent Systems text [p. 5]" date="1240021559" name="Game01_Input_c.txt" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Test_Input\Game01_Input_c.txt" size="246" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Test_Input\Game01_Input_c.txt" tmpFilename="/usr/tmp/CGItemp54220" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="Game01_Input_d.txt" attr="" comment="Input text file for Fig. 1.4 d of Multiagent Systems text [p. 5]" date="1240021579" name="Game01_Input_d.txt" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Test_Input\Game01_Input_d.txt" size="252" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package\Ada_Program\Test_Input\Game01_Input_d.txt" tmpFilename="/usr/tmp/CGItemp54164" user="BruceBarkstrom" version="1"
META FILEATTACHMENT attachment="Final_Package.7z" attr="" comment="7Zip file with entire package" date="1240021626" name="Final_Package.7z" path="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package.7z" size="738122" stream="C:\Documents and Settings\Bruce Barkstrom\My Documents\Other_Docs\Multiagent_Systems\01-Domain_Pruning\Final_Package.7z" tmpFilename="/usr/tmp/CGItemp52438" user="BruceBarkstrom" version="1"
 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2019 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback