Structure-preserving specification languages for knowledge-based systems. Van Harmelen, F. & Aben, M. International Journal of Human-computer Studies, 44(2):187–212, Academic Press Inc., 2, 1996.
doi  abstract   bibtex   
Much of the work on validation and verification of knowledge based systems (KBSs) has been done in terms of implementation languages (mostly rule-based languages). Recent papers have argued that it is advantageous to do validation and verification in terms of a more abstract and formal specification of the system. However, constructing such formal specifications is a difficult task. This paper proposes the use of formal specification languages for KBS-development that are closely based on the structure of informal knowledge-models. The use of such formal languages has as advantages that (i) we can give strong support for the construction of a formal specification, namely on the basis of the informal description of the system; and (ii) we can use the structural correspondence to verify that the formal specification does indeed capture the informally stated requirements.
@article{daf4c16d543c4ce0aec82cc5f52ece68,
  title     = "Structure-preserving specification languages for knowledge-based systems",
  abstract  = "Much of the work on validation and verification of knowledge based systems (KBSs) has been done in terms of implementation languages (mostly rule-based languages). Recent papers have argued that it is advantageous to do validation and verification in terms of a more abstract and formal specification of the system. However, constructing such formal specifications is a difficult task. This paper proposes the use of formal specification languages for KBS-development that are closely based on the structure of informal knowledge-models. The use of such formal languages has as advantages that (i) we can give strong support for the construction of a formal specification, namely on the basis of the informal description of the system; and (ii) we can use the structural correspondence to verify that the formal specification does indeed capture the informally stated requirements.",
  author    = "{Van Harmelen}, Frank and Manfred Aben",
  year      = "1996",
  month     = "2",
  doi       = "10.1006/ijhc.1996.0010",
  volume    = "44",
  pages     = "187--212",
  journal   = "International Journal of Human-computer Studies",
  issn      = "1071-5819",
  publisher = "Academic Press Inc.",
  number    = "2",
}

Downloads: 0