Temporal knowledge formalization and reasoning

大多数(如果不是全部)现实世界的问题都有时间方面的问题。因此，对时间进行表述和推理的能力是任何智能系统不可或缺的一部分。该研究计划的长期目标是产生一个丰富、健壮和高效的时态知识表示和推理系统，能够解决广泛的复杂现实世界问题。另一个次要研究项目试图回答这个问题：“万维网有多大？”这个问题的答案既有商业意义，也有监管意义。我们使用了一种新的方法，基于生物学家一个多世纪以来一直在测量大量人口的观察结果。我们将生态学的方法应用到网络上。我们的目标是测量网络的确切大小(即，人口普查)，这是从来没有做过的。

Most, if not all real world problems have a temporal aspect. Therefore, the ability to represent and reason about time is an integral part of any intelligent system. The long term goal of the research program is to produce a rich, robust and efficient temporal knowledge representation and reasoning system capable of solving a wide range of complex real world problems. A secondary research project seeks to answer the question: "How big is the World Wide Web?" The answer has both commercial and regulatory implications. We use a novel approach based on the observation that biologists have been measuring large populations for over a century. We apply methods from ecology to the Web. Our goal is to measure the exact size of the Web (i.e., a census), which has never been done.