Abstract
In this paper we have proposed a new description of SSPS, called syntactic description, which constitutes a framework useful to structure a rich content of informations about a given problem.
The semantic description has been shown to be equivalent to the syntactic description of SSPS.
A method has been briefly outlined, which is based on the semantic description, and which makes possible to extract, in an automatic way, i. e., by computation, the heuristic information useful to guide the search in the state space.
The future research work shall be addressed to the exploitation of the semantic description as a powerful basis on which to formulate procedures apted to solve the main goal of automatic problem-solving.
In particular the direction of heuristic guided search and learning will be investigated.
This work has been partially supported by the Special Program for Computer Science of the National Research Council.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Feigenbaum, E., and Feldman, J. (eds). Computers and Thought. Mc Graw-Hill Book Company, New York, 1963.
Minsky, M. (ed). Semantic Information Processing. The M.I.T. Press, Cambridge, Massachusetts, 1968.
Nilsson, N. Problem-Solving Methods in Artificial Intelligence. Mc Graw-Hill Book Company, New York, 1971.
Slagle, J. Artificial Intelligence: the Heuristic Programming Approach. Mc Graw-Hill Book Company, New York, 1971.
Amarel, S. On Representations of Problems on Reasoning about Actions. Michie, D. (ed.) Machine Intelligence 3, pp. 131–171. American Elsevier Publishing Company, Inc., New York, 1968.
Hart, P., Nilsson, N., and Raphael, B. A Formal Basis for the Heuristic Determination of Minimum Cost Paths. IEEE Trans. Sys.Sci. Cybernetics, vol. SSC-4, no.2, pp. 100–107, July 1968.
Mandrioli, D., Sangiovanni Vincentelli, A., and Somalvico, M. Towards a Theory of Problem-Solving. Marzollo, A. (ed). Topics on Artificial Intelligence. Springer-Verlag New York, Inc., New York, 1973.
Sangiovanni Vincentelli, A., and Somalvico, M. Theoretical Formalisation of the State-Space Method for Automatic Problem Solving. (In Italian). MP-AI Project. MEMO MP-AIM-6, October 1972.
Sangiovanni Vincentelli, A., and Somalvico, M. Theoretical Aspects of State-Space Approach to Problem-Solving. Proc. VII International Congress on Cybernetics, Namur, September 1973 (a).
Sangiovanni Vincentelli, A., and Somalvico M. Problem-Solving Methods in Computer-Aided Medical Diagnosis. Proc. XX International Scientific Conference on Electronics, Rome, March 1973 (b).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1973 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vincentelli, A.S., Somalvico, M. (1973). State-space approach in problem-solving optimization. In: Conti, R., Ruberti, A. (eds) 5th Conference on Optimization Techniques Part II. Optimization Techniques 1973. Lecture Notes in Computer Science, vol 4. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-06600-4_13
Download citation
DOI: https://doi.org/10.1007/3-540-06600-4_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06600-2
Online ISBN: 978-3-540-37909-6
eBook Packages: Springer Book Archive