Next:
Introduction
Up:
main
Previous:
Outline
Contents
Theories of Time and Action
Subsections
Introduction
Issues in Representing and Reasoning about Time
Time Passage
Temporal Elements
Time Structure
Temporal Information
Property Inheritance
Representation Methodology
Issues in Representing and Reasoning about Actions and Effects
Unchanged Properties
Action Conditions
Indirect Effects
Effect Time
Effect Duration
External Changes
Action Durations
Overlapping Actions
Concurrent Actions
Natural Actions
In-Deterministic Effects
Relations Between Actions
Survey of Formalisms
Situation Calculus
Event Calculus
McDermott's Point-based Temporal Logic
Allen's Interval Based Temporal Logic
Features and Fluents
Semantic Network Processing System--SNePS
Discussion
Darsana Josyula 2006-01-16
