loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Gianfranco Lamperti ; Federica Vivenzi and Marina Zanella

Affiliation: Università di Brescia, Italy

ISBN: 978-989-8111-37-1

ISSN: 2184-4992

Keyword(s): Similarity-based diagnosis, discrete-event systems, temporal observations, subsumption.

Related Ontology Subjects/Areas/Topics: Applications of Expert Systems ; Artificial Intelligence and Decision Support Systems ; Enterprise Information Systems ; Verification and Validation of Knowledge-Based Systems

Abstract: Similarity-based diagnosis of large active systems is supported by reuse of knowledge generated for solving previous diagnostic problems. Such knowledge is cumulatively stored in a knowledge-base, when the diagnostic session is over. When a new diagnostic problem is to be faced, the knowledge-base is queried in order to possibly find a similar, reusable problem. Checking problem-similarity requires, among other constraints, that the observation relevant to the new problem be subsumed by the observation relevant to the problem in the knowledge-base. However, checking observation-subsumption, following its formal definition, is time and space consuming. The bottleneck lies in the generation of a nondeterministic automaton, its subsequent transformation into a deterministic one (the index space of the observation), and a regular-language containment-checking. In order to speed up the diagnostic process, an alternative technique is proposed, based on the notion of coverage. Besides being effective, subsumption-checking via coverage is also efficient because no index-space generation or comparison is required. Experimental evidence supports this claim. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.238.147.211

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Lamperti, G.; Vivenzi, F. and Zanella, M. (2008). ON CHECKING TEMPORAL-OBSERVATION SUBSUMPTION IN SIMILARITY-BASED DIAGNOSIS OF ACTIVE SYSTEMS.In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS, ISBN 978-989-8111-37-1, pages 44-53. DOI: 10.5220/0001696200440053

@conference{iceis08,
author={Gianfranco Lamperti and Federica Vivenzi and Marina Zanella},
title={ON CHECKING TEMPORAL-OBSERVATION SUBSUMPTION IN SIMILARITY-BASED DIAGNOSIS OF ACTIVE SYSTEMS},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS,},
year={2008},
pages={44-53},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001696200440053},
isbn={978-989-8111-37-1},
}

TY - CONF

JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS,
TI - ON CHECKING TEMPORAL-OBSERVATION SUBSUMPTION IN SIMILARITY-BASED DIAGNOSIS OF ACTIVE SYSTEMS
SN - 978-989-8111-37-1
AU - Lamperti, G.
AU - Vivenzi, F.
AU - Zanella, M.
PY - 2008
SP - 44
EP - 53
DO - 10.5220/0001696200440053

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.