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.