The kernel mechanism for handling assumptions and justifications and its application to the biotechnologies
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.
KeywordsInbred Strain Problem Solver Multiple Context Context Manager Screening Phase
Unable to display preview. Download preview PDF.
- [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
- [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
- [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
- [de Kleer ′86]
- [Doyle ′79]
- [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
- [Lo et al. ′84]
- [Martins and Shapiro ′83]Martins, J.P., Shapiro, S.C. Reasoning in Multiple Belief Space, Proc. 8th IJCAI.- 370–373 (1983)Google Scholar
- [McAllester ′80]McAllester, D. A. An OutlPoK on Truth Maintenance- MiTAi-Memo55i (1980).Google Scholar
- [Milstein ′80]Milstein, C. Monoclonal antibodies- Scientific American 243: 4–56 (1980).Google Scholar
- [Stallman and Sussman ′77]