Note some link may no longer work and are left in as the Internet
Archive may hold copies, but "local copies" links should be
operational.
Austin Tate's Nonlin Planning System
The Nonlin hierarchical partial-order AI planning system, developed by
Austin Tate at the
University of Edinburgh, is available in a downloadable (zip) form below,
a browsable form here or a browsable and downloadable
form here: http://www.aiai.ed.ac.uk/project/nonlin/ or
http://www.cs.bham.ac.uk/research/poplog/nonlin
thanks to Aaron Sloman at the University of Birmingham for encouraging
Austin to make it it run as it used to in a much earlier version of
Poplog, so that it works in both Windows Poplog and Linux/Unix Poplog.
Get a copy of the freely distributable version of Poplog at
http://www.cs.bham.ac.uk/research/poplog/freepoplog.html
[PC/Windows version 15.5 is available via GitHub at
https://github.com/aiaustin/planners/tree/master/nonlin/poplog or locally here -
note this version is only for a 32 bit Windows OS].
Unpack the files to a temporary location and run "SETUP.EXE". It may
be best to allow the installer to place the files in the default
sugegsted position to avoid any problems with spaces in directory
names. You can then run Poplog POP-11 in a Window
via the "Pop-11" shortcut created.
Fetch the nonlin.zip file and unzip it in
any directory you wish to use to try it out.
Documentation
Some information on getting Nonlin
up and running in recent versions of Poplog are in the
readme.txt. Help to run the program is
available in the on-line instructions.
Further information, including sample problem domain definitions using
the Nonlin task formalism (TF) can be found in the release zip file or
can be browsed on-line here.
A short video demonstration of Nonlin running in 2014 is available
here.
GitHub Archive
Nonlin source code and resources are also kept on GitHub
at https://github.com/aiaustin/planners
and have been archived in the GitHub Arctic Vault.
Reference/Citations
Tate, A. (1976) "Project Planning Using a Hierarchic Non-linear
Planner", D.A.I. Research Report No. 25, August 1976, Department of
Artificial Intelligence, University of Edinburgh.
[ PDF Format (6.75MB) ]
A review of this paper on Nonlin by Subbarao Kambhampati in 2002 is
available here.
Tate, A. (1977) "Generating Project Networks", Proceedings of the
Fifth International Joint Conference on Artificial Intelligence
(IJCAI-77) pp. 888-893, Boston, Mass. USA, August 1977. Reprinted in
"Readings in Planning" (eds. Allen, J., Hendler, J. and Tate, A.),
Morgan-Kaufmann, 1990.
[ PDF Format
(1.5MB) ]
Other documents on Nonlin are available
here.
A note by Austin Tate, written on 9-Jan-2008,
on choice ordering mechanisms and heuristic search in
Nonlin, O-Plan and I-X/I-Plan is available
here.
See also Readings in Planning - Allen, James, Hendler, James and Tate, Austin (editors) (1990) Readings in Planning, Morgan Kaufmann Publishers 1990.
[Table of Contents]
Edinburgh University - Artificial Intelligence - Planning Systems
A leaflet describing applications of Nonlin and AI Planning work at
Edinburgh's Planning Group, published in 1983, is available in
PDF Format (2.5MB) and
as a JPG Image (4.2MB)
A leaflet describing Edinburgh University AI planning applications work, published in
2006 is available in
PDF Format (360KB) and
as a JPG Image (1MB).
UM Nonlin
The University of Maryland produced a Common Lisp version of some
core parts of the Nonlin planner incorporating its hierarchical
partial order approach to planning. See
http://www.cs.umd.edu/projects/plus/Nonlin/
for more details and to download that version.
Brian Drabble's Ph.D project Excalibur planner was based on Nonlin and
linked HTN planning methods with qualitative process reasoning.
More details available on the
Excalibur Planner
Web Page
POP-2 Documentation and Manuals
Documentation and manuals for the original POP-2 system can be found here:
http://www.cs.otago.ac.nz/staffpriv/ok/pop2.htm.
Copyright
Nonlin is subject to the "Copyright Notice for Poplog and Associated Files
and Packages" available at
http://www.cs.bham.ac.uk/research/poplog/copyright.html [also locally available
here].