Logic and Formalized Aspects of Artificial Intelligence

Abstract Adequate evaluation of the significance of logic and its methods for the development of artificial intelligence is a methodological sine qua non for further progress in this field. The authors believe it desirable to continue the research in development of a formalized logical system for representing a model of the environment where an “intelligent” robot operates. Minsky’s criticism of logic is considered and found not quite justified but containing a grain of truth which is needed to develop nonclassical logic. Certain results in tense logic and modal logic lead to an improvement of the environment representation system and of the robot strategy.