Skip to main content
SpringerLink
Log in

SCHEMA: A Knowledge Edition Interface for Obtaining Program Code from Structured Descriptions of PSMs: Two Case Studies

  • Published:
Applied Intelligence Aims and scope Submit manuscript

Abstract

The basic conjecture in this paper is that besides the basic libraries of tasks and problem-solving methods (PSMs), it is necessary to develop two complementary twin libraries. One of them consists of knowledge-acquisition schemas, as they are required by PSMs, and the other one contains those PSMs' reduction methods, from the knowledge level to the symbol level. In order to support this conjecture, we first describe the reduction method fundamentals based on hierarchical graphs representing the underlying computational model. Then we shall comment on the development of the SCHEMA interface; by using this interface, we can directly obtain the program code, provided the task knowledge, PSM, and application domain are edited following the knowledge acquisition schemas by means of structured natural language sentences. This kind of editing unmistakably and in reversibly establishes the relationships with the underlying model. Since the reduction method links the underlying model with the program code, the reduction process is completed. Conversely, we can retrieve the underlying model graph and the knowledge-level model from the program code because of the reversibility of the reduction method. In order to make clear the reduction method and SCHEMA interface functioning from the user viewpoint, we shall apply them to a classification and diagnose generic task (Hierarchical Classification), which will be decomposed by using the “Establish and Define” PSM, and another task to carry out a plan, which will be decomposed by using the “act-check-decide” PSM. We shall finish this paper with a reflection on the knowledge-level modelling and the necessity of an increase of the available reduction methods and knowledge acquisition schemas which are included in our SCHEMA interface.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. A. Newell, “The knowledge level,” AI Magazine, vol. 2,no. 2, pp. 1–20, 33, 1981.

    Google Scholar 

  2. J. Mira and A.E. Delgado, “Reverse neurophysiology: The embodiments of mind revisited,” in Proceedings of the International Conference on Brain Processes, Theories and Models, edited by R. Moreno and J. Mira, The MIT Press, 1995, pp. 37–49.

  3. B. Chandrasekaran, T.R. Johnson, and J.W. Smith, “Task structure analysis for knowledge modeling,” Communications of the ACM, vol. 35,no. 9, pp. 124–136, 1992.

    Google Scholar 

  4. B.J. Wielinga, A.T. Schreiber, and J.A. Breuker, “KADS: A modelling approach to knowledge engineering,” Knowledge Acquisition, no. 4, pp. 5–53, 1992.

  5. D.S.W. Tansley and C.C. Hayball, Knowledge-Based Systems Analysis and Design. A KADS Developper's Handbook, Prentice-Hall, 1993.

  6. P. Speel and M. Aben, “Applying a library of problem-solving methods on a real-life task,” International Journal of Human-Computer Studies, no. 46, pp. 627–652, 1997.

  7. B.J. Wielinga and A.T. Schreiber, “Knowledge technology: Moving into the next millenium,” in Methodology and Tools in Knowledge-Based Systems, IEA/AIE-98, edited by Mira, del Pobil and Ali, Springer, 1998, vol. 1, pp. 1–20.

  8. V.R. Benjamins and M. Aben, “Structure-preserving knowledge-based system development through reusable libraries: A case study in diagnosis,” International Journal of Human-Computer Studies, no. 47, pp. 259–288, 1997.

  9. F. Van Harmelen and M. Aben, “Structure-preserving specification languages for knowledge-based systems,” International Journal of Human-Computer Studies, no. 44, pp. 187–212, 1996.

  10. A.M. Turing, “On computable numbers,” in Proceedings of London Mathematical Society, 1936, no. 42, pp. 230–265.

  11. A. Barreiro, R.P. Otero, R. Marín, and J. Mira, “A modular knowledge base for the follow-up of clinical protocols,” Methods of Information in Medicine, vol. 32,no. 5, pp. 373–381, 1993.

    Google Scholar 

  12. J. Mira, J. Rives, A.E. Delgado, and R. Martínez, “Towards the unification of the inference structures in medical diagnosis tasks,” Methods of Information in Medicine, 1997, vol. 37,no. 1, pp. 109–118, 1998.

    Google Scholar 

  13. W.J. Clancey, “Heuristic classification,” Artificial Intelligence, vol. 27,no. 3, pp. 289–350, 1985.

    Google Scholar 

  14. J. Mira, J.C. Herrero, and A.E. Delgado, “A generic formulation of neural nets as a model of parallel and self-programming computation,” in Biological and Artificial Computation: From Neuroscience to Technology, edited by Mira, Moreno-Díaz and Cabestany, Springer-Verlag, 1997, pp. 195–206.

  15. J. Mira, A.E. Delgado, J.G. Boticario, and F.J. Díez, Aspectos Básicos de la Inteligencia Artificial, Sanz y Torres, 1995.

  16. N.J. Nilsson, Principles of Artificial Intelligence, Tioga Publishing, 1981.

  17. P.H. Winston, Artificial Intelligence, 3rd edition, Addison Wesley, 1992.

Download references

Author information

Authors and Affiliations

  1. Dpto. Inteligencia Artificial, Facultad de Ciencias, UNED C/Senda del Rey s/n, 28040, Madrid, Spain

    J.C. Herrero & J. Mira

Authors
  1. J.C. Herrero
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. Mira
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Herrero, J., Mira, J. SCHEMA: A Knowledge Edition Interface for Obtaining Program Code from Structured Descriptions of PSMs: Two Case Studies. Applied Intelligence 10, 139–153 (1999). https://doi.org/10.1023/A:1008319718326

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008319718326

Search

Navigation