INSTITUTE OF CYBERNETICS
SOFTWARE DEPARTMENT
PROGRAMMING SYSTEM NUT
- About knowledge-based software engineering tools
- The Nut System allows ...
- The Nut System contains ...
- Applications
- Partners and contact
- Download
KNOWLEDGE-BASED SOFTWARE ENGINEERING TOOLS
In principle, there are two ways to overcome bottlenecks that hinder the development of intelligent technical systems: to elaborate new and more effective methods of knowledge representation and manipulation, and co-operation between separate parallel systems. The aim of this project is to promote both these trends and develop for solving practical engineering problems an artificial intelligence environment based on high performance computer networks.
In the scope of this research automatic deduction methods and their usage in constructing computer programs are investigated. As the result the artificial intelligence system NUT has been developed.
The NUT system is a knowledge-based programming environment that combines object-oriented (procedural, modular) and declarative (structural synthesis of programs) programming paradigms.
.
THE NUT SYSTEM ALLOWS
- specification of problems from different application areas as packages of knowledge containing classes, objects, programs, pictures, texts etc.;
- integration of different models of computations (program synthesis or message sending for manipulation objects and classes);
- creation of interactive systems using binding of graphical representation with objects.
The NUT environment includes the language interface for C allowing to use programs written in C as components of the NUT system.
THE NUT ENVIRONMENT CONTAINS
- windows-based interactive user interface;
- language processor including program synthesizer from formal specifications of external behavior of the programs (can be regarded as proof search in intuitionistic propositional logic);
- graphics facilities including Graphics Editor and the Scheme Editor (a tool for visual programming).
The NUT system is suitable for fast prototyping in different problem areas such as CAD/CAM, control systems, simulating systems, data modelling etc.
APPLICATIONS
The results have been applied in modelling radar coverage of Estonia (V. Kotkas, R. Lõugas, M. Harf, J. Penjam) and in automating software engineering systems (A. Kalja, K. Kindel, T. Tiidemann (TTU)). Applications in higher education are associated with carrying out Tempus-projects (J. Penjam, M. Perkmann, J. Vain) and elaborating artificial intelligence related courses (E. Tõugu, J. Penjam, A. Kalja).
Packages for Automating Software Engineering Systems
PARTNERS
The NUT system is a cooperative development of
- Institute of Cybernetics at Tallinn Technical University (kernel, language processor) and
- Software Engineering group ( http://www.it.kth.se/labs/se/nut.html) of the Teleinformatics Department of the Royal Institute of Technology, Sweden.
The NUT group can be reached by e-mail to vahur (at) cs . ioc . ee.
DOWNLOAD SECTION
To download right-click the link and select Save Link As...
NUT is now licenced under GNU General Public Licence:
NUT FOR LINUX
- NUT-3.1-2.i386.rpm - Nut for Linux as an .rpm package (compiled for i386) (version from 17/03/2000);
- mEDA-2.1-1.i386.rpm - you will need also this mEDA package (Linux, i386), if you want the parallel computation option provided by rnutlib;
- NUT-packages-3.1-2.i386.rpm - application packages and demos for Nut. Demos are compiled for i386 (version from 17/03/2000).
To install enter rpm -i
31/01/2002 webmaster