An approach to validation of deductive conceptual models
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/373286
Tipus de documentText en actes de congrés
Data publicació1991
EditorUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 4.0 Internacional
Abstract
We propose an approach to validation of deductive conceptual models. This validation is performed through plan generation. The objective of plan generation is to determine sequences of events that lead to a certain goal state from a certain initial state. Our approach generates a plan in n stages obtaining at each of them the events of the plan that occur at each time point. At each stage, we use the intemal events model, obtained from the deductive conceptual model, which explicitly defines insertions and deletions of information induced by previous occurrence or absence of extemal events. An extension of SLDNF procedure can then be used to obtain sequences of externa! events that lead to the goal state.
This work has been partially supported by PRONTIC program project TIC 680
CitacióCostal Costa, D. An approach to validation of deductive conceptual models. A: "Proceedings of the 2nd International Workshop on the Deductive Approach to Information Systems and Databases". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991, p. 50-72.
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
2DAISD_03 An approach to validation.pdf | 1014,Kb | Visualitza/Obre |