|
![[Under Construction]](../images/undercon.gif)
| | Leibniz
System
- During the past 20 years,
we have developed new and comprehensive mathematics and
software for the design and implementation of intelligent systems
for various areas such as management, production, and control
- The software is called the
Leibniz System.
The basic approach is based on logic. The methodology allows for
uncertainty, optimization, and learning. In addition, the system has
a verification tool that guarantees correct performance for the
entire range of possible situations
Key Benefits
- Specifically, the
Leibniz System supports
- multimodality of
control systems by modular and hierarchical
program structure
- disambiguation by
logic reasoning and learning
- error tolerance by
adaptive reasoning and evaluation of
likelihoods and uncertainty
- individualization
by learning from operator behavior
- operational
reliability by application of the verification
tool.
Some Application Projects
Using Leibniz
- SystemTraVers: Software
system for design and simulation of decentralized, logic-based
traffic control. Jointly developed and implemented with IASI-CNR and
CSST, Rome, Italy. Website:
http://www.iasi.cnr.it/~travers/
- Laempel: Software system
for spell- and syntax-checking of English texts. Website:http://www.utdallas.edu/~klaus/Laempelprogram/laempelmain.html
- OCHEM (Optimal Cost Hazard
Exposure Management): Expert system for cost-effective management of
hazardous materials. Installed for asbestos management at TXU (Texas
Electric Utility).
- System for cancer data
analysis and drug certification. Project of Bioxsys, GmbH, Berlin,
Germany. Website:
http://www.bioxsys.com/
- System for chronic injury
diagnosis and prevention. Project of Bioxsys, GmbH, with Brazos
Family Medicine Clinic, Bryan, Texas.
|
|
| System Requirements |
The Leibniz System is written in standard C code. It can be and has
been compiled on a number of different operating systems such as Unix,
Linux, and MS Windows and on various machines (PCs and workstations
(Sun, HP, IBM)). |
| Memory Requirements |
Even for large formulations and data sets, less than 10 MB for any
one of the modules of the Leibniz System |
| Performance |
Originally (around 1990), the system ran very well on Intel 386 chip
machines, which executed about 2 million instructions per sec.
Today, with speeds of several hundred million instructions per second
even for PCs, the system executes extremely fast.
The reasoning module makes decisions in milliseconds. The learning
module extracts logic formulas from data typically within one minute |
| Integration with other software |
It can be easily integrated with other software |
|
SullTrue Technology Systems. Inc
