• Corpus ID: 7721745

Representing Time and Action in Artiicial Intelligence

@inproceedings{Shoham2007RepresentingTA,
  title={Representing Time and Action in Artiicial Intelligence},
  author={Yoav Shoham and Nitakshi Goyal},
  year={2007}
}
Hierarchies for Event-Based Modeling of Geographic Phenomena
TLDR
This research constructs an algorithm to generate the part-whole hierarchy for events, which supports multiple representations of events and enables shifts among them, and gives a case study of a car accident scenario.
Event‐oriented approaches to geographic phenomena
TLDR
This paper argues that ‘happenings’ should be upgraded to an equal status with ‘things’ in dynamic geographic representations and suggests ways of doing this, and develops a pure event‐oriented theory of space and time.

References

SHOWING 1-10 OF 31 REFERENCES
SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC
  • V. Pratt
  • Computer Science, Philosophy
    FOCS 1976
  • 1976
TLDR
An appropriate axiom system is given which is complete for loop-free programs and also puts conventional predicate calculus in a different light by lumping quantifiers with non-logical assignments rather than treating them as logical concepts.
Time for action.
Past, present--and future?
Concurrent Actions in the Situation Calculus
TLDR
This work proposes a representation of Concurrent actions by introducing the notions of global actions and primitive actions, whose relationship is analogous to' that between situations and fluents, and proposes a framework in which situations and actions play quite symmetric roles.
What are the Limitations of the Situation Calculus?
TLDR
The structure of the housing is such that all surfaces exposed to liquid are free of screw threads or other surface configurations which are not readily sanitizable or sterilizable, particularly by autoclaving.
Temporal Logic of Programs
  • F. Kröger
  • Philosophy
    EATCS Monographs on Theoretical Computer Science
  • 1987
...
...