AIME 87 pp 192-201 | Cite as

The kernel mechanism for handling assumptions and justifications and its application to the biotechnologies

  • M. A. Cherubini
  • S. A. Cerri
  • R. Sbarbati
Part of the Lecture Notes in Medical Informatics book series (LNMED, volume 33)


In fields such as medicine and biology knowledge is still empirical and in rapid development. It is therefore needed to develop theories and systems for handling incomplete -thus possibly contradictory- knowledge, in order to be able to incorporate new knowledge that arises from the interpretation of the experimental outcomes and to acquire knowledge by communicating with other (human or artificial) experts.

The paper presents the kernel of a set of possible knowledge-based systems that integrate assumptions and justifications for the interpretation of new knowledge in order to control the possible non-monotonic reasoning processes.

The behaviour of the system is described by means of examples taken by an advisor for decision making in performing laboratory experiments for the production of monoclonal antibodies which is currently under study.


Inbred Strain Problem Solver Multiple Context Context Manager Screening Phase 
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. [Cerri et al. ′85]
    Cerri, S. A., Cherubini, M. A., Minciotti, C., Saffiotti, A. and Sbarbati, R. Towards a skilled assistant in the industriai production of monoclonal antibodies. In: Artificial Intelligence in Medicine, De Lotto, I. and Stefanelli, M. (eds.). North Holland: 95–105 (1985).Google Scholar
  2. [Cerri ′86]
    Cerri, S.A. Ambiguity in Knowledge representation. In: Proc. 7th Eur.Conf. on Artificial Intelligence ECAI-86, Brighton; Vol. II: 182–187; North Holland, 1986Google Scholar
  3. [Cherubini ′87]
    Cherubini, M. A. Ragionamento con informazione incompleta (Reasoning with Incomplete Knowledge! Thesis, Department of Informatics, Univ. of Pisa, Feb. 1987 (in Italian)Google Scholar
  4. [de Kleer ′86]
    de Kleer, J. An Assumption-based TMS. Artificial Intelligence, 28: 127–162 (1986)CrossRefGoogle Scholar
  5. [Doyle ′79]
    Doyle, J. A Truth Maintenance System. Artificial Intelligence 12: 231–272 (1979).CrossRefGoogle Scholar
  6. [Genesereth et al. ′84]
    Genesereth, M. R., Greiner, R., Grinberg, M. R. and Smith, D. E. The MRS dictionary. Stanford Heuristic Programming Project, Report HPP-80-24 (1984).Google Scholar
  7. [Lo et al. ′84]
    Lo, M. M. S., Tsong, T. Y., Conrad, M. K., Strittmatter, S. M., Hester, L. D. and Snyder, S. H. Monoclonal antibody production bv receptor-mediated electrically induced cell fusion. Nature 310: 792–794 (1984).PubMedCrossRefGoogle Scholar
  8. [Martins and Shapiro ′83]
    Martins, J.P., Shapiro, S.C. Reasoning in Multiple Belief Space, Proc. 8th IJCAI.- 370–373 (1983)Google Scholar
  9. [McAllester ′80]
    McAllester, D. A. An OutlPoK on Truth Maintenance- MiTAi-Memo55i (1980).Google Scholar
  10. [Milstein ′80]
    Milstein, C. Monoclonal antibodies- Scientific American 243: 4–56 (1980).Google Scholar
  11. [Stallman and Sussman ′77]
    Stallman,R.M. and Sussman, G. J. Forward reasoning and dependency-directed-backtracking in a system for computer-aided circuit analysis. Artificial Intelligence 9: 135–196 (1977).CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • M. A. Cherubini
    • 1
  • S. A. Cerri
    • 1
    • 2
  • R. Sbarbati
    • 3
  1. 1.Knowledge Engineering Research UnitMario Negri Institute for Pharmacological ResearchMilanoItaly
  2. 2.Dipartimento di Scienze dell’InformazioneUniversità di MilanoMilanoItaly
  3. 3.C.N.R. Institute of Clinical PhysiologyPisaItaly

Personalised recommendations