AD/IT (Abstract Decision/Interactive Trees)

AD/IT logo

See the download page to obtain this program

Description

AD/IT is an acronym for Abstract Decision/Interactive Trees. See the AD/IT home page for an overview of AD/IT and some references. AD/IT supports the definition, translation and formal analysis of decision trees. (This is entirely unconnected with the ADIT trademark held by Adit Ltd. and with any products or services of this company.)

Usage

A single command adit_convert take on or more file names on the command line. The suffixes of these files are inferred from the translation being performed. adit_convert is used with one or more files and the following options:

-c
convert to AD/IT notation (e.g. file.tree to file.adit)
-e level
error reporting level: 0 = all, 1 = notes (default), 2 = errors, 3 = panics
-g level (for -l)
gate hiding: 0 = chance uses hidden gates and the user may navigate back (default), 1 = chance uses internal events and the user may navigate back, 2 = chance uses hidden gates and the user may not navigate back, 3 = chance uses internal events and the user may not navigate back
-h
print usage as help
-i indent
indentation level as a number of spaces (default 2)
-l
convert to Lotos notation (e.g. file.tree to file.lot)
-t
convert to CGT notation (e.g. file.adit to file.tree)
-w width (for -l)
line width as a number of characters (default 80)
-x
convert to XML notation (e.g. file.tree to file.xml)

As an example, adit_convert -l -i4 -w60 walk will translate walk.adit to walk.lot using 4 spaces for indentation and 60 characters per line.

Installation

The adit directory can be placed anywhere convenient. The bin sub-directory needs to be cited in PATH. In addition, the m4 sub-directory needs to be cited in M4PATH. Both of these are normally set as environment variables according to the operating system and shell in use.

Note that the AD/IT distribution is not complete in itself. It is necessary to have or obtain the following:

Sample Decision Trees

Warning The decision tree examples provided are for demonstration purposes only. They must not be used as the basis of any real decisions by the user.

The tree sub-directory contains example decision trees in various forms. The .adit files are the primary ones, the others being generated from this by adit_convert. Note that most of these examples were developed by the CGT project and are provided courtesy of this project team. The author's role has just been to abstract and re-format these examples for use with AD/IT.

Licence

This program is free software. You can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation - either version 2 of the License or (at your option) any later version.

This program is distributed in the hope that it will be useful but without any warranty, without even the implied warranty of merchantability or fitness for a particular purpose. See the GNU General Public License for more details.

History

Version 1.0: Ken Turner, 11th June 2007

Version 1.1: Ken Turner, 18th October 2007

Version 1.2: Ken Turner, 23rd October 2008


Up arrow Up one level to Lotos Utilities

Web Ken Turner Home   Email    Search Search Web Pages

Last Update: 1st November 2010
URL: http://www.cs.stir.ac.uk/~kjt/software/lotos/adit.html