Leibniz System Software

Design of Logic-based Intelligent Systems

Downloading and Installation of Leibniz System

Use of Leibniz System

Leibniz System Applications

Programs 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.

  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. One may download the Leibniz System only if one agrees to the above restrictions and conditions.

Downloading and Installation of Leibniz System

  1. 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

  2. Print manchap2.pdf and follow the instructions to install the Leibniz System using the file leibniz.zip.

Use of Leibniz System

  1. 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."

  2. 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.

  1. 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.

  2. 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.

  3. 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.

If you agree to the above conditions and want to supply a program, please send the description and program files to truemper@utdallas.edu

Programs and Leibniz-related Software

  1. C++ Version of Leibniz System

    Modifications of files needed to interface Leibniz System with C++.
    description and program file

  2. 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

  3. 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