A temporal logic for reasoning about processes and plans
作者： Drew V. McDermott
DOI: 10.1016/S0364-0213(82)90003-9
关键词:
摘要: Much previous work in artificial intelligence has neglected representing time all its complexity. In particular, it continuous change and the indeterminacy of future. To rectify this, I have developed a first-order temporal logic, which is possible to name prove things about facts, events, plans, world histories. logic provides analyses causality, quantities, persistence facts (the frame problem), relationship between tasks actions. It may be implement temporal-inference machine based on this keeps track several “maps” line, one per history.
sci-hub.se 参考文章(31)
Roger C. Schank, Conceptual Information Processing ,(1975)
Robert C. Moore, Reasoning about knowledge and action international joint conference on artificial intelligence. pp. 223- 227 ,(1977) , 10.1016/B978-0-934613-03-3.50037-4
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)
Symposium on the Fetus and Birth (1976 : Ciba Foundation), A Structure for Plans and Behavior ,(1977)
E CHARNIAK, A framed painting: The representation of a common sense knowledge fragment Cognitive Science. ,vol. 1, pp. 355- 394 ,(1977) , 10.1016/S0364-0213(77)80015-3
Jon Doyle, A truth maintenance system Artificial Intelligence. ,vol. 12, pp. 231- 272 ,(1979) , 10.1016/0004-3702(79)90008-0
Elliott Mendelson, Introduction to Mathematical Logic ,(1964)
Alan Ross Anderson, Nicholas Rescher, R. Ackermann, The Logic of Decision and Action ,(1967)