Evaluating a formal KBS specification language. van Harmelen , F., Aben, M., Ruiz, F., & van de Plassche , J. IEEE expert, 11(1):56–62, Institute of Electrical and Electronics Engineers Inc., 2, 1996.
doi  abstract   bibtex   
Formal specification languages can improve the development of knowledge-based systems (KBS), but several problems limit their usefulness. (ML)2, a formal language based on the knowledge models used in the CommonKADS KBS development method, avoids many of these problems. (ML)2 specifically aims at formalizing the CommonKADS expertise model. To analyze (ML)2 usability, a set of evaluation criteria was designed. A small case study was then performed, constructing and expertise model in (ML)2, to test and refine this criteria.
@article{76a11dc0f09f4423bb76bab0709a691d,
  title     = "Evaluating a formal KBS specification language",
  abstract  = "Formal specification languages can improve the development of knowledge-based systems (KBS), but several problems limit their usefulness. (ML)2, a formal language based on the knowledge models used in the CommonKADS KBS development method, avoids many of these problems. (ML)2 specifically aims at formalizing the CommonKADS expertise model. To analyze (ML)2 usability, a set of evaluation criteria was designed. A small case study was then performed, constructing and expertise model in (ML)2, to test and refine this criteria.",
  author    = "{van Harmelen}, Frank and Manfred Aben and Fidel Ruiz and {van de Plassche}, Joke",
  year      = "1996",
  month     = "2",
  doi       = "10.1109/64.482959",
  volume    = "11",
  pages     = "56--62",
  journal   = "IEEE expert",
  issn      = "0885-9000",
  publisher = "Institute of Electrical and Electronics Engineers Inc.",
  number    = "1",
}

Downloads: 0