Lloyd, J.W.: 1990, Computational Logic, Proceedings of the ESPRIT Basic Reasaerch Activities Symposium, Bruxels, Nov. 1990, Springer, Berlin, Germany.  Home/Search   Document Not in Database   Summary   Related Articles

....(Cunis, 1991) The main reason for this seems to be the needed synthetic kind of problem solving characterizing configuration. The great majority of well formalized approaches known today are deductive ones, i.e. they are proof oriented, not synthesis oriented (for an overview see for instance Lloyd, 1990). On the other side, synthetic aspects play a major role in a lot of problem classes, thus research is under way at many places on such topics as abduction (O Rorke (1990 1991) Lloyd, 1990) model generation (Manthey and Bry (1988) Denecker and DeSchreye (1992) Fujita et al. 1992) model ....

.... are deductive ones, i.e. they are proof oriented, not synthesis oriented (for an overview see for instance Lloyd, 1990) On the other side, synthetic aspects play a major role in a lot of problem classes, thus research is under way at many places on such topics as abduction (O Rorke (1990 1991) Lloyd, 1990), model generation (Manthey and Bry (1988) Denecker and DeSchreye (1992) Fujita et al. 1992) model elimination (Stickel (1985) Bowen and Bahler, 1991 1993) etc. which could provide a suitable formal platform for synthetic problem solving. The Constructive Problem Solving (CPS) has been ....

Lloyd, J.W.: 1990, Computational Logic, Proceedings of the ESPRIT Basic Reasaerch Activities Symposium, Bruxels, Nov. 1990, Springer, Berlin, Germany.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC