Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence

By Yoav Shoham. 1987

Subfields: Causal Inference & Discovery, Philosophy

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Causal Inference & Discovery

In Philosophy

Citations in the corpus

NExT-QA: Next Phase of Question-Answering to Explaining Temporal Actions (2021, background): “, “Why is the toddler crying?”, “How did the lady react after the toddler fell?”), which lies at the core of human intelligence [39], remains a great challenge for computational models and is also much less explored by existing video understanding tasks [22, 37, 49, 52, 56].”
Logical models of argument (2000, background): “Shoham's own work at this time considered preference on models [Shoham 1988], a semantical explanation of nonmonotonicity.”
CATER: A diagnostic dataset for Compositional Actions and TEmporal Reasoning (2019, background): “Reasoning about high-level cognitive concepts such as intentions, goals, and causal relations requires reasoning over long-term temporal structure and order (Shoham, 1987; Bobick, 1997).”
Default Reasoning about Spatial Occupancy (1995, unknown): “…← (Do1) Possible(Move(ob,p),s) Possible(Move(ob1,p1),s) ↔ (Do2) Shape(ob1)=r1 ∧ r2=Displace(r1,p1) ∧ ¬ ∃ ob2, r3, p2 [Holds(Occupies(ob2,r3),s) ∧ ob1≠ob2 ∧ p2 ∈ r2 ∧ p2 ∈ r3] Many techniques have been developed to address the frame problem, especially since Hanks and McDermott…”
ProbLog: A Probabilistic Prolog and its Application in Link Discovery (2007, background): “Then the completion of Σ corresponds to chronological ignorance [Shoham, 1988] in which later changes are preferred to earlier changes.”
On Variable Binding in Connectionist Networks (1992, background): “41 Q.E.DHaving dealt with Horn clause logic, we want to mention also that FEL canhandle as well an extension of Horn clause logic { Shoham's logic (Shoham 1987; amodal logic formalism purporting to explain causality), further demonstrating thepower of FEL (Sun 1991).”
Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto (2000, background): “This aspect of Allen’s system has been criticized (some of the axioms governing the logical functions are rather odd; furthermore, as the structure of property terms is never fully specified, it’s rather unclear what can and cannot be done with them; see Turner [54] and Shoham [53]).”
The First Law of Robotics (A Call to Arms) (1994, methodology): “By using a general, temporal logic such as that of [25] or [5, Ch.”