filename: Releases_Notes ------------------------------------------------------- This file contains informations about the released versions of Pweak. =============================================================================== Release date: 17/Apr/98 ------------------------------ Pweak version: 0.91d3 - 'A Quick Tour of Pweak' web page has been updated to conform with this version. - Problem files 'Looping Pweak' and 'Looping Tweak' have been merged into the single 'Loopings' problem file that has been added to the list of loadable problems. - It is now no more possible to permute the initial state set of formulas. - The 'Planning(Types, Is, Fs, Ops)...' menu is now disabled (i.e. grayed) during search; it is enabled again when the search process is over. - The graphical look of the "Partial plan space navigation" dialog box has been enhanced. - A new dialog box has been added to the operator instantiation process, associated to the menu "Instantiate operators...". - Memory usage of the Function Percentage of the Mathematica package has been improved; runtime is also a few % faster. Moreover, error messages now conform to Mathematica's Message. Finally, a diagonal blue line recalls the user the iteration process when the GraphType option of function Percentage is set to Iteration. - The operator instantiation counter is now correctly reset to 1 after loaded examples have been discarded. - A bug (variable mispelled) in the SNLP contributor_protection/8 procedure has been corrected. - Instantiation of action descriptions in the new action description format now works. Instantiated action descriptions can also be visualized in the planning problem selection dialog box. Handling of names of instantiated action descriptions has been improved. This means that, after necessary instantiation of problem operators, you can now freely test the UA planning procedure. I checked all I could and it seems to work properly. =============================================================================== Release date: 13/Feb/98 ------------------------------ Pweak version: 0.91d2 - A new problem has been rewritten in the new problem format: the Lba_4th problem file now replaces the 'LBA (G0011D->GxxyyD)' problem file. you wish to do otherwise. This files introduces new initial states, illegal for the automaton and introduced for testing puprposes. This file has been generated by a problem generator which generates scaled versions of this problem. - A bug in the termination condition of the cyclic update of the goal list has been corrected. This now functions correctly. This concerned the UA way of planning and seems to work properly. - Both solutions and constructed nodes counters now are of the counter/2 format. - Previously selected descriptors of the planning problem browser are highlighted again. - Pweak shall now load only when a necessary Open Prolog version is available. The currently neede version of OP is 1.0.3d38. It can be found at http://www.cs.tcd.ie/open-prolog. Change the Pweak_mac_loader file if you wish to load with other versions of Open Prolog. =============================================================================== Release date: 29/Jan/98 ------------------------------ Pweak version: 0.91d1 - DeInteraction is now (correctly) done only when an establisher is newly inserted in the plan; it is also shortly reminded in the 'Interval management...' dialog box. - All dialog boxes are initially invisible and are drawn onto the screen only when their initialization is finished. - A new problem file 'Exchange 2 blocks in a tower' had been added. - Problem file 'Block Exchange' has been renamed '2-block towers reverse' and problem descriptors have been renamed accordingly. - A new value for option "GraphType" of the "Percentage" function (of Pweak's Mathematica package) allows to visualizes the percentage of achieved preconditions as an iterated function. See file 'Example of a Notebook'. - Interactor protection of the [establisher,needer] interval now appears to work correctly (bug-less that is); but who knows. - Solution management search limits (e.g. constructing no more than, say, x plans) now works with unbounded depth-first search. - The 'stop' radio button of the solution management dialog box is now correctly enabled and then it now works fine. Gee. That was one more bug in this dialog box which really makes debugging an endless task... - The info during search now is written in the status section of the Open Prolog Worksheet instead of the message section. - A new menu 'About Pweak...' provides some informations about the Pweak planning system. - The graphical aspect of both the 'finding and saving solution' and 'Goal list management' dialog boxes has been improved. - A bug in the numbering of action descriptions variables when browsing action descriptions has been fixed. It was that of starting numbering at 1 for all action description fields (that is, start at 1 for pre, add, del, etc). - Establishment memory management has been simplified (i.e. only Open Prolog's term_copy is now used). - A new operator set using the table as a necessary step has been added to all blocks-world problem files. - Mathematica's Graphics options are now available to the user for both functions "BoxCounting" and "BoxDimension" of the Pweak Mathematica package. - The Pweak Mathematica package now provides a function to compute the box dimension from the box counting data: "BoxDimension". See file 'Example of a Notebook'. - Pweak_info file has been updated about new action description format. - define/4 replaces define(_1,ops(_2)). Some problems files are not updated yet. What can be loaded within Pweak IS updated. All problem files shall be updated. See problem file 'Sussman Anomaly' for the new define/4. - define/2 now replaces declare/2 in all problem files. =============================================================================== Release date: 21/Nov/97 ------------------------------ Pweak version: 0.90d12 - Pweak needs Open Prolog version 1.0.3d37 (Special Thanks to Mike Brady!). - Resource file 'Dialogs' has been renamed 'Pweak.rscr'. - 'Load an example' hierarchical menu has been renamed 'Load a problem'. Submenus have been updated accordingly. - Declobbering of the current goal is now done only if any of the related e_r(_) option is on, whereas the set of clobberers was always computed (it's now computed only if any related e_r(_) option is on). - Arrow icons in dialog boxes have been transformed to arrows pict resources; thus they are now correctly visualized on non quickdraw-color macs such as my old PB170 (?!). - Both depth-first and bounded depth-first search are now available as search modes. That is, you may not set a navigation range in the dialog box related to the 'Partial plan space navigation...' menu. - A new dialog box related to partial plan space navigation has been introduced; its use should be pretty obvious. it should receive enhancements over future versions of Pweak. - A new dialog-box for planning problem selection has been introduced; its use should be pretty obvious. It should received enhancements over the next versions. Accordingly, the 'Current descriptors...' menu has been removed. - A bug in the treatment of old white knight declobbering has been corrected. - A syntax bug in the 'Missionaries and Cannibals' example has been corrected; it was that of the appearance of '-' instead of '_' in a final state declaration. - A new pop-up menu now allows immediate settings of boxes and buttons in the 'Interval Management...' dialog box. Proposed settings are those of some classical planners of the literature (McNonlin, SNLP, UA, Tweak, etc). Moreover, old_white_knight check boxes have been added where appropriate. - The 'Example of a Notebook' file has been updated and corrected with all the new modifications of the described functions. - The algorithm of BoxCounting function of the Pweak Mathematica Package has been simplified in accordance with the modification of the Percentage function. - The Percentage function of the Pweak Mathematica Package now starts its plots at 1/(# of visited partial plans) instead of 0. - The Step function of the Pweak Mathematica package has (again) been improved (only one list is now used for internal computations). Moreover its plots now starts and ends appropriately. - clear(table) has been added to the initial states of example file 'Block stacking' where it was missing. - Frame Labels of function CompareDistributionn of Pweak's Mathematica package were wrong and have been corrected. - When a Linear GraphType is computed, function Percentage of Pweak's Mathematica package now prints the length of the graph, assuming a straight line joins any two consecutive points. - The establishment phase now takes constant time to find a new establisher. Previously the time was linear in the number of available operators. This is done by using prolog's predicate mechanism. - A bug (again) in the 'Solution Manangement...' dialog box has been fixed; it was the good old variable hallucination. - user's hook on abort is now asserted before planning begins and retracted when planning is finished and/or is aborted. - File 'User:preferences' has been renamed 'User:settings'. - Function "VPPS" of Pweak's Mathematica package has been renamed "Percentage". The 'Example of a notebook' file has been updated accordingly; its presentation and a few mistakes have been corrected, too. Moreover, its algorithm has changed to trade speed against memory use: "Percentage" now uses much less memory (50%) than before. But it's much slower than before when extra information is in the solution file. Test file "Lba", for instance (slow!). - Loading of example files containing the same descriptors is now possible. - A syntax bug in the loading of example files 'Block Exchange' and 'Pengi planning' have been fixed. - A new boolean option, PlotJoined, in now available for function Distribution (of Pweak's Mathematica package) that specifies whether the points plotted should be joined by a line. Its default value is False (no line); in this case, points, together with vertival bars to the points are plotted. =============================================================================== Release date: 29/May/97 ------------------------------ Pweak version: 0.90d11 - Document file Pweak_info has been updated and simplified. It's not yet up to date, though. - A bug in the establishment phase, due to a bad management of algebraic incidence informations has been fixed. - The Branching function of the Pweak Mathematica package now accepts both DataSeparators and CardinalSeparators; moreover, a bug in the counting/visualization of the branching factor for the initial plan has been fixed. - The source file "Dialog code" has been removed, because it was no more used as a test file for dialog boxes. - A redundant case in the implementation of Non-codesignation constraints has been removed, and thus a few less partial plans need to be built during search. - Both time limit and search limit options in the "Solution Management..." dialog box now work. - A bunch of things have been cleaned up in the "Solution Management..." dialog box; it should now interact sufficiently well. - To avoid filling up the Open Prolog Worksheet in case of big sets of solution, when writing to a solution file, nothing is indeed now written in the worksheet (# of solutions, # of visited partial plans and time stamp were previously written); only a beep recalls the user a solution has just been found. - The Mathematica file "Example of notebook" has been polished. - The Step function of the Pweak Mathematica package has been greatly improved (memory + speed); this function also now accepts DataSeparators and RecordSeparators options as function VPPS does. - A bug in the initialization of the "Solution Management..." dialog has been fixed. It was that of forgetting the adding of search and incidences informations in some cases. =============================================================================== Release date: 04/Apr/97 ------------------------------ Pweak version: 0.90d10 - The Example of Notebook has been greatly improved and now looks more like a tutorial on signals and the like about partial plan spaces. - Various parts of the Mathematica package code has been cleaned up. - Multiple successive loading of the Mathematica package is now possible. - The 'Solution Management' dialog has been upgraded with a time limit facility which does not fully work yet. But it has a nice pop-up menu. ;-) - Loading of Pweak has been cleaned up. - Function BoxDimension of the Mathematica package has been renamed BoxCounting. =============================================================================== Release date: 08/Oct/96 ------------------------------ Pweak version: 0.90d9 - The 'Solution Management' dialog box has been greatly redesigned. Now, (i) the user is given the choice to either stop or else continue searching after finding 1 or more solutions. And (ii) a search space size can be given to limit the number of partial plans that will be constructed during the search for solutions. - Function Compare has been renamed CompareDistribution. This function now does visualize the two distributions you want ot compare and their computed difference. See Example of notebook for more information. - Functions StepDistribution and PlanDistribution of the PPSVisualization.m package have been removed. A new and unique function is now provided for computing distributions and is thus named: Distribution. Note however that VPPS, Step and BranchingFactor are to be given as the input to Distribution (in the case of VPPS, option GraphType is to be set to Linear). See 'Example of notebook' for more information. - You can now save, in the solution file and together with search information, the incidence algebra of a partial plan. The incidence algebra is that of the partial order set of the partial plan. That is, an algebraic field entry is attached to the order relations. In the case of Pweak integer values are attached to order relations. For instance, assume 3 is attached to the order relation between the begin and the end operator. Then this means that the relation (here through establishment, but it could have been through declobbering for other operators) has been reinforced three times. This allows to consider partial plans as vectors, and moreover, as points in an affine space where the initial partial plan is the origin and plan modification operators are translations. The theoretical background is described in: Eric Jacopin, On the Foundations of Classical Planning: Some Algebraic and Topological Structures, Papers of the 14th UK SIG on Planning, Edited by Sam Steel, Technical Report 255, Department of Computer Science, University of Essex (November 1995). Accesible via: ftp://ftp.ibp.fr/ibp/softs/laforia/pweak/.html/papers.html To save incidence algebras, check the appropriate check box in the 'Solution management' dialog box. Futures version of Pweak shall provide Mathematica functions to manipulate the partial plan vectors (computing distances, norms, etc). - You can now instantiate operators as many as times as you wish it. The alert box is no longer displayed at the end of the instantiation process; informations about the number of instantiated operators and the new descriptors is now written in the worksheet. - In the 'Solution Management...' dialog box, choosing to write solutions in a file now automatically selects the addings of search informations to the solution file. - The depth-first submenu of the 'partial plan space movement' menu is now initially checked (who knows how I managed to remove that check!). - The welcome to pweak prompt at boot time is now written on a new line. - In the 'Solution management' dialog box, the solution filename is now written together with its folder name (thanks to Mike Brady's op_oracle!). - The 'Planning configuration' menu has been removed. It may come back later under the appearance of a pop-menu in a dialog. - A new dialog box has been designed for the 'Goal list management menu'. =============================================================================== Release date: 12/Jul/96 ------------------------------ Pweak version: 0.90d8 - File Pweak_info has been updated a little. - A web link to MathReader has been added to the Pweak web page. This programm shall let you open and print Mathematica notebooks and packages. - Memory cleaning when quitting Pweak from within Open Prolog is now almost correctly handled. - File existence is now checked for all function of the Mathematica package. - A bug in the MTC demotion phase has been fixed. - Clause select_menu/1 has been removed. Use the Forget/Remember couple instead. - When (i) switching on trace mode and (ii) solutions are not saved in a file, an alert dialog box pops up to tell the user he should save informations in a file. - (Open-Prolog) abort during search now softly quits this search (i.e. files are closed, memory is clean up and search info is updated). - A new function, Compare, has been added to the Mathematica package. This function computes the difference between two distributions (i.e. two plan distributions or else two step distributions). Does not visualize anything yet. - A new option has been added to the function VPPS of the Mathematica package. This option determines how VPPS shall visualize the partial plan space information. This option has "Successors" as default value; this joins the plots of the nodes as they have been generated during simulation. The second option, "Children" joins the nodes with respect to a father-child relation, thus visualizing the search tree of the simulation. See the file "Example of notebook" for more information. =============================================================================== Release date: 10/Jun/96 ------------------------------ Pweak version: 0.90d7 - The prolog code of the 'Save preferences' menu has been updated in accordance with the need of Open Prolg's file-choosing dialog. Two bugs in this code have also been fixed; they were that of returning an empty preference list insteat of the pweak_gestalt list. - I have fixed a bunch of bugs in the MTC precondition pick-up area. You then may begin simulating Tweak with Pweak. As you shall see, Tweak does a lot of redundancy... See (¥¥ What options for which planners?) in the Pweak_info document to configure Pweak to simulate Tweak. - A bug has been fixed in the goal list dialog. It was that of making Pweak believes that no subsequent option of the MTC option was selected, whereas some were indeed selected; testing the value of the related check boxes instead of the output list fixed the bug. Example file dialog_code has been upgraded accordingly. - Useless management, in the prolog code, of option solutions(auto_saving_only) has been deleted. - The interval management dialog box has been both improved and fixed. Indeed, there was no way to run a separation-less planning procedure. Three new radio buttons now make possible to deselect separation. Moreover, radio buttons have now replaced check boxes in the decontribution case. - A new Mathematica function, BoxDimension, has been added. It computes the box dimension of the graph generated with the function VPPS when GraphType -> Linear. This means that you can now compute whether a particular partial plan space is a fractal object or not. See the file 'Example of Notebook' for more informations. - A new dialog has been added. It is related to the management of solutions. That is, the previous hierarchical menu 'Solutions' is now named 'Solution Management...' and opens a dialog box instead of a hierarchical menu. Thus, all the previous submenus now are either radio buttons or else a check box. The chosing of a solution filename is also much simpler, thanks to a nice file choosing dialog box of Open Prolog. - The current planning configuration is now written at the end of the related window. - When the histogram of both PlanDistribution and StepDistribution functions are displayed, a vertical green dash line now appears. It corresponds to the position of the expected value of the distribution. - A new option has been added to both StepDistribution and Plandistribution; it is named "Cumulative", is Boolean and is False by default. When True, the cumulative distribution is computed instead of the probability distribution. See file Example of notebook for more informations. - A new number has been added to that of option PPS Statistics. It is added to the end of the previous list of numbers already written in a solution file when option PPS Statistics is on. This number is the number of the father node of the current node. For instance, /*@10 4 4 1 7*/ means that partial plan (node) number 10 is a child of partial plan (node) number 7. This new number says from which node a node is an extension. This 7 shall probably move closer to its 10 in a future version, thus writing /*@10 7 4 4 1*/ instead of /*@10 4 4 1 7*/. =============================================================================== Release date: 17/Apr/96 ------------------------------ Pweak version: 0.90d6 - A strange bug in mtc_update_goal_set has been fixed; however, it looks like it's not enough. So don't use the mtc pick-up yet, I have to do a few things with it. - A bug in retracting the 'Goal list Management' menu hook has been fixed. It was that of refused to retract the clause aasociated with the menu. - A predicate, pweak_version, now holds the current version and release date of Pweak. It is in file Pweak_mac_loader. - Difference lists bugs, due to a bug fix in the reading of terms in Open Prolog have been fixed. The bug had the effect of not loading Pweak version 0.90d5 correctly with Open Prolog version 1.0.3d31. =============================================================================== Release date: 15/Apr/96 ------------------------------ Pweak version: 0.90d5 - I have cleaned up the example of notebook, and fixed the bugs that made the new options of the VPPS function useless (i.e. I now know where to declare the options in a package). Moreover, the extra informations printed by the VPPS function is now printed only when needed. - Function Step and StepDistribution have been improved accordingly with VPPS and PlanDistribution (see a few lines below). - A new dialog box has been added; it is related to a new menu added to the Pweak menu: goal list management. This dialog box contains 3 radio buttons and 6 check boxes; it simplifies the selection of options that were previously available through menu selection. Note that the 'First' menu is now implicit when either radio button Queue or radio button Stack is on. The goal list management comes set up as a queue. Note that if you forget to switch on any check box related to the MTC menu then an alert box is displayed; clicking Ok then gets you back to the goal list management dialog box. - A new example has been added, mainly only to understand how this could be implemented: counters are badly implemented and unification doesn't like it. (See example file)... - A sum up of the number of solutions and the number of partial plans visited during search is now written at the end of a solution file; the format is: /*# number_of_solutions number_of_partial_plans*/ The functions of the Mathematica package (tm) are to use this information. - A bug in the management of radio buttons has been fixed; it was that of allowing to toggle a radio button by clicking on it (instead, one has to click on another radio button to toggle the currently selected one). - Function VPPS and PlanDistribution have been speed up (i.e. I now know how to use compiled function in Mathematica (tm)); moreover, they use 20-30% less memory than their previous versions (i.e. I now know how to better search for the PPS Statistics in a solution file). - Not only problem descriptors (i.e. atoms) but now complete descriptions of initial and final state, operators and types are written in the solution file. - Dialog Interval management has been enhanced a little (i.e. I now know how to manage PICT resources with the dialog features of Open Prolog...). =============================================================================== Release date: 08/Mar/96 ------------------------------ Pweak version: 0.90d4 - A new dialog box has been added; it is related to a new menu added to the Pweak Menu: interval mamangement. This dialog box contains 22 check boxes and 2 radio buttons; it simplifies a lot the selection of options that were previously available through menu selection. For instance, all the protections schemes are now in this dialog box and so are the declobbering, decontributing and the establisher declobbering options. Pweak comes set up as McNonLin or Pweak (i.e. the procedure descibed in the Laforia TR 90-27). Have fun with all those... - The content of the "example of notebook" has been greatly enhanced. Some work still is needed. The next "montly" version should finish this. - All curves of the four Mathematica (tm) functions provided in the PPSVisualization.m package are now displayed in red. This provides a much better display, specially in the case of the two distribution functions. - A new Mathematica function, StepDistribution, has been added. This function considers all the partials plans in a solution file and then prints the distribution: x-axis is the step length value and y-axis is the computed probability to pick-up such a step length (i.e. the probablity to which a given step length is applied). The probability is computed from the contents of the solution file. This function is not available yet in the TCL/TK version. Moreover, the expected Step length value is computed and printed. Remember to give a look at the "example of notebook" file in the tools folder for more informations. - In the Mathematica (tm) package, (i) function PROB has been renamed PlanDistribution and (ii) function STEP has been renamed Step. - Function VPPS in the Mathematica (tm) package now offers the possibility to display linear graphs in a non normalized format. That is to say, the number of partial plans is not normalized into the unit interval. An optional parameter, Normalized (case sensitive), indicates whether the X axis of the linear graph shall be displayed with the unit interval (the default) or the number of partila plans that have been visited. Thus, VPPS["Lba",GraphType -> Linear"] shall visualize the solution file Lba with the X-axis as the unit interval whereas VPPS["Lba",GraphType -> Linear", Normalized -> False] shall visualizes the X-axis with the number of partial plans. Normalized is a boolean value that should either be True (default) or False. This option does not affect the Radar GraphType. - Function VVPS in the Mathematica (tm) package now offers the possibility to visualizing the partial plan space in the usual XY linear form: an optional parameter, GraphType (case sensitive) which is by default set to Radar can also be assigned to Linear. For instance, VPPS["Lba", GraphType -> Linear] shall visualize the partial plan space of the solution file named Lba in an XY usal linear format. Whereas VPPS["Lba"] or VPPS["Lba",GrapType -> Radar] shall use the radar format. - A new example has been added, mainly for comparison with the current literature and scaling up. (See example file)... - The typing field now is fully handled (i.e. select the typing constraint shall not entail a bug in an example with multiple types or with multiple examples loaded). =============================================================================== Release date: 29/Jan/96 ------------------------------ Pweak version: 0.90d3 - The manual has been little upgraded. - Trace mode can now be selected from the select_menu/1 clause and can appear in the :User:preferences file. - 'Auto-saving as...' menu now calls a dialog box. An existing solution file is checked and user is now asked for replacement. Recall that to deselect this menu, you must give an empty solution file name (i.e. click on OK as soon as the dialog box appears). - In the PROB function of the Mathematica package, the number of visited nodes is now told to the user. - The user is now recalled, in the Open Prolog Worksheet, whether or not a solution file is created. - A new Mathematica function, STEP, has been added; it draws the variation of % of satisfied preconditions length between two consecutive partial plans, for all the partial plans that were visited. It is not yet available in the TCL/TK version. Remember to give a look at the "example of notebook" file in the tools folder for more informations. - A new example has been added; it implements the stacking and unstacking of one tower which can be from 1 to 8 blocks high. =============================================================================== Release date: 22/Dec/95 ------------------------------ Pweak version: 0.90d2 - The manual has been very little upgraded. - The Mathematica function VPPS has been enhanced with numerical analysis; for instance, the search space is seen as a distribution of masses (whose values are the percentage of achieved preconditions) and the center of mass, etc, are computed. See the "example of notebook" file for more informations. - A new Mathematica function, PROB has been added. This function considers all the partials plans in a solution file and then prints the distribution: x-axis is the % of satisfied preconditions (1 means the plan is a solution) and y-axis is the computed probability to pick-up such a plan (i.e. with a particular percentage of satisfied preconditions). The probability is computed from the contents of the solution file. This function is not available yet in the TCL/TK version. Moreover, the expected value is computed and printed. - Use of the new dialogs features of Open-Prolog (since version 1.0.3d21) has begun. To begin, the 'Other...' menus opens such a dialog. See the :Dialogs folder of Open-Prolog for more informations on how this works. This shall continue in the future. - An auto-save file now have "/*@pweak auto save file*/ as its first line (it thus acts as a recognizer token); the mathematica and the TCL/TK package take this token into account and refuse token-less files. Add this token to your old solution files, so that the new functions can read data from them. - For work-station users, a TCL/TK visualization tool has been written; it is the same visualization than the Mathematica one. It provides saving in epsf format and printing (postscript) of the visualization. email me to get this code. - A few printing of atoms now are printing of strings. =============================================================================== Release date: 14/May/95 ------------------------------ Pweak version: 0.90d1 - Mac users now have some funny icons. - A bunch of bugs have been correct in the cyclic update; they were that of (i) passing a variable instead of the partial order (Same bug has been corrected for the MTC goal pick up) (ii) a bad termination check and (iii) a wrong initial goal list. Enough for this time: the 'Cyclic update' menu should now work correctly. - File Pweak_info has been upgraded (a little). - A bug has been corrected in the permutation of the final state formulas; it was of printing uncorrectly the name of a list with 0 or 1 element (then permutation is useless). - ), ], and . have been added where they were missing in examples files 'Towers of Hanoi', 'Five blocks', 'Pengi planning', etc. - Two new menus have been added: 'Adding an example...' and 'Deleting an example...'. They are submenus of the 'Loading example' menu and are provided to either add an example of your own both to the example menu and in the User:examples file list or else delete an example from the examples menu and from the User:examples file list. No file existence is checked prior to addition and no menu and file existence is checked prior to deletion. - A new folder has been added: 'Configurations'. It contains configurations files with the same names than in the 'Planning configuration' menu. All these files contain options that correspond to a particular planning procedure (tweak, SNLP, etc). Names are according to S. Kambhampati's. - A new menu has been added: 'Planning configuration'. This is a hierarchical menu built from a file (named 'configurations'), located in the 'User' folder. This menu configure the planning procedure to one from the literature (pweak, tweak, McNonLin, SNLP, UA, SNLP_UA, etc). However, the menus are disabled until the next release (sorry for that, but having th config. files shall help configure Pweak from with the help of the menus anyway). - 'Current options...' menu has been renamed 'Current configuration...' - 'Plan(...)' menus have been renamed 'Planning(...)'. - retract_all/1 has been added (see source file 'prolog tools') and has replaced some calls to abolish/2 for cleaning memory from clause definitions (when selecting the 'Quit' menu, for instance). This shall be used to retract all clause definitions in the future. - A bug in the saving of the preferences file has been fixed; it was that of writing uncorrectly the filenames of the auto-save and auto-saving filename in the preferences file. Moreover, this predicate now appears before its related auto-saving-only and PPS statitics menus (which are first disabled and enabled only after the selection of the auto-save facility). =============================================================================== Release date: 12/Apr/95 ------------------------------ Pweak version: alpha - Two new encodings of the 'Towers of Hanoi' example has been added, together with the definition of a appropriate user constraint, smaller/2. - The preferences file can now be saved. A new menu has been added to the Pweak menu. Then, if you wish to save the current selections in order to have them again at the next boot, just select the 'Save preferences' menu. This writes the contents of pweak_gestalt/1 in :User:preferences. - MTC precondition pick-up sheme has been eventually implemented, together with a bunch of menu; you then can select only a part of MTC to pick-up a preconditions that should have been already achieved. Of course, the 5 new menus that now are provided are manually pre-selectable from the preference file. See Pweak_info for the options corresponding to the menus (see ¥ Pweak's user file). It very probably needs fixing. BE CAREFUL. I'll check that carefully in the next release. - Manual call to pweak (clauses pweak/5 and /7) has been enhanced. - Document file Pweak_info has been upgraded (much more than usual). - Menu installation and writing of Pweak's version in the Open Prolog Worksheet is now done by enter_pweak/0 (see source file Pweak_tools). - pweakgestalt/1 has been renamed pweak_gestalt/1 and is now read from file ':User:preferences'. If you wish to start up Pweak with some menus pre-selected, then write the corresponding options in this user preferences file. A correspondance table (options and menu) has been added to Pweak_info (see ¥ Pweak's user file). - When quitting, the caret is placed at the end of the Open Prolog Worksheet. - A new user constraint has been defined: s_inf(X,Y) which checks that natural integers X and Y, represented with the usual iteration over the s/1 predicate, are such that 0 <= X < Y. See example file 'Simulating a counter' for an application (see action description named greater). - A bug has been fixed in the selection of "When Del(I) \ Add(E) ­ ¯" in the demotion case. It was that of not deselecting the previously selected menu. - Interactor protection now fully complies to the interacts metrics of UA: interaction when a formula f belongs to (Add(E) and Del(I)) and also to (Del(E) and Add(I)). Corresponding menus have been added. =============================================================================== Release date: 21/Mar/95 ------------------------------ Pweak version: alpha --- - The double-writing of "the end of the search" in certain circumstances has been fixed. - File Pweak_info has been upgraded (more than usual). - Some examples have been corrected (e.g. 'Sussman Anomaly', 'Five blocks', 'Doubled Sussman Anomaly', 'Simulating a counter' - The goal list is now managed as a difference list; adding the preconditions of the newly inserted operator thus takes same constant time either in stack or queue mode. It should also speed up the planning process, but I'm not sure. Anyway, ajouter_buts_a_traiter/6 has been greatly simplified and, at the toplevel, moved to a cleaner place. choisirunbut/2 is now pick_up_a_goal/2. - The caret is now placed at the end of the Open Prolog Worksheet when telling the user an example has been loaded. - The search for an old establisher has been improved (clause etablitdansplan/6): Â(An protection' menus have been cleaned. - All propositional examples files have been upgraded: an empty type declaration has been added. - Example file 'Towers of Hanoi' has been corrected: the third action description has ':' instead of '::' as a separator between the action label and the formal variable declaration. - Example file 'LBA (G0011D -> GXXYYD)' has been corrected: some action description were missing the typing of variables. - The initial partial plan, which has number 0, is now taken into account in by the 'PPS Statistics' submenu. - Counters for the number of partial plans and number of solutions are now abolish instead of retracted. - The caret is now placed at the end of the Open Prolog Worksheet before the writing of the current descriptors and before the writing that all example files have been discarded from memory. - Example 'Five blocks' has been upgraded (english names & initial state for the robot hand operators). - A new menu 'Instantiate operators...' has been added to the 'pweak' menu. Its effects is that of using the typing of the variables of the action descriptions to make them propositional. When the menu is selected, a dialog box asks the user to enter a typing descriptor and an operators list descriptor. When the instantiation process is finished, the propositional operators are put into a new list of operator which is given a new descriptor. An alert box tells the user the new descriptor that have been created. The user can then use this new descriptor for planning purpose. - A bug has been corrected in the mathematica package. It was that of drawing the 100% of achieved preconditions circle at the same graylevel than the 80% of achieved preconditions (i.e. 80% black). Its graylevel is now 100% Black. =============================================================================== Release date: 27/Jan/95 ------------------------------ Pweak version: alpha --- - Most of the examples files have been updated to take into account the variable typing feature. - Typing of the variables of an action possible is now possible. You can type your variables when (i) you provide a type declaration in your example file and (ii) you specify types in the header of action description and (iii) you select 'Variables typings' submenu (of the 'Partia plan space movements' menu). A type declaration is made when writing the following predicate in your example file: declare(atom4, types(list4)) where list4 is made of couple (atom,list) as illustrated below. Then you must specify the type in the header of the action description of your example file (from example file 'Sussman anomaly'): declare(sussman_anomaly, types([(box,[a,b,c]), /* boxes only */ (stand,[a,b,c,table]) /* anything that can support a box */ ])). ad(puton::(X,Y:box;Z:stand), /* Header */ [neq(X,Y),neq(Y,Z),neq(X,Z)], /* Var_constraints */ [on(X,Z),clear(X),clear(Y)], /* Preconditions */ [on(X,Y),clear(Z)], /* Added set */ [on(X,Z),clear(Y)]) /* Deleted set */ Then, don't forget to select submenu 'Variable typings'. - A bug in the management of the submenu 'Demotion (of the establisher)' has been removed. It was that of forbidding the deselection of this submenu. - A new example has been added; it simplistically simulates the pengi bee-fighting with classical Strips operators. This example shall be extended in the future. See the example file for informations. - The depth (the cardinal of the set of operator) of the partial plan is now also written in the Open Prolog Worksheet when a solution is found. - The pps information (written in the auto-save file when the menu 'PPS Statistics' is selected) has been replaced from: "/* pps pp_# pp_depth pp_#aap pp_#yap */ " to "/*@pp_# pp_depth pp_#aap pp_#yap*/" which saves 5 characters less. This really is important when the number of visited pps is big (e.g. 10^6). The mathematica package has been updated accordingly. - When selecting the 'Auto-saving as...' menu, the auto-saving file is now placed in the 'Pweak:Solutions:' folder instead of the 'Pweak:' folder. By the way, the 'Auto-saving...' dialog box has been upgraded a little. - A bug in the contributor protection process has been corrected. It was that of allowing separation for the established operator. - Both memory usage and list processing of the VPPS Mathematica function has been improved. For instance, it is 10% now faster on the solution file "Lba" and 30% faster on the file "SA" (both files are given in the "Solutions" folder of the distributed version of Pweak). Moreover, if you call the VPPS (Mathematica) function on a solution file empty of any pps information (saved with the 'PPS statistics' menu switched on), you shall be told so and no (empty) computation shall take place. Prior to this change, an empty graph (i.e. only scales were drawn) was plot and the user was told nothing. =============================================================================== Release date: 22/Dec/94 ------------------------------ Pweak version: alpha --- - File Pweak_info has been upgraded (a little). - A new directory, <:Pweak:Tools> has been inserted. It contains 2 Mathematica (tm) files that I have developped for Pweak. One is a package which provides a tool to visualize the partial plan space of a planning problem according to the information saved when PPS Statistics submenu is selected in Pweak. The second one is a Notebook example which contains the visualizations of the 2 solutions files provided with Pweak. Of course, Mathematica (2.0 and higher) is needed to use these files. - A file of examples filenames is now used to build the submenu of examples files that can be loaded. This file is named examples_list and is located in the Examples folder. The examples list is of the following format: declare(examples_list,e_l(a_list)). where a_list is a list of strings (see the file) that are sorted prior to menu installation. To add your example file to the submenu, just add your filename (anywhere you wish it) to this list and reload Pweak; the list is alphabetically sorted before menu construction. - The caret, in the Open Prolog Worksheet, is now also placed at the end of the Open Prolog Worksheet when Pweak is loaded. =============================================================================== Release date: 29/Nov/94 ------------------------------ Pweak version: alpha --- - File Pweak_info has been upgraded (a little). - Management of the partial order has been enhanced; clause before/2 has been deleted. - A bug in the SNLP separation has been removed; it was that of allowing a reflexive partial order. - A new submenu, 'Interactor protection' has been added to the 'Partial plan space movements' menu. This implements the overlapping protection scheme of UA and TO. 2 submenus (promotion and demotion), which are themselves hierarchical, allow to select all the possibilities of this scheme. - A bug in the permutation of the final state has been removed; it was that of calculating the length of the initial state instead of that of the final state. - The caret, in the Open Prolog Worksheet, is now placed at the end of the Open Prolog Worksheet before each Pweak's run. - Opening and closing dates and times of the auto-save file are now saved in this file. - When option 'PPS Statistics' is now selected, not only the current partial plan number and its depth are written to the auto-save file, but now so are the number of already achieved preconditions and the number of preconditions yet to be achieved. For instance: /* pps 132 4 8 2 */ says that it is the 132th partial plan to be visited, it has 4 operators which have 8 preconditions correctly established and 4 that are not. - 'Clobberer protection' has been renamed 'Establisher protection'. Moreover this is now a hierachical menu which proposes the demotion and/or the promotion of the current establisher of the goal outside the interval [establisher,established] of previous goals (i.e. the current establisher is also a clobberer of previously achieved goals, it can then be either demoted or promoted). - 'Establisher protection' has been renamed 'Contributor protection'. Moreover, this is now a hierarchical menu which proposes the demotion and/or the promotion of other contributors (i.e. contributors also possess the current goal in their add set) outside the interval [establisher,established]. - 'Plan modification operator' menu has been renamed 'Establishment refinements'. - Menu bar menu 'Planner' has been renamed 'Pweak'; and 'Pweak(...' has been renamed 'Plan(...'. Since Pweak is now supposed to be the name of the system and not a planner, these changes reflect this. =============================================================================== Release date: 27/Oct/94 ------------------------------ Pweak version: alpha --- - File Pweak_info has been upgraded (a little). - Clause add_before/3 in source file Pweak_tools has been improved. - Clause exit_to_planning/0 is now called when search is discontinued (resulting from a user's choice); auto-save file is now correctly closed after the user chooses to stop the search. - Clause cpi/6 in source file toplevel has been upgraded to cpi/4. - A new partial plans space movement submene, 'Clobberer protection' has been added. This option is initially selected; its effect is to process, when inserted in the operators set of the current partial plan, the establisher (of the current precondition to be established) as a clobberer of the already established preconditions. Thus, all the preconditions that are established are so until a solution is found or else failure is returned. From a pps movement point of view, this option avoids re-establishing preconditions that were previously established and thus avoid some visiting partial plans that already been visited. - A new partial plans space movement submenu, 'Establisher protection' has been added. If this option is switched on, then all operators adding the current goal shall be either demoted before the establisher or else promoted after the established. The effect on the movement in the partial plan space is to avoid paths which contains identical plans. This is what is called systematicity. Example 'Old WK useful' illustrates the usefulness of such a movement. Since plan modification operator 'Old White Knight' and this pps movement are incompatible (could you explain why?) selecting one shall disabled the other one (and vice-versa). - Operators simulating the use of a robot hand has been added to example files 'Sussman Anomaly' and 'Block Exchange'. Accordingly, new initial and final states have been added. Moreover, english names are now used in these files: on/2 and clear/1 instead of sur/2 and libre/1, respectively. - A confirm box (i.e. click either 'yes' to keep on searching or else 'no' to stop the search) is now used when asking the user in the 'First and ask' solution strategy: the user is no more asked to type in either 'yes.' or else 'no.'. The user can of course hit the enter key instead of clicking on 'yes'. - Clause copy/2 has been upgraded and renamed to ad_copy/2 and moved from source file prolog_tools to source file Pweak_tools. - A bug in the loading of the file source mac_menus has been corrected; string 'Pweak's current options' is now 'Pweak''s current options'. =============================================================================== Release date: 14/Oct/94 ------------------------------ Pweak version: alpha --- - Two new submenus to the 'Plan modification operator' menu have been added: 1- 'Promotion' which allows to constraint the clobberer of a formula after the operator which posses this formula as a precondition. 2- 'Demotion' which allows to constraint the clobberer of a formula before the operator which establishes this formula. Both plan modification operators are initially selected. They are sufficient for completeness when solving a propositional problem (i.e. a problem using only propositional formula). Deselecting one (or both) of promotion or demotion degrades the completeness of the algorithm. These options are here given for test purposes: it may be (very) interesting to test how the completeness degrades for certain problems. For instance, try the Sussman Anomaly with and without Promotion, Demotion and with and without the Var. Constraints. - When submenu 'Auto-save' is selected, the existence of the :Solutions folder is now checked. Previously, it was not checked and if this folder did not exist (for any reason), an error occured. Now, if it does not exist, the auto-save file shall be written in the :Pweak folder and an alert box is displayed to tell the user. - In order to provide a World Wide Web (WWW) access to Pweak, an Hyper Text Markup Language file has been created for Pweak. Its Uniform Resource Locator (URL) is file://ftp.ibp.fr/ibp/softs/laforia/pweak/Pweak.html This file (i.e. Releases_Notes) is also provided in the HTML format. Both the HTML format and the ascii format shall be maintained. Document file Pweak_info stays in its initial (ascii with Mac characters) format; use of one HTML command (i.e.
) has been made 
   to allow its display on a browser. There shall not be any (full) HTML 
   version of file Pweak_info.

===============================================================================
Release date: 05/Oct/94 ------------------------------ Pweak version: alpha ---

 - Management of dialog box titled 'Other number of solutions...' has 
   upgraded: (i) title has been changed to 'Other number of solutions 
   before stopping'; (ii) if the user clicks Ok although no input number 
   has been given, then the previous solutions strategy is preserved and an 
   alert box is displayed to tell the user; (iii) the sentence at the 
   left of the input box is now completely visible.
 - File Pweak_info has been upgraded accordingly with the new action 
   description format. Something else I had forgotten to do...
 - Almost all example files have been fixed and/or upgraded. Some were 
   having old comments (e.g. /* Name */ instead of /* Header */ and/or
   /* Liaisons */ instead of /* Var_constraints */). And some were not 
   using the correct new header format (i.e. the action descriptions's 
   first field is either constant::(var_list) or else constant; and not 
   constant::() when the variable list is empty). Please excuse me for 
   forgetting upgrading correctly *all* the examples (only blocks world 
   examples and some Turing machines were correct).

===============================================================================
Release date: 30/Sep/94 ------------------------------ Pweak version: alpha ---

 - File Pweak_info has been upgraded (much more than usual).
 - Menu 'Pweak(Is,Fs,Ops)...' and 'Pweak(Ops,<,Pnya,Paa)...' are now 
   initially disabled. They are enabled as soon as an example is loaded. 
   They are disabled when selecting 'Discard all loaded examples' menu.
 - First field of ad/5 is now not (always) "constant_symbol" but the 
   syntactic form "constant_symbol::(Var1,...,Varn)" where Var1,...,Varn 
   are the n variables that appear in the other fields of ad/5. All 
   examples have been modified according to this new format. When ad/5 
   contains no variable, then only "atom" should be written.
 - Window flushing has been added so that all plan components shall be 
   totally printed in the Open Prolog Worksheet when needed (prior to 
   this, binding set wasn't printed until something had to be). 
 - The Var_Constraints field in ad/5 is now effective; the only actual 
   possible constraint is neq/2 which takes two varaibles as arguments 
   and means they should be Non EQual.
   A new menu, 'Partial plan space movements' has been added to toggle 
   the used of this new field: you may chose to use or not tho use this 
   new field by selecting the submenu 'Var. constraints'. However, note 
   that, when designing an example, the field MUST appear in all ad/5 
   clauses. Switching off its use avoid adding action descriptions' 
   variables constraints to the plan's constraints.
   The effect on search is the pruning of solution-less path in the space 
   of partial plans, according to the constraints contained in the new 
   field. See example files for additional informations (e.g. encoding).
   Submenu 'Depth-first' of menu 'Partial plan space movement' is only 
   here to indicate how Pweak plunges in the partial plan space (PPS). 
   Future versions should introduce other strategies.
   With 'Var constraints' switch on, 2133 partial plans are constructed 
   before the first solutions is found; whereas 3138 are needed when this 
   option is switch off.

===============================================================================
Release date: 15/Sep/94 ------------------------------ Pweak version: alpha ---

 - A bug has been fixed in example file 'Block Exchange'. The table was 
   asserted as clear in the initial state (i.e. 'libre(table)' has been added 
   to the initial_state list).
 - A new example file format is in the air. File 'New Sussman Anomaly' in the 
   'Examples' folder contains such changes. 
   Not only the way of declaring initial or final state have changed, but also 
   there are new fields for action descriptions (header, variable typing and 
   constraints); accordingly, a declare(atom,type(list)) will appear for type 
   declaration purposes.
   Future versions of Pweak won't recognize older example file format. All 
   previous examples shall be provided in the new format.
   If you have any comments about it, please don't hesitate to tell me.
 - File Pweak_info has been upgraded (a little more than usual).
 - Clause pb(ops,atom,list) has been replaced by declare(atom,ops(list)) in 
   all provided examples files. In the same spirit, clause 
   pb(ei,atom1,initial_state(list1)) and pb(ef,atom2,final_state(list2)) have 
   been respectively replaced by declare(atom1,initial_state(list1)) and 
   declare(atom2,final_state(list2)) in all provided examples. Think of 
   updating your own examples.
 - etat_initial(list1) and etat_final(list2) in examples files and related 
   sources files have been respectively changed to initial_state(list1) and 
   final_state(list2).
 - A sentence telling the user the search is now finished has been added to 
   exit_to_planning/0 (apparently, it wasn't clear that search was over...).
 - Tracing info has been (very little) upgraded.

===============================================================================
Release date: 01/Sep/94 ------------------------------ Pweak version: alpha ---

 - File Pweak_info has been upgraded (a little).
 - Beeping the user in final/5 has been changed; beep/0 now replaces 
   play('Simple beep',3) when this latter fails.
 - A memory cleaning (i.e. a call to gc/0) is now done before and after 
   any Pweak's run. Another one is done when 'Quit' menu is selected.
 - A bug in retract_pweak_tools/0 has been corrected; it was that of 
   writing a clause name (!) instead of abolishing it.
 - A new menu 'Permute problem data' is now active. Initial state, final state 
   and operators set are all three prolog list. They thus can be permuted 
   so that data appear in another order than the one given in the 
   examples files: Pweak thus can make a different first choice when, for 
   example, looking for a New establisher. 'Permute problem data' possess 
   three submenus:
      1. 'Initial state...' to permute initial state list.
      2. 'Final state...' to permute final state list.
      3. 'Operators...' to permute operators set list.
   All the 3 submenus works the same way. A first dialog box asks the 
   user to give the descriptor of the related list he wants to permute. 
   IF this descriptor does not exist or else its related list is too 
   short to be permuted (i.e. only possess 0 or 1 element) THEN an alert 
   box tells the user the permutation is meaningless; ELSE a second 
   dialog box appear; the user is asked to give a new order of the list. 
   This new order consists of an enumeration of the new positions: assume 
   the list to be permuted is [a,b,c,d]. To get [b,a,d,c] the user must 
   type 2,1,4,3 (DO NOT FORGET the ',' between numbers).
 - Initial operator's name 'oi' and final operator's name 'of' have been 
   replaced by 'begin' and 'end', respectively.
 - A new example  has been added; this is a new 
   initial partial plan problem. See the example file for informations. 
   Switch on trace mode to see why a Tweak-like planner fails on this 
   example.
 - A bug in the call of profondeur/8 when processing initial partial 
   plans has been fixed.
 - set_cardinal/2 of source file 'Prolog tools' has been removed; Open 
   Prolog's built-in length/2 is now used instead.
 - A new example  has been added; only because it is so 
   classical that it has to be here. Separation is needed, of course, and 
   wait for at least 3138 partial to be visited for the first solution 
   (if loaded as is and no other option than separation).
 - Trace is now correctly written in the auto-saving file.
 - exit_to_planning/0 has been added; this is called at the end of 
   Pweak's run, whatever this end is (i.e. success or failure). If you 
   have anything to do at the end, do it there. It is located in source 
   file 'Pweak tools'.
 - Menu 'Discard all loaded examples' is now initially disabled. It is 
   enabled as soon as an example is loaded. It is disabled as soon as 
   discarding all loaded example has been performed.

===============================================================================
Release date: 26/Aug/94 ------------------------------ Pweak version: alpha ---

 - File Pweak_Info has been upgraded (a little).
 - Disabled menus now works in the mac spirit: something must be 
   validated so that disabled menus are enabled. Such (initially) 
   disabled menus are:
          1. 'Permute problem data' --- not yet active
          2. 'Current descriptors...'
          3. 'Auto-saving only'
          4  'PPS Statistics'
   Loading an example enables 1 and 2. Discarding loaded examples 
   disables 1 and 2.
   Chosing an auto-saving mode enable 3 and 4. Deselecting an auto-saving 
   strategy disable 3 and 4. Chosing another strategy while the other one 
   is active leaves 3 and 4 as previously selected.
 - A new example  has been added. This is a good 
   example of the usefulness of separation. Run the Pweak with trace mode 
   on, first and stop, depth 5, and Tweak separation on this example. And 
   give a look at the trace in the Open Prolog Worksheet. See the example 
   file for informations about this.
 - A new plan modification operator (pmo) has been added (separation). 
   This pmo can be activated or inhibitated; a submenu is provided. 
   Separation can either be 'a la Tweak' or else 'a la SNLP'. IF it is 'a 
   la Tweak' THEN only variable sepration is done. But IF it is 'a la 
   SNLP' THEN precedence constraints are also added to the plan; for 
   instance, the clobberer is placed in-between the establisher and the 
   established. NOTE that separation SHOULD BE USED each time an operator 
   possibly clobbers itself (i.e. a formula of the deleted list can unify 
   with a formula of the added list). NOTE AGAIN this is the case of 
   almost every examples provided with Pweak. Although lacking separation 
   Pweak was previously able to find some solutions. This was due to a hack 
   which has now been removed. it SHOULD BE CLEAR that propositonal (i.e. 
   containing no variables at all) operators do not need separation. 
   Pre-instantiation (i.e. instantiation prior to runtime), according to 
   values given by the user, shall be allowed the next release of Pweak.
 - A bug in the finding of correct linearizations has been fixed. Despite 
   the dialog box associated with menu 'Pweak(Ops,<,Pnya,Paa)...' where the 
   user is asked how many more operators he wants, weak was only looking 
   for 0 more because the user's value was not passed to the procedure. 
   Instead the 0 (in fact 1) was hard coded into the procedure.
 - In the dialog box connected with menu 'Pweak(Is,Fs,Ops)...', the 
   exact cardinal of the set of operators of the plan to be found must be 
   typed in (and no more the cardinal + 1 as before).
 - ecrire/1 and ecrire_ligne/1 in source file "trace" have up renamed 
   trace_write/1 and trace_writeln/1, respectively.
 - The info box is now automatically cleaned after running Pweak. It is 
   as if one typed in "info." in the Open Prolog Worksheet (the source 
   file "trace" contains clause info/0).
 - Deselecting either "Auto-saving" or else "Auto-saving as..." had no 
   effects on the automatic deselection of "Auto-saving only" and/or 
   "PPS Statistics" (because these can only be active under one 
   auto-saving strategy). These latter are now automatically deselected.
 - A new submenu "PPS Statistics" has been added to the "Solutions" menu.
   This will write an string of the format "/* info(N,D). */" in the 
   solutions files chosen with an auto-saving strategy (NOTE this implies 
   one must choose an auto-saving strategy first; an alert box recalls 
   this). N is the number of the visited partial plan and D is its 
   depth (i.e. its length in number of operators).
 - User's choices (i.e. Initial state descriptor, final state descriptor 
   and maximum depth) are now written to the auto-saving file.
   
===============================================================================
Release date: 12/Aug/94 ------------------------------ Pweak version: alpha ---

 - The Runtime folder has been replaced by a Solutions folder. All the 
   files it contains have been created with the auto-saving switched on.
 - A new submenu "Auto-saving only" has been added to the "Solutions" menu.
   This will disallow the writing of solutions in the Open Prolog 
   Worksheet. This submenu cannot be selected if neither "Auto-saving as..."
   nor "Auto-saving" has already been selected. An alert box recalls this.
 - A new submenu "Auto-saving as..." has been added to the "Solutions" menu.
   This will automatically save the solutions that have been found in a 
   file whose name has been chosen by the user. Thus, a dialog appear 
   when 'Auto-saving as...' is selected:
      IF 'Cancel' button is clicked THEN
         no change is made
      END IF
      IF 'Ok' button is click or the 'Enter' key is hit THEN
         IF no file name was typed in THEN
            the 'Auto-saving as...' is deselected
         ELSE
            the 'Auto-saving as...' is marked
            the filename tells Pweak where to write the solutions.
            IF the 'Auto-saving' was selected THEN
              it is deselected
            END IF
         END IF
      END IF
   The file name must be given in mac format. The correctness of the file 
   name string is *NOT* checked. Examples are:
        :Solutions:Angoisse   (save from current directory to the 
                               subdirectory  in file
                               ).
        HD:Solutions:Angoisse (Absolute file name)
   To change the file name, re-select 'Auto-saving as...' and type in a 
   new file name. The previous file name is recalled at the top of the 
   dialog box; if the file  is too long, it will be cut...
 - A new submenu "Auto-saving" has been added to the "Solutions" menu.
   This will automatically save the solutions that have been found in a 
   file. The filename is made with the current date. If auto-saving is 
   selected, then deselected and then selected again, the file shall be 
   overwritten. To avoid this, use 'Auto-saving as...' submenu. Selecting 
   this submenu when 'Auto-saving as...' is selected shall de-select this 
   latter.
 - The current version of Pweak is written at boot time.
 - Loading of Pweak files have been moved from 'Open Prolog Startup' to 
   ':Source:pweak_mac_loader'.
 - The dialog box of the "Solutions"/"Other..." submenu now recalls the 
   user the previous number he typed in. This number is that of plans (i.e. 
   solutions) that has to be found until Pweak stops. For instance, if 
   the user previously typed in the number 6, then
        "Current choice is: find first 6 solutions and stop."
   is displayed in the dialog box. If another option was previously 
   chosen, then
        "No previous choice."
   is instead displayed.
 - A new menu "Write current descriptors" has been added to the main 
   "Planner" menu. This writes all the possible atoms that can be used in the 
   dialog box of both 'Pweak(Is,If,Ops)...' and 'Pweak(Ops,<,Pnya,Paa)...'
   submenus; that is, all possible X matching:
         pb(ei,X,_),
         pb(ef,X,_),
         pb(ops,X,_),
         pb(ppi_ops,X,_),
         pb(ppi_ro,X,_),
         pb(ppi_ent,X,_),
         pb(ppi_et,X,_),
   that can be found in the examples files provided.        
 - The "Pweak(Si,Sf,Ops)..." menu is now 'Pweak(Is,Fs,Ops)...'.
 - The Loading List now really is in alpabetical order (the
    BXXYB) (J)> example was wrongly listed). 
 - The "Pre-Ordering (TO/UA)" submenu is now active. However it has been 
   renamed "Cyclic update". Its effect is to check, after the 
   establishment and declobbering processes, if some preconditions are 
   already correctly established while leaving the plan unchanged.
 - A bug in the clause retract_pweak_tools has been removed. The bug is 
   that of mispelling abolish (ablish was written) to abolish predicate 
   unify/3. This result in the 'Quit' of the 'Planner' menu to fail.
 - The 'No' buttons in the dialog boxes titled "Planning problem selection", 
   "Initial partial plan selection" and "Other number of solutions..." have 
   been changed into 'Cancel' buttons.
   
===============================================================================
Release date: 04/Jul/94 ------------------------------ Pweak version: alpha ---

 - A new submenu "Pre-Ordering (TO/UA)" has been added to the menu Goal 
   list management. However, it is not yet active.
 - The Loading list of examples is now in alphabetical order.
 - A bug in the behavior of the 'Solutions'/'Other...' menu has been 
   corrected. The bug is that of marking 'Other...' and unmarking the 
   previous choice, even if the user clicked 'No' in the dialog box 
   titled 'Other number of solutions...'.
 - Copy of an operator is made before insertion in the operator set of a 
   plan. This copy does variable renaming; this allows use of example 
   files named <2-counter machine> and .
 - A new example  has beend added; it contains 
   several problems to show how to encode incrementation and decrementation 
   of a positive integer counter. It's a good introduction to the 
   2-counter machine problems.
 - A bug in the "Old white knight" plan modification operator has been 
   removed; the bug is that of checking for necessary clobberer 
   (i.e. clobberer in-between the establisher and the established). 
   There's just need to look for an Old_W in-between the clobberer and 
   the established. See the example file "Old WK Useful".
 - A new example  has been added; it contains a problem to 
   show the use of the "old white knight" plan modification operator. See 
   the example file for some informations.
 - A 4th problem (has been added to the  problem (i.e. 4 
   towers to exchange).
 - Following names have been changed in the  example:
   "anomaliedesussman"  is now "sussman_anomaly" and
   "anomaliedesussman1" is now "sussman_anomaly_1".
 - File Pweak_Info (documentation file of the system) has been completed a 
   little.
   
===============================================================================
Release date: 01/Jun/94 ------------------------------ Pweak version: alpha ---

 - "Solutions" menu has been added; it provides a way to search until a 
   condition is fulfilled. There are 4 possible conditions (and 
   therefore, 4 submenus are provided) : "First and ask" (find the first 
   solution and then ask the user if he wants to go on), "First and 
   stop" (find the first solution and then stop the search), "All" (find 
   all the solutions for the given depth) and "Other..." (find a certain 
   number of solutions and then stop). For the last option (i.e. 
   "Other..."), a dialog box opens to get the number of solutions before 
   stopping the search from the user.
 - Menu "Pweak(Ops,<,Pnya,Paa)...", the "correct linearization 
   searcher", has been connected to the Pweak/5 clause. Problems with a 
   user initial partial plan can now be given and Pweak run on these 
   problem through a menu.
 - A new example, 2-SAT, has been added; it contains encoding of a 2 
   sat problem as a planning problem and as finding correct 
   linearizations (an initial partial plan is given).
 - A new example, Block Exchange, has been added; it contains, at the 
   simplistic level of pweak, problems to tests the notion of "problem scale 
   up".
 - A Table of the transition function of the 2-counter machine has been 
   added in the example file "2-counter machine".
 - A new plan modification operator (pmo) has been added (old white knight). 
   This pmo can be activated or inhibitated; a menu is provided.
 - 'As a stack' and 'As a queue', submenus of "Goal list management",
   are no more disabled when selected (they're only marked).
 - Establisher search for declobbering in the current plan has been 
   removed whenever possible: the searched operator is now passed as an 
   argument.

end of file Releases_Notes ----------------------------------------------------