Artificial Intelligence Group : Software

[ AIG Home | Seminars | People | Research | Publications | Events | Resources | Teaching ]

There is already a webpage for software that is available in the department.

Software this is locally-available in the AI group is:

Logic programming systems

There are several versions of Prolog available in the department, ranging from the steam-powered (CProlog) to knobs-and-whistles (SICStus) and extensions for ILP (Progol). Comparison between some of these can be found in the Prolog FAQ.

CProlog

Very basic Prolog interpreter.

Yap

University of Porto's Prolog interpreter.

Version 4.0.3

Sicstus

SICStus Prolog follows the Edinburgh tradition and largely conforms to the ISO Prolog standard. It is built around a high performance Prolog engine with optional native code generation for Sparc, MIPS and 68K processors.
SICStus Prolog is efficient and robust for large amounts of data and large applications. It has powerful extensions such as coroutining, exception handling, unbounded precision integers, GNU Emacs interface, profiling tool, modules and a comprehensive library. Constraint solvers for reals, rationals, finite domains and booleans are also included.

Version 3.7

ECLiPSe - ECRC Constraint Logic Parallel System

ECLiPSe is a development environment for constraint programming applications. It contains several constraint solver libraries which allow to develop efficient programs to solve combinatorial problems in planing, scheduling, resource allocation, timetabling, transport as well as in other areas like e.g. molecular biology. The ECLiPSe system is the integration of ECRC 's previous systems into a single powerful tool with extended Prolog technology, persistent knowledge base, constraints handling facilities and parallelism. It has a new open architecture for constraints extensions based on attributed variables and its constraint solvers allow the users to define and use new constraints at different conceptual levels.

Version 3.5.2

Knowledge Representation Systems

Classic

Classic is a knowledge representation system based on description logic. The AT+T page for Classic gives full details on it.

Inductive Logic Programming

Progol

Version 2.1

Version 4.1

Version 4.2

Golem

Stephen Muggleton's Golem paper in not available.

Claudien

Luc Dehaspe's technical report (50 Pages)

Version 2.0

Version 3.0

FOIL

Ross Quinlan's FOIL overview (28 pages)

Version 6.3

Natural Language Processing

ALE

ALE 2.0, a freeware system written in Prolog by Bob Carpenter, and Gerald Penn integrates phrase structure parsing and constraint logic programming with typed feature structures as terms. This generalizes both the feature structures of PATR-II and the terms of Prolog II to allow type inheritance and appropriateness specifications for features and values. Arbitrary constraints may be attached to types, and types may be declared as having extensional structural identity conditions. Grammars may also interleave unification steps with logic program goal calls (as can be done in DCGs), thus allowing parsing to be interleaved with other system components. ALE was developed to with an eye toward Head-Driven Phrase Structure Grammar (HPSG), but it can also execute PATR-II grammars, definite clause grammars (DCGs), Prolog, Prolog-II, and LOGIN programs, etc. With suitable coding, it can also execute several aspects of Lexical-Functional Grammar (LFG).

Version 2.0.3

Machine Learning

C4.5

C4.5 is a machine learning system that generates decision trees from vectors of attribute values.

Version R8

Probabilistic Networks

Netica

Version




[ AIG Home | Seminars | People | Research | Publications | Events | Resources | Teaching ]
Artificial Intelligence Group
Department of Computer Science
University of York
York YO10 5DD,
U.K.
Tel: +44 1904 432722
Fax: +44 1904 432767
email: aig@cs.york.ac.uk
Page maintained by Sara. Last changed on 18 Feb 00.