Hayes, P. J.


The logic of frames

Classics

In Metzing, D. (Ed.), Frame Conceptions and Text Understanding, pp. 46–61. de Gruyter.


In defence of logic

Classics

Proc. IJCAI 77 VOL 1 MASSACHUSETTS INSTITUTE OF TECHNOLOGY CAMBRIDGE, MASSACHUSETTS, USA AUGUST 22 - 25 , 1977, pp.559-565.



Some philosophical problems from the standpoint of artificial intelligence

Classics

"A computer program capable of acting intelligently in the world must have a general representation of the world in terms of which its inputs are interpreted. Designing such a program requires commitments about what knowledge is and how it is obtained. Thus, some of the major traditional problems of philosophy arise in artificial intelligence.More specifically, we want a computer program that decides what to do by inferring in a formal language that a certain strategy will achieve its assigned goal. This requires formalizing concepts of causality, ability, and knowledge. Such formalisms are also considered in philosophical logic." - from the Introduction reprinted in Matthew Ginsberg (ed.), Readings in Nonmonotonic Reasoning, pp. 26-45, San Francisco: Morgan Kaufmann Publishers, Inc., 1987.Stanford web version. D. Michie and B. Meltzer (Eds.), Machine intelligence 4 - Edinburgh: Edinburgh University Press, 463-502