Skip navigation

Guest Editorial. Special Issue: Temporal logic in engineering

Guest Editorial. Special Issue: Temporal logic in engineering

Nissan, Ephraim (1999) Guest Editorial. Special Issue: Temporal logic in engineering. AI EDAM (Artificial Intelligence for Engineering Design, Analysis and Manufacturing), 13 (2). p. 65. ISSN 0890-0604 (Print), 1469-1760 (Online)

Full text not available from this repository.

Abstract

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.

Item Type: Article
Additional Information: [1] First published in print: April 1999. [2] Published online: 8 September 2000. [3] Guest editorial for the Special Issue: Temporal Logic in Engineering
Uncontrolled Keywords: temporal logic, engineering, logic-based models
Subjects: T Technology > TA Engineering (General). Civil engineering (General)
Pre-2014 Departments: School of Computing & Mathematical Sciences
Related URLs:
Last Modified: 14 Oct 2016 08:59
Selected for GREAT 2016: None
Selected for GREAT 2017: None
Selected for GREAT 2018: None
URI: http://gala.gre.ac.uk/id/eprint/221

Actions (login required)

View Item View Item