Abstract
We consider the mechanism of subdefinite models and the problem of representing data types in such models. A justification of the method of subdefinite models is given; various kinds of subdefinite extensions of data types are presented. We also investigate their efficiency in the solution of various problems.
This work was partially supported by the foundation “Informatization of Russia”, grant N 285.78
Preview
Unable to display preview. Download preview PDF.
References
Narin'yani A.S.: Subdefinite Set — a Formal Model of Uncompletely Specified Aggregate, Proc. of the Symp. on Fuzzy Sets and Possibility Theory, Acapulco, Mexico, (1980).
Narin'yani A.S.: Subdefinite Sets — New Data Type for Knowledge Representation, Preprint USSR Acad. Sci., Siberian Division, Computer Center, 232, Novosibirsk, (1980) (in Russian).
Narin'yani A.S.: Subdefiniteness, Overdefiniteness and Absurdity in Knowledge Representation (some Algebraic Aspects), Proc. of the II Conf. on AI Application, Miamy Beach, Dec. 9–13, (1985).
Narin'yani A.S.: Subdefinite Models: a Big Jump in Knowledge Proccesing Technology, Proceeding of East-West AI Conf.: from theory to practice, Moscow, September, (1993).
Babichev A.B., et al.: UniCalc — an intelligent solver for mathematical problems, Ibid, 257–260.
Borde S.B., et al.: Subdefiniteness and Calendar Scheduling, Ibidem, 315–318.
Telerman V.V.: Propagation of Mathematical Constraints in Subdefinite Models, In: J.Calmet and J.A.Campbell (Eds.), Integrating Symbolic Mathematical Computation and Artificial Intelligence, Lect. Notes in Comp. Sci., Vol. 958, Springer, (1995), 191–208.
Mayoh B., Tyugu E., Uustalu T.: Constraint Satisfaction and Constraint Programming: A Brief Lead-In. Constraint Programming.-Springer-Verlag Berlin Heidelberg (1994), 1–16.
Hentenryck P. van: Constraint Satisfaction Using Constraint Logic Programming, Artificial Intelligence, Vol. 58, (1992), 113–159.
Benhamou F., Older W.J.: Applying Interval Arithmetic to Real, Integer and Boolean Constraints, Journal of Logic Programming, (1996). To appear.
Goguen J.A., Meseguer J.: Models and Equality for Logical Programming, Lect. Notes in Comp. Sci., Vol. 250, Springer, (1987), p. 1–22.
Telerman V.V.: Active Data Types, Preprint USSR Acad. Sci., Siberian Division, Computer Center, 792, Novosibirsk, (1988), 30 p. (in Russian).
Narin'yani A.S., Telerman V.V., Dmitriev V.E.: Virtual Data-Flow Machine as Vehicle of Inference/Computations in Knowledge Bases, In: Ph. Jorrand, V. Sgurev (Eds.) Artificial Intelligence II: Methodology, Systems, Application, North-Holland, (1987), 149–154.
Telerman V.V., Ushakov D.M.: Subdefinite Models: Formalisation and Perspectives, In: Knowledge Processing Based on Subdefiniteness, RRIAI, Novosibirsk-Moscow, (1996), (in Russian).
Alefeld G., Herzberger Ju.: Introduction in Interval Computations, Academic Press, New York, 1983.
Hyvonen E.: Constraint reasoning based on interval arithmetic: the tolerance propagation approach, Artificial Intelligence, 58, (1992), 71–112.
Nechepurenko M.I.: Elements of Boolean Interval Analisys, In: System Simulation in Informatics, SS-11, Novosibirsk, (1985), 37–61. (In Russian).
Yakovlev A.G.: Computer Arithmetic of Multiintervals, Problems of Cybernetics. Problem-oriented computational systems, (1987), 66–81. (In Russian).
Telerman V.V.: Using Multiintervals in Subdefinite Models, In: Parallel programming and supercomputers: methods of knowledge representation in information technologies: Proc.of X All-Union Conf., Ufa, 19–26 June 1990 — Kiev, (1990), 128–129. (in Russian)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Telerman, V., Ushakov, D. (1996). Data types in subdefinite models. In: Calmet, J., Campbell, J.A., Pfalzgraf, J. (eds) Artificial Intelligence and Symbolic Mathematical Computation. AISMC 1996. Lecture Notes in Computer Science, vol 1138. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61732-9_65
Download citation
DOI: https://doi.org/10.1007/3-540-61732-9_65
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61732-7
Online ISBN: 978-3-540-70740-0
eBook Packages: Springer Book Archive