@inbook{b9e4e042dd474445b581ce0311d52bd8,
  title     = "From natural language to formal proof goal* structured goal formalisation applied to medical guidelines (extended abstract)",
  abstract  = "The main problem encountered when starting verification of goals for some formal system, is the ambiguity of those goals when they are specified in natural language. To verify goals given in natural language, a translation of those goals to the formalism of the verification tool is required. The main concern is to assure equivalence of the final translation and the original. A structured method is required to assure equivalence in every case. This article proposes a goal formalisation method in five steps, in which the domain expert is involved in such a way that the correctness of the result can be assured. The contribution of this article is a conceptual goal model, a formal expression language for this model, and a structured method which transforms any input goal to a fully formalised goal in the required target formalism. The proposed formalisation method guarantees essential properties like correctness, traceability, reduced variability and reusability.",
  author    = "Ruud Stegers and Teije, {Annette Ten} and {Van Harmelen}, Frank",
  year      = "2006",
  isbn      = "3540463631",
  volume    = "4248 LNAI",
  series    = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
  publisher = "Springer/Verlag",
  pages     = "51--58",
  booktitle = "Managing Knowledge in a World of Networks - 15th International Conference, EKAW 2006, Proceedings",
}

{"_id":"eE95hsm7hDgLf2sZk","bibbaseid":"stegers-teije-vanharmelen-fromnaturallanguagetoformalproofgoalstructuredgoalformalisationappliedtomedicalguidelinesextendedabstract-2006","downloads":0,"creationDate":"2017-10-10T08:05:28.906Z","title":"From natural language to formal proof goal* structured goal formalisation applied to medical guidelines (extended abstract)","author_short":["Stegers, R.","Teije, A.","Van Harmelen, F."],"year":2006,"bibtype":"inbook","biburl":"https://raw.githubusercontent.com/KRRVU/website/master/publications/krr.bib","bibdata":{"bibtype":"inbook","type":"inbook","title":"From natural language to formal proof goal* structured goal formalisation applied to medical guidelines (extended abstract)","abstract":"The main problem encountered when starting verification of goals for some formal system, is the ambiguity of those goals when they are specified in natural language. To verify goals given in natural language, a translation of those goals to the formalism of the verification tool is required. The main concern is to assure equivalence of the final translation and the original. A structured method is required to assure equivalence in every case. This article proposes a goal formalisation method in five steps, in which the domain expert is involved in such a way that the correctness of the result can be assured. The contribution of this article is a conceptual goal model, a formal expression language for this model, and a structured method which transforms any input goal to a fully formalised goal in the required target formalism. The proposed formalisation method guarantees essential properties like correctness, traceability, reduced variability and reusability.","author":[{"firstnames":["Ruud"],"propositions":[],"lastnames":["Stegers"],"suffixes":[]},{"propositions":[],"lastnames":["Teije"],"firstnames":["Annette Ten"],"suffixes":[]},{"propositions":[],"lastnames":["Van Harmelen"],"firstnames":["Frank"],"suffixes":[]}],"year":"2006","isbn":"3540463631","volume":"4248 LNAI","series":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","publisher":"Springer/Verlag","pages":"51–58","booktitle":"Managing Knowledge in a World of Networks - 15th International Conference, EKAW 2006, Proceedings","bibtex":"@inbook{b9e4e042dd474445b581ce0311d52bd8,\n title = \"From natural language to formal proof goal* structured goal formalisation applied to medical guidelines (extended abstract)\",\n abstract = \"The main problem encountered when starting verification of goals for some formal system, is the ambiguity of those goals when they are specified in natural language. To verify goals given in natural language, a translation of those goals to the formalism of the verification tool is required. The main concern is to assure equivalence of the final translation and the original. A structured method is required to assure equivalence in every case. This article proposes a goal formalisation method in five steps, in which the domain expert is involved in such a way that the correctness of the result can be assured. The contribution of this article is a conceptual goal model, a formal expression language for this model, and a structured method which transforms any input goal to a fully formalised goal in the required target formalism. The proposed formalisation method guarantees essential properties like correctness, traceability, reduced variability and reusability.\",\n author = \"Ruud Stegers and Teije, {Annette Ten} and {Van Harmelen}, Frank\",\n year = \"2006\",\n isbn = \"3540463631\",\n volume = \"4248 LNAI\",\n series = \"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)\",\n publisher = \"Springer/Verlag\",\n pages = \"51--58\",\n booktitle = \"Managing Knowledge in a World of Networks - 15th International Conference, EKAW 2006, Proceedings\",\n}\n\n\n","author_short":["Stegers, R.","Teije, A.","Van Harmelen, F."],"key":"b9e4e042dd474445b581ce0311d52bd8","id":"b9e4e042dd474445b581ce0311d52bd8","bibbaseid":"stegers-teije-vanharmelen-fromnaturallanguagetoformalproofgoalstructuredgoalformalisationappliedtomedicalguidelinesextendedabstract-2006","role":"author","urls":{},"metadata":{"authorlinks":{}}},"search_terms":["natural","language","formal","proof","goal","structured","goal","formalisation","applied","medical","guidelines","extended","abstract","stegers","teije","van harmelen"],"keywords":[],"authorIDs":[],"dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT"]}