Work

Temporal Landscapes: A Graphical Logic of Behavior

Year: 2022

Type: article

Abstract: We present an elementary introduction to a new logic for reasoning about behaviors that occur over time. This logic is based on temporal type theory. The syntax of the logic is similar to the usual first-order logic; what differs is the notion of truth value. Instead of reasoning about whether formulas are true or false, our logic reasons about temporal landscapes. A temporal landscape may be thought of as representing the set of durations over which a statement is true. To help understand the practical implications of this approach, we give a wide variety of examples where this logic is used to reason about autonomous agents.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.372.20

Authors: Brendan Fong, Alberto Speranzon, David I. Spivak

Institutions: Topos Institute, Massachusetts Institute of Technology, Honeywell (United States)

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funder: Air Force Office of Scientific Research

Awards: G1072749480, G1523888516, G260750634, G73798499