A logic of action, causality, and the temporal relations of events

Richard Scherl, Glenn Shafer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Abstract

Proposes a logic of action and causality, called Cscr/Ascr/Lscr/ (Causality and Action Logic). The most important part of our contribution is a semantics that integrates action, temporal structure and probability. The semantics is based on a mathematical structure called an event space. This space is inhabited by situations or instantaneous events with binary relations over them. The temporal relations within an event space include several relations that different authors have labeled "cause". Our language does not single out any one of them under this name and therefore avoids any appearance of reliance on some mysterious relation of causality that goes beyond the facts about the world and about how its evolution is best predicted.

Original languageEnglish (US)
Title of host publicationProceedings - 5th International Workshop on Temporal Representation and Reasoning, TIME 1998
EditorsLina Khatib, Robert Morris
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages89-96
Number of pages8
ISBN (Electronic)0818684739
DOIs
StatePublished - 1998
Event5th International Workshop on Temporal Representation and Reasoning, TIME 1998 - Sanibel Island, United States
Duration: May 16 1998May 17 1998

Publication series

NameProceedings of the International Workshop on Temporal Representation and Reasoning

Conference

Conference5th International Workshop on Temporal Representation and Reasoning, TIME 1998
Country/TerritoryUnited States
CitySanibel Island
Period5/16/985/17/98

All Science Journal Classification (ASJC) codes

  • Mathematics(all)

Fingerprint

Dive into the research topics of 'A logic of action, causality, and the temporal relations of events'. Together they form a unique fingerprint.

Cite this