Episodic Memory Representation in a Knowledge Base , with Application to Event Monitoring and Event Detection

The thesis explores the use of a knowledge-based AI system to assist people in executing procedures and detecting events in an observed world. We extend the Scone knowledge-base system with open-ended facilities for representing time and events. Then we use this episodic knowledge representation as the foundation for our event monitoring and event detection algorithms. This approach lets us represent and reason about three fundamental aspects of the observed events: 1. their ontological character and what entities take part in these events (e.g. buying is a kind of transaction that involves an agent, a seller, money and goods) 2. how events change the world over time (e.g. after a buy event the agent has the goods rather than the money) 3. how events may be composed of other subevents (i.e. a buy event may be composed of giving money and receiving goods) We illustrate knowledge-based solutions to the event monitoring problem in the conference organization domain and to the event detection problem in the national security domain.

[1]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[2]  Jerry R. Hobbs,et al.  An ontology of time for the semantic web , 2004, TALIP.

[3]  Sharma Chakravarthy,et al.  Composite Events for Active Databases: Semantics, Contexts and Detection , 1994, VLDB.

[4]  Kent Bach Actions are not Events , 1980 .

[5]  John B. Lowe,et al.  The Berkeley FrameNet Project , 1998, ACL.

[6]  Mark James,et al.  An autonomous diagnostic and prognostic monitoring system for NASA's Deep Space Network , 2000, 2000 IEEE Aerospace Conference. Proceedings (Cat. No.00TH8484).

[7]  James F. Allen Towards a General Theory of Action and Time , 1984, Artif. Intell..

[8]  S. Pinker The Stuff of Thought: Language as a Window into Human Nature , 2007 .

[9]  C. Fillmore FRAME SEMANTICS AND THE NATURE OF LANGUAGE * , 1976 .

[10]  Martha Palmer,et al.  Verbnet: a broad-coverage, comprehensive verb lexicon , 2005 .

[11]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[12]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[13]  C. J. Ducasse On the Nature and the Observability of the Causal Relation , 2018, Routledge Library Editions: Epistemology.

[14]  Carl Hewitt,et al.  PLANNER: A Language for Proving Theorems in Robots , 1969, IJCAI.

[15]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[16]  Stephan Merz,et al.  Temporal Logic and State Systems , 2008, Texts in Theoretical Computer Science. An EATCS Series.

[17]  Gilles Dowek,et al.  Higher-Order Unification and Matching , 2001, Handbook of Automated Reasoning.

[18]  Daniel Gildea,et al.  The Proposition Bank: An Annotated Corpus of Semantic Roles , 2005, CL.

[19]  Heikki Mannila,et al.  Discovery of Frequent Episodes in Event Sequences , 1997, Data Mining and Knowledge Discovery.

[20]  R. M. Hare,et al.  Norm and Action: A Logical Enquiry. , 1965 .

[21]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[22]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[23]  Alon Lavie,et al.  A framework for resolution of time in natural language , 2004, TALIP.

[24]  G. Ryle,et al.  The concept of mind. , 2004, The International journal of psycho-analysis.

[25]  Scott E. Fahlman,et al.  Marker-Passing Inference in the Scone Knowledge-Base System , 2006, KSEM.

[26]  Jaideep Srivastava,et al.  Event detection from time series data , 1999, KDD '99.

[27]  Oren Etzioni,et al.  PRODIGY: an integrated architecture for planning and learning , 1991, SGAR.

[28]  Georg Gottlob,et al.  Complexity Results for Nonmonotonic Logics , 1992, J. Log. Comput..

[29]  Stephan Merz,et al.  Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) , 2010 .

[30]  Roderick M. Chisholm The Descriptive Element in the Concept of Action , 1964 .

[31]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[32]  Christiane Fellbaum,et al.  Book Reviews: WordNet: An Electronic Lexical Database , 1999, CL.

[33]  Scott E. Fahlman,et al.  NETL: A System for Representing and Using Real-World Knowledge , 1979, CL.