Reasoning about knowledge and action
作者： Robert C. Moore
DOI: 10.1016/B978-0-934613-03-3.50037-4
关键词:
摘要: This paper discusses the problems of representing and reasoning with information about knowledge action. The first section importance having systems that understand concept knowledge, how is related to Section 2 points out some special are involved in S presents a logic based on idea possible worlds. 4 integrates this actions gives an example combined system. 5 makes concluding comments.
ijcai.org
acm.org 
sci-hub.se 参考文章(12)
Jaakko Hintikka, Knowledge and belief ,(1962)
Robert C. Moore, D-SCRIPT: a computational theory of descriptions international joint conference on artificial intelligence. pp. 223- 229 ,(1973)
Robert C Moore, Reasoning from Incomplete Knowledge in a Procedural Deduction System ,(1980)
Drew V McDermott, Flexibility and Efficiency in a Computer Program for Designing Circuits Massachusetts Institute of Technology. ,(1976)
Gerald Jay Sussman, A Computer Model of Skill Acquisition ,(1975)
Jaakko Hintikka, Semantics for Propositional Attitudes Springer, Dordrecht. pp. 87- 111 ,(1969) , 10.1007/978-94-010-1711-4_6
Symposium on the Fetus and Birth (1976 : Ciba Foundation), A Structure for Plans and Behavior ,(1977)
Allen Newell, None, Production Systems: Models of Control Structures Visual Information Processing#R##N#Proceedings of the Eighth Annual Carnegie Symposium on Cognition, Held at the Carnegie-Mellon University, Pittsburgh, Pennsylvania, May 19, 1972. pp. 463- 526 ,(1973) , 10.1016/B978-0-12-170150-5.50016-0
J. McCarthy, P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence Machine intelligence. pp. 26- 45 ,(1987) , 10.1016/B978-0-934613-03-3.50033-7