Skip to main content
Log in

Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks

  • Published:
Applied Intelligence Aims and scope Submit manuscript

Abstract

Alarm correlation is a necessity in large mobile phone networks, where the alarm bursts resulting from severe failures would otherwise overload the network operators. In this paper, we describe how to realize alarm-correlation in cellular phone networks using extended logic programming. To this end, we describe an algorithm and system solving the problem, a model of a mobile phone network application, and a detailed solution for a specific scenario.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. P. Fröhlich, W. Nejdl, K. Jobmann, and H. Wietgrefe, “Modelbased alarm correlation in cellular phone networks,” in Fifth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), 1997.

  2. J.J. Alferes and L.M. Pereira, Reasoning with Logic Programming, LNAI, vol. 1111, Springer-Verlag: Berlin, 1996.

    Google Scholar 

  3. R. Reiter, “A theory of diagnosis from first principles,” Artificial Intelligence, vol. 32, no. 1, pp. 57–96, 1987.

    Google Scholar 

  4. C.V.Damásio, L.M. Pereira, and M. Schroeder, “REVISE: Logic programming and diagnosis,” in Proceedings of the Conference on Logic Programming and Non-Monotonic Reasoning LPNMR97, LNAI, vol. 1265, Springer-Verlag: Berlin, 1997.

    Google Scholar 

  5. C. Damasio, P. Froehlich, W. Nejdl, L. Pereira, and M. Schroeder, “Using extended logic programming for alarmcorrelation in cellular phone networks,” in Proceedings of the Twelfth Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE-99, Cairo, Egypt, Springer-Verlag, 1999.

    Google Scholar 

  6. L. Sterling and E. Shapiro, The Art of Prolog. MIT Press: Cambridge, MA, 1986.

    Google Scholar 

  7. A.V. Gelder, K. Ross, and J.S. Schlipf, “Unfounded sets and well-founded semantics for general logic programs,” in Proceeding of the 7th ACM Symposium on Principles of Databse Systems, Austin, Texas, 1988, pp. 221–230.

  8. J. de Kleer, “Using crude probability estimates to guide diagnosis,” Artificial Intelligence, vol. 45, pp. 381–391, 1990.

    Google Scholar 

  9. R. Greiner, B.A. Smith, and R.W. Wilkerson, “'A correction of the algorithm in Reiter's theory of diagnosis,” Artificial Intelligence, vol. 41, no. 1, pp. 79–88, 1989.

    Google Scholar 

  10. L. Console and P. Torasso, “A spectrum of logical definitions of model-based diagnosis,” Computational Intelligence, vol. 7, no. 3, pp. 133–141, 1991.

    Google Scholar 

  11. K.L. Clark, “Negation as failure,” in: Logic and Databases, edited by Gallaire and Minker, Plenum Press: New York, 1978, pp. 293–322.

    Google Scholar 

  12. P. Fröhlic and W. Nejdl, “Efficient diagnosis based on incomplete system descriptions,” in Proceedings of the Workshop on Nonmonotonic Reasoning NMR98, Trento, Italy, 1998.

  13. I. Mozetič and C. Holzbauer, “Controlling the complexity in model-based diagnosis,” Annals of Mathematics and Artificial Intelligence, 1993.

  14. H. Wietgrefe, K.-D. Tuchs, K. Jobmann, G. Carls, P. Fröhlich, W. Nejdl, and S. Steinfeld, “Using neural networks for alarm correlation in cellular phone networks,” in Proceedings of International Workshop on Applications of Neural Networks in Telecommunications, 1997.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Damásio, C., Fröhlich, P., Nejdl, W. et al. Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. Applied Intelligence 17, 187–202 (2002). https://doi.org/10.1023/A:1016112931442

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1016112931442

Navigation