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:	Publisher Publisher
Last Modified:	14 Oct 2016 08:59
URI:	http://gala.gre.ac.uk/id/eprint/221

Actions (login required)

View Item