Creator:

Szajna, Janusz

Contributor:

Caban, Dariusz - red.

Title:

Automated realization of Boolean algebra theorems in the simplification of logical expressions

Group publication title:

AMCS, volume 3 (1993)

Subject and Keywords:

sterowanie ; sterowanie-teoria ; sztuczna inteligencja ; matematyka stosowana ; informatyka

Abstract:

This paper presents an approach to the automation of symbolic transformation and simplification of complex logical expressions. The transformation is performed with the aid of Prolog - one of the two programming languages being used for artificial intelligence. Due to the declarative nature of Prolog the specification of a particular theorem together with its variations becomes its realization at the same time. Moreover, each predicate is a direct reflection of a heuristic way of the expressions transformations, written in Prolog convention.

Publisher:

Zielona Góra: Uniwersytet Zielonogórski

Date:

1993

Resource Type:

artykuł

Pages:

383-392

Source:

AMCS, volume 3, number 2 (1993) ; click here to follow the link

Language:

eng

Rights:

Biblioteka Uniwersytetu Zielonogórskiego