Automated realization of Boolean algebra theorems in the simplification of logical expressions
Group publication title:
Subject and Keywords:
sterowanie ; sterowanie-teoria ; sztuczna inteligencja ; matematyka stosowana ; informatyka
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.
Zielona Góra: Uniwersytet Zielonogórski
AMCS, volume 3, number 2 (1993) ; click here to follow the link