Generating Symbolic and Natural Language Partial Solutions for Inclusion in Medical Plans

  • S. Modgil
  • P. Hammond
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2101)


We describe the generation of partial solutions to Prolog queries posed during the design of medical treatment plans. Given a set of Prolog encoded safety principles, the queries request advise on plan revisions to conform with safety requirements. The user unfolds queries interactively, navigating a path through the solution search space by interacting with natural language representations of the Prolog terms. In this way, both symbolic and natural language representations of partial solutions can be generated. The former can be included in the plan, and the latter exported to a protocol document describing the plan. Hence, useful and informative partial solutions are still obtained despite incom- pleteness of the underlying knowledge base, which ordinarily would mean failure of a query. Furthermore, the user can avoid being overwhelmed by surplus solutions, and unfold to levels of detail suitable for different plans and their accompanying protocols.


Partial Solution Partial Evaluation Proof Tree Natural Language Generation Protocol Document 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Cholvy L. Answering queries addressed to a rule base. In: Revue d’intelligence artificielle, 4(1), pp 79–98, 1990.Google Scholar
  2. 2.
    Erbach G. ProFIT: Prolog with Features, Inheritance, and Templates. In: Seventh Conference of the European Chapter of the Association for Computational Linguistics, pp 180–187, Dublin, 1995.Google Scholar
  3. 3.
    Gaasterland T., and Minker J. User needs and language generation issues in a co-operative answering system. In: ICLP Workshop on Advanced Logic Programming Tools and Formalisms for Language Processing, Paris, France, June, 1991.Google Scholar
  4. 4.
    Giacomo D. Intensional query answering by partial evaluation. In: Journal of Intelligent Information Systems, 3(7), pp 205–233, Kluwer Academic Publishers, 1996.CrossRefGoogle Scholar
  5. 5.
    Hammond P., Harris AL., Das SK., and Wyatt JC. Safety and decision support in oncology. In: Methods of Information in Medicine, 33(4), pp 371–381,1994.Google Scholar
  6. 6.
    Hammond P., and Sergot MJ. Computer support for protocol-based treatment of cancer. In: Journal of Logic Programming, 26(2), pp 93–111, Feb 1996.CrossRefGoogle Scholar
  7. 7.
    Hammond P., Sergot M.J., and Wyatt J.C. Safety reasoning in medical decision support. In: Artificial Intelligence in Medicine: Research Frontiers and Funding Opportunities. IEE. Digest No: 96/031, 1996.Google Scholar
  8. 8.
    Imielinski T. Intelligent Query Answering in Rule Based Systems. In: Foundations of Deductive Databases and Logic Programming, 1988 (ed. Minker T.,), Morgan Kaufman, Washington, D.C.Google Scholar
  9. 9.
    Lloyd J.W., and Shepherdson J.C. Partial evaluation in logic programming. In Journal of Logic Programming, 11(3&4), pp 217–242, 1991.CrossRefMathSciNetzbMATHGoogle Scholar
  10. 10.
    Nilsson U., and Matuszynski J. Logic, Programming and Prolog. John Wiley and Sons, 1990.Google Scholar
  11. 11.
    Potts H., Wyatt J., Modgil S., Hammond P., Altman D. Evaluating decision support systems with distinctive or complex output: solutions from the Design-a-Trial project. Submitted to 8th European conference on AI in Medicine, AIME’01. 2001.Google Scholar
  12. 12.
    Reiter E., and Dale R. Building Applied Natural Language Generation Systems. In: Journal of Natural-Language Engineering, (3), pp 57–87, 1997.Google Scholar
  13. 13.
    Sergot MJ. A Query-the-User facility for Logic Programming. In: Integrated Interactive Computer Systems, 1983 (eds. Degano and Sandewall ); E. North Holland.Google Scholar
  14. 14.
    Wolstenholme DE., 1988. Saying “I don’t know” and conditional answers. In: Research and Development in Expert Systems IV, 1988, (ed. Moralee, D.S.), pp 115–125. Cambridge University Press.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • S. Modgil
    • 1
  • P. Hammond
    • 1
  1. 1.Biomedical Informatics Unit, Eastman Dental InstituteUniversity College LondonUK

Personalised recommendations