Temporal reasoning about uncertain worlds

作者: Steve Hanks

DOI:

关键词:

摘要: We present a program that manages database of temporally scoped beliefs. The basic functionality the system includes maintaining network constraints among time points, supporting variety fetches, mediating application causal rules, monitoring intervals for addition new facts, and managing data dependencies keep consistent. At this level operates independent any measure belief or calculus. provide an example how might use to implement

参考文章(14)
Thomas Dean, David Miller, R J Firby, The Forbin Paper. ,(1987)
Judea PEARL, A constraint - propagation approach to probabilistic reasoning uncertainty in artificial intelligence. ,vol. 4, pp. 31- 42 ,(1985) , 10.1016/B978-0-444-70058-2.50031-0
Brian Falkenhainer, None, Towards a General-Purpose Belief Maintenance System Uncertainty in Artificial Intelligence. ,vol. 5, pp. 125- 131 ,(1988) , 10.1016/B978-0-444-70396-5.50017-0
Symposium on the Fetus and Birth (1976 : Ciba Foundation), A Structure for Plans and Behavior ,(1977)
Eugene Charniak, None, Introduction to Artificial Intelligence ,(1985)
Drew V. McDermott, A temporal logic for reasoning about processes and plans Cognitive Science. ,vol. 6, pp. 101- 155 ,(1982) , 10.1016/S0364-0213(82)90003-9
Drew McDermott, Steve Hanks, Default reasoning, nonmonotonic logics, and the frame problem national conference on artificial intelligence. pp. 328- 333 ,(1986)