We explore the paradigm of artifact-centric systems from a knowledge-based perspective. We provide a semantics based on interpreted-systems to interpret a first-order temporal-epistemic language with identity in a multi-agent setting. We consider the model checking problem for this language and provide abstraction results. We isolate a natural subclass of artifact-systems for which the model checking problem is de-cidable. We give an upper bound on the complexity of the model checking problem. Copyright © 2012, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.
An abstraction technique for the verification of artifact-centric systems / F., Belardinelli; A., Lomuscio; Patrizi, Fabio. - ELETTRONICO. - (2012), pp. 319-328. (Intervento presentato al convegno 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 tenutosi a Rome nel 10 June 2012 through 14 June 2012).
An abstraction technique for the verification of artifact-centric systems
PATRIZI, FABIO
2012
Abstract
We explore the paradigm of artifact-centric systems from a knowledge-based perspective. We provide a semantics based on interpreted-systems to interpret a first-order temporal-epistemic language with identity in a multi-agent setting. We consider the model checking problem for this language and provide abstraction results. We isolate a natural subclass of artifact-systems for which the model checking problem is de-cidable. We give an upper bound on the complexity of the model checking problem. Copyright © 2012, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
