Hostname: page-component-78c5997874-m6dg7 Total loading time: 0 Render date: 2024-11-05T03:44:49.521Z Has data issue: false hasContentIssue false
  • English
  • Français

Special Issue: Temporal Logic in Engineering

Published online by Cambridge University Press:  01 April 1999

EPHRAIM NISSAN
EPHRAIM NISSAN
Affiliation:
School of Computing and Mathematical Sciences, University of Greenwich, Wellington Street, Woolwich, London SE18 6PF, U.K.
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Logic-based models are thriving within artificial intelligence. A great number of new logics have been defined, and their theory investigated. Epistemic logics introduce modal operators for knowledge or belief; deontic logics are about norms, and introduce operators of deontic necessity and possibility (i.e., obligation or prohibition). And then we have a much investigated class—temporal logics—to whose application to engineering this special issue is devoted. This kind of formalism deserves increased widespread recognition and application in engineering, a domain where other kinds of temporal models (e.g., Petri nets) are by now a fairly standard part of the modelling toolbox.

Type
GUEST EDITORIAL
Information
AI EDAM , Volume 13 , Issue 2 , April 1999 , pp. 65
Copyright
© 1999 Cambridge University Press