The logic of events

  • Authors:

  • Glenn Shafer;Peter R. Gillett;Richard Scherl

  • Affiliations:

  • Department of Accounting and Information Systems, Faculty of Management, Rutgers University, 180 University Avenue, Newark, NJ 07102‐1897, USA, also Department of Computer Science, Royal Ho ...;Department of Accounting and Information Systems, Faculty of Management, Rutgers University, Janice H. Levin Building, 94 Rockafeller Road, Piscataway, NJ 08854‐8054, USA Email: gillett&co ...;Department of Computer and Information Science, New Jersey Institute of Technology, Newark, NJ 07102‐1982, USA Email: scherl@cis.njit.edu

  • Venue:
  • Annals of Mathematics and Artificial Intelligence
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

An event space is a set of instantaneous events that vary both in time and specificity. The concept of an event space provides a foundation for a logical – i.e., modular and open – approach to causal reasoning. In this article, we propose intuitively transparent axioms for event spaces. These axioms are constructive in the intuitionistic sense, and hence they can be used directly for causal reasoning in any computational logical framework that accommodates type theory. We also put the axioms in classical form and show that in this form they are adequate for the representation in terms of event trees established by Shafer [40] using stronger axioms.