Abstract
This paper discusses a method of translating human activities into a program. The final goal of this research is to develop an automatic programming system which can be used easily. A new modeling scheme is introduced to allow human-like representation and to replace the subject of programming from person to computer. A method of translating rules described based on this modeling scheme into program specification is proposed. By using domain which is defined to variables of rules, the optimum program specification can be generated.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
S. Ohsuga; Multi-Strata Modeling to Automate Problem Solving Including Human Activity, Proc.Sixth European-Japanese Seminar on Information Modelling and Knowledge Bases, 1996
S. Ohsuga; Toward truly intelligent information systems-from expert systems to automatic programming, Knowledge Based Systems, Vol.10, No.3 1998
S. Ohsuga, T. Aida; Externalization of Human Idae and Problem Description for Automatic Programming, Proceedings of ISMIS, pp163–171, 1999
F. H. Ross; Artificial Intelligence, What Works and What Doesn’t? AI Magazine, Volume 18, No.2, 1997
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kawasaki, S., Ohsuga, S. (2000). A Method of Generating Program Specification from Description of Human Activities. In: Raś, Z.W., Ohsuga, S. (eds) Foundations of Intelligent Systems. ISMIS 2000. Lecture Notes in Computer Science(), vol 1932. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-39963-1_19
Download citation
DOI: https://doi.org/10.1007/3-540-39963-1_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41094-2
Online ISBN: 978-3-540-39963-6
eBook Packages: Computer ScienceComputer Science (R0)