Finite-State temporal projection

Authors:
Tim Fernando
Affiliations:
Computer Science, Trinity College, Dublin 2, Ireland
Venue:
CIAA'06 Proceedings of the 11th international conference on Implementation and Application of Automata
Year:
2006

Citing 2
Cited 1

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
A Finite-state Approach to Events in Natural Language Semantics

Journal of Logic and Computation

Situations in LTL as strings

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Finite-state methods are applied to determine the consequences of events, represented as strings of sets of fluents. Developed to flesh out events used in natural language semantics, the approach supports reasoning about action in AI, including the frame problem and inertia. Representational and inferential aspects of the approach are explored, centering on conciseness of language, context update and constraint application with bias.