References
J. Franklin, "Expert system technology for military applications," Proc. IEEE, No. 10 (1988).
E. Durfee, V. Lesser, and D. Corkill, "Coherent cooperation among communicating problem solvers," Dept. Comput. Inform. Sci., Univ. Mass. (1985), pp. 2–8.
M. Waldrop, "Toward a unified theory of cognition," Science,241, No. 27, 27–29 (1988).
R. Reiter, "A logic for default reasoning," Artif. Intell.,13, No. 1-2, 81–131 (1980).
A. Tay, P. Gribomon, J. Louis, and J. Logue, A Logic Approach to Artificial Intelligence [Russian translation], Mir, Moscow (1990).
Yu. A. Samokhvalov, "Problem-oriented theorem-proving method in fuzzy logic," Kibernetika i Sistemnyi Analiz, No. 5, 58-68 (1995).
C.-L. Chang and R. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York (1973).
Yu. A. Samokhvalov, "Reduction of the solution-seeking space in logical inference procedures," Vestnik KGU, No. 7, 104-110 (1992).
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 1, pp. 57–65, January–February, 1997.
Rights and permissions
About this article
Cite this article
Samokhvalov, Y.Y. Decomposition of linguistic-logical decision models in distributed computing environments. Cybern Syst Anal 33, 44–49 (1997). https://doi.org/10.1007/BF02665939
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02665939