Leibniz System Software
 |
Downloading and Installation of Leibniz SystemUse of Leibniz SystemLeibniz System ApplicationsPrograms and Leibniz-related Software |
Leibniz System Software
The Leibniz System software carries out most algorithms of the book Design of Logic-based Intelligent Systems , published by Wiley, 2004.The Leibniz System software is NOT public domain software, but is owned by the Leibniz Company and is protected by US copyright law.
Each purchaser of the book automatically acquires a license to download the Leibniz System software for use in commercial and noncommercial installations. The software is supplied in source code form and with accompanying manual.
The following conditions and restrictions apply to the downloading and use of the Leibniz System software. In the description below, the term "purchaser" is a person, or a for-profit or not-for-profit corporation, or any other organization such as a university, institute, or entity of government. The term "book" refers to the book "Design of Logic-based Intelligent Systems," published by Wiley, 2004. The term "controlled" means owned or leased.
Here are the restrictions for downloading and use of the Leibniz System software.
- Downloading and use of the Leibniz System software requires purchase
of the book. The purchaser of the book may install copies of the software
on any and all computers controlled by purchaser. Any downloading or
use that does not satisfy this restriction is a violation of US copyright
law.
Examples for installations satisfying the restriction.
- A student has purchased one copy of the book. He/she owns a laptop computer and another PC and installs the software on both computers.
- Texas A & M University has purchased one copy of the book and installs the system on hundreds of computers owned by the university.
- IBM Corporation has purchased one copy of the book and installs the software on tens of thousands computers owned by the corporation.
- The United States Federal Government has purchased one copy of the book and installs the software on millions of computers owned by the Federal Government.
- No portion of the source code, object code, or executable code of
the Leibniz System may be used outside the logic programming operations,
learning logic operations, and data transformation operations for which
the Leibniz System software has been designed.
- Intelligent systems and other software constructed with the aid of
the Leibniz System software by the purchaser of the book may be sold
or licensed by the purchaser without restriction, EXCEPT for the following
condition: The start-up window or page of the constructed system must
acknowledge use of the Leibniz System. For example, the statement "System
X uses Leibniz System" or "System X built with Leibniz System" suffices.
- The Leibniz Company, which supplies the Leibniz System software, makes
no representation or warranty, expressed or implied, as to the condition,
merchantability, title, design, operation, or fitness for a particular
purpose of the Leibniz System software. In particular, the Leibniz Company
does not assume responsibility for any errors, including mechanics or
logic, in the operation or use of the Leibniz System software, and has
no liability whatsoever for any loss or damages suffered by any user
of the software as a result of the Leibniz System software. In particular,
in no event shall the Leibniz Company be liable for special, incidental,
consequential, or tort damages, even if Leibniz has been advised of
the possibility of such damages.
- One may download the Leibniz System only if one agrees to the above
restrictions and conditions.
Downloading and Installation of Leibniz System
- Get the files leibniz.zip
and manchap2.pdf.
The current version is 10.0, issued May 18, 2007.
For a summary of code
changes introduced by recent versions, get code_changes.txt
- Print manchap2.pdf and follow the instructions to install the Leibniz
System using the file leibniz.zip.
Use of Leibniz System
- Getting going with the use of the Leibniz System is much easier if
the user first reads Chapters 1 and 2 of the book "Design of Logic-based
Intelligent Systems."
- Workshops are offered, see Schedule and Summary
of Workshops . Additional workshops can
be arranged. Contact truemper@utdallas.edu
if you are so interested.
Leibniz System Applications
We are collecting application programs and other Leibniz-related software provided by Leibniz System users. This section provides that software.If you want to contribute programs or use the programs supplied here, please be aware of the following conditions and restrictions.
- All programs must be supplied in source code and without any restriction,
condition of use by others, or fee or charge of use. Thus, all such
programs are in the public domain. Send one compressed file of the entire
program and, separately, a short description in ASCII text describing
the purpose of the program. The description and compressed file will
be posted below.
- Optionally, the person supplying the code may include in the description
the name and contact address, in case he/she is willing to provide assistance
in the use of the program. If such assistance involves payment of fees
or charges, this must be clearly stated as part of the program description.
- The user of any program supplied here must agree that all programs
are made available without any guarantee whatsoever, just like other
public domain software such as the gcc compiler.
Programs and Leibniz-related Software
-
C++ Version of Leibniz System
Modifications of files needed to interface Leibniz System with C++.
description and program file
-
Python Program for Evaluation of Logic Formulas Generated by lsqcc Program
Python program for rapid evaluation of logic formulas produced by the lsqcc program.
description and python program file -
Differential Diagnostic Systems Software
An implementation of the empirical construction of differential diagnostic systems described in Design of Logic-based Intelligent Systems . Consists of description and program file