Publications of K. Truemper

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author Truemper K., in the category IASI Research Reports (or show them all):


IASI Research Report n. 479  (Previous    Next)  

Truemper K.

Efficient algorithms for subclasses of the futile questioning problem

ABSTRACT
Define the following problem to be the futile questioning problem of propositional logic. The input consists of two propositional logic formulas S and T. Some variables of S are declared to be question variables. One either must assign True/False values to the question variables of S such that T becomes a theorem of the modified S, or must conclude that no such assignment of True/False values is possible. The futile questioning problem as well as a generalization involving logic minimization are readily shown to be difficult in general. We describe efficient solution algorithms for large subclasses of these problems and discuss example applications involving expert systems.
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -