参考文章(26)
Herbert L. Gelernter, Realization of a geometry theorem proving machine. ifip congress. pp. 273- 281 ,(1959)
Barbara Webb, Chapter 1 Using Robots to Understand Animal Behavior Advances in The Study of Behavior. ,vol. 38, pp. 1- 58 ,(2008) , 10.1016/S0065-3454(08)00001-6
Jarek Gryz, The Frame Problem in Artificial Intelligence and Philosophy Filozofia Nauki. ,vol. 21, pp. 15- 30 ,(2013)
J. J. Finger, Exploiting constraints in design synthesis Stanford University. ,(1987)
Allen Newell, Herbert A. Simon, Computer science as empirical inquiry Communications of the ACM. ,vol. 19, pp. 113- 126 ,(1976) , 10.1145/360018.360022
John McCarthy, Applications of circumscription to formalizing common-sense knowledge Artificial Intelligence. ,vol. 28, pp. 153- 166 ,(1987) , 10.1016/0004-3702(86)90032-9