作者: 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