Application of Granularity Computing to Confirm Compliance with Non-Proliferation Treaty

  • A. Fattah
  • V. Pouchkarev
  • A. Belenki
  • A. Ryjov
  • L. A. Zadeh
Part of the Studies in Fuzziness and Soft Computing book series (STUDFUZZ, volume 95)


Safeguards are essentially a technical means of verifying the fulfillment of political obligations undertaken by States and given a legal force in international agreements relating to the peaceful uses of nuclear energy. The main political objectives are: to assure the international community that States are complying with their non-proliferation and other peaceful undertakings; and to deter (a) the diversion of safeguarded nuclear materials to the production of nuclear explosives or for military purposes and (b) the misuse of safeguarded facilities with the aim of producing unsafeguarded nuclear material.

This chapter has been prepared based on the results of the project “Development of an Intelligent System for Monitoring and Evaluation of Peaceful Nuclear Activities (DISNA), Stage 1: Conceptual Model” [10]. The International Atomic Energy Agency, Department of Safeguards, Division of Concepts and Planning, Section for System Studies, in co-operation with Moscow State University, Department of Mechanics and Mathematics, has initiated this program. The goal of the system, structure and logic of the model, integration of the IAEA safeguards information sources, technical, technological and other factors which are used as evaluation criteria, structure of DISNA, mathematical foundations, technology of information processing and evaluation in DISNA is being discussed in this report.

Application of fuzzy logic concept in a real world situation, such as detection of clandestine nuclear programme to enhance safeguards effectiveness would be enormous The combination of
  • the systems approach using fuzzy logic;

  • the mandated “transparency and openness” environment ; and

  • the results of actual on site visits/inspections cued by “fuzzy logic” evaluations is likely to be quite powerful.

When fully developed, DISNA will provide a mechanism for use in monitoring and evaluation of all persistent information for current as well as future needs of the IAEA such as nuclear free zones, monitoring of treaties, etc.

One of the theoretical base of DISNA is the theory of fuzzy information granulation [16, 17]. Taking into account a great importance of this problem for modern international community and very big interest of similar subject areas for application of granularity computing we decide to publish our result in this book. We hope that our ideas and results described here will be stimulate a new application of granularity computing techniques.

This work has been performed under the auspices of the International Atomic Energy Agency (IAEA), Vienna. It is based on all information and knowledge available to the authors but does not necessarily reflect the policy expressed or Implied by the IAEA or its Member States


International Atomic Energy Agency Nuclear Material Nuclear Activity Nuclear Fuel Cycle Information Granulation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Belenki A. and Ryjov A. (1997) Fuzzy logic in monitoring the non-proliferation of nuclear technologies, raw matherials and weapons. Journal of Fuzzy Logic and Intelligent Systems Vol.7 1. 3: 27–33.Google Scholar
  2. 2.
    Hooper R. (1995) Strengthening IAEA Safeguards in an Era of Nuclear Cooperation. Arms Control Today, November.Google Scholar
  3. 3.
    IAEA. (1968) The Agency’s Safeguards System (1965, as provisionally extended in 1966 and 1968 ), INFCIRC/66/Rev.2, Vienna.Google Scholar
  4. 4.
    IAEA. (1972) The Structure and Content of Agreements Between the Agency and States Required in Connection with the Treaty on the Non Proliferation of Nuclear Weapons, INFCIRC/153 (con.), Vienna.Google Scholar
  5. 5.
    IAEA. (1997) Model Protocol Additional to the Agreement(s) Between State(s) and the International Atomic Energy Agency for the Application of Safeguards. INFCIRC/540, Vienna.Google Scholar
  6. 6.
    Kudrjavcev V.B., Alojshin S.V., Podkolzin A.S. (1985) Introduction to automata theory. Moscow, Nauka. ( Russian )Google Scholar
  7. 7.
    Messarovich M.D., Macko D., Takahara Y. (1979) Theory of hierarchical multilevel systems. Academic Press, N.Y.,London.Google Scholar
  8. 8.
    Pellaud B. (1996) Safeguards and the Nuclear Industry. Core Issues 5, The Uranium Institute, London.Google Scholar
  9. 9.
    Popov E. (1987) Expert Systems: Solving Non-formal Tasks in Dialogue with Computer. Moscow, Nauka. ( Russian).Google Scholar
  10. 10.
    A. Ryjov, A. Belenki, R. Hooper, V. Pouchkarev, A. Fattah and L.A. Zadeh. (1998) Development of an Intelligent System for Monitoring and Evaluation of Peaceful Nuclear Activities (DISNA), IAEA, STR-310, ViennaGoogle Scholar
  11. 11.
    Ryjov A. (1988) The degree of fuzziness of a linguistic scale and its general properties. In: Averkin A.N.(Ed.) Fuzzy decision-making systems Kalinin University Publishing House, Kalinin, 82–92 (Russian)Google Scholar
  12. 12.
    Ryjov A. (1987) The degree of uncertainty of fuzzy descriptions. In: Krushinsky L.V., Yablonsky S.V., Lupanov O.B. (Eds.) Ryjov A, 50–77 ( Russian )Google Scholar
  13. 13.
    Saaty T.L. (1993) The Analytic Hierarchy Process. Moscow, Radio and Swjaz. ( Russian).Google Scholar
  14. 14.
    Zadeh L.A. (1975) The concept of a linguistic variable and its application to approximate reasoning. Part 1,2,3. Inform Sci 7:199–249; 8:301–357; 9: 43–80MathSciNetMATHCrossRefGoogle Scholar
  15. 15.
    Zadeh L.A. (1996) Fuzzy logic computing with words. IEEE Trans on Fuzzy Systems 4: 103–111CrossRefGoogle Scholar
  16. 16.
    Zadeh L.A. (1997) The Key Roles of Fuzzy Information Granulation in Human Reasoning, Fuzzy Logic and Computing with Words. The ERL Research Summary.Google Scholar
  17. 17.
    Zadeh L.A. (1997) Towards a theory of fuzzy information granulation and its centrality in human reasoning and fuzzy logic. Fuzzy sets and systems 90: 111127Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • A. Fattah
    • 1
  • V. Pouchkarev
    • 1
  • A. Belenki
    • 2
  • A. Ryjov
    • 2
  • L. A. Zadeh
    • 3
  1. 1.International Atomic Energy AgencyViennaAustria
  2. 2.Department of Mechanics and Mathematics Lomonosov’Moscow State UniversityMoscowRussia
  3. 3.Department of EECS BerkeleyUniversity of CaliforniaUSA

Personalised recommendations