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. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1017/S0890060499132013 | AI EDAM |
Keywords | Field | DocType |
great number,artificial intelligence,temporal logic,petri net,special issue,epistemic logic,logic-based model,temporal model,deontic necessity,modal operator,deontic logic | Computation tree logic,T-norm fuzzy logics,Deontic logic,Petri net,Accessibility relation,Modal operator,Artificial intelligence,Formalism (philosophy),Temporal logic,Engineering | Journal |
Volume | Issue | ISSN |
13 | 2 | 0890-0604 |
Citations | PageRank | References |
1 | 0.35 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ephraim Nissan | 1 | 164 | 21.59 |