Skip to main content

2013 | OriginalPaper | Buchkapitel

10. Computing Policy Options

verfasst von : V. S. Subrahmanian, Aaron Mannes, Amy Sliva, Jana Shakarian, John P. Dickerson

Erschienen in: Computational Analysis of Terrorist Groups: Lashkar-e-Taiba

Verlag: Springer New York

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This chapter describes the methodology and the algorithm used to automatically compute policy options. It provides a mathematical definition of a policy against LeT and then proves the LeT Violence Non-Eliminability Theorem that shows there is no policy that will stop all of LeT’s terrorist actions. The reason for this is that attacks on holidays are carried out in situations that are inconsistent with situations when LeT carries out other types of attacks. The chapter presents an algorithm to compute all policies (in accordance with the mathematical definition of policy) that have good potential to significantly reduce all types of attacks carried out by LeT (except for attacks on holidays). Readers who do not wish to wade through the technical details can skip directly to Sect. 10.5 which summarizes the results of this chapter.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Only violent acts considered in this book are included here.
 
2
In other words, if we stated that a specific literal cannot possibly be made true (e.g., the variable which says LeT stops being a religious organization cannot possible be made true), then this must be respected.
 
Literatur
Zurück zum Zitat Alon, N., Moshkovitz, D., & Safra, S. (2006). Algorithmic construction of sets for k-restrictions. The ACM Transactions on Algorithms, 2(2), 153–177.MathSciNetCrossRef Alon, N., Moshkovitz, D., & Safra, S. (2006). Algorithmic construction of sets for k-restrictions. The ACM Transactions on Algorithms, 2(2), 153–177.MathSciNetCrossRef
Zurück zum Zitat Baral, C., Kraus, S., Minker, J., & Subrahmanian, V. S. (1992). Combining knowledge bases consisting of first order theories. Computational Intelligence, 8(1), 45–71.CrossRef Baral, C., Kraus, S., Minker, J., & Subrahmanian, V. S. (1992). Combining knowledge bases consisting of first order theories. Computational Intelligence, 8(1), 45–71.CrossRef
Zurück zum Zitat Bell, C., Nerode, A., Ng, R., & Subrahmanian, V. S. (1994a). Implementing deductive databases by mixed integer programming. ACM Transactions on Database Systems, 21(2), 238–269.CrossRef Bell, C., Nerode, A., Ng, R., & Subrahmanian, V. S. (1994a). Implementing deductive databases by mixed integer programming. ACM Transactions on Database Systems, 21(2), 238–269.CrossRef
Zurück zum Zitat Bell, C., Nerode, A., Ng, R., & Subrahmanian, V. S. (1994b). Mixed integer methods for computing non-monotonic deductive databases. Journal of the ACM, 41(6), 1178–1215.MathSciNetMATHCrossRef Bell, C., Nerode, A., Ng, R., & Subrahmanian, V. S. (1994b). Mixed integer methods for computing non-monotonic deductive databases. Journal of the ACM, 41(6), 1178–1215.MathSciNetMATHCrossRef
Zurück zum Zitat Cook, S. (1971). The complexity of theorem proving procedures, Proceedings of the third annual ACM symposium on Theory of computing. pp. 151–158. Cook, S. (1971). The complexity of theorem proving procedures, Proceedings of the third annual ACM symposium on Theory of computing. pp. 151–158.
Zurück zum Zitat Eén, N., & Sörensson, N. (2004). An extensible SAT-solver. In Theory and applications of satisfiability testing (pp. 333–336). Berlin: Springer. Eén, N., & Sörensson, N. (2004). An extensible SAT-solver. In Theory and applications of satisfiability testing (pp. 333–336). Berlin: Springer.
Zurück zum Zitat Hamadi, Y., Jabbour, S., & Sais, L. (2009). ManySAT: A parallel SAT solver. Int. Journal on Satisfiability, Boolean Modeling and Computation (JSAT), 6, 245–262 IOS Press. Hamadi, Y., Jabbour, S., & Sais, L. (2009). ManySAT: A parallel SAT solver. Int. Journal on Satisfiability, Boolean Modeling and Computation (JSAT), 6, 245–262 IOS Press.
Zurück zum Zitat Karp, R. (1972). Reducibility among combinatorial problems. In R. E. Miller & J. W. Thatcher (Eds.), Complexity of computer computations (pp. 85–103). New York: Plenum.CrossRef Karp, R. (1972). Reducibility among combinatorial problems. In R. E. Miller & J. W. Thatcher (Eds.), Complexity of computer computations (pp. 85–103). New York: Plenum.CrossRef
Zurück zum Zitat Mendelson, E. (2009). Introduction to mathematical logic (5th ed.). London: Chapman and Hall/CRC Press Mendelson, E. (2009). Introduction to mathematical logic (5th ed.). London: Chapman and Hall/CRC Press
Zurück zum Zitat Minker, J. (1982). On indefinite databases and the closed-world assumption, Proceedings of 6th international conference on automated deduction, Lecture Notes in Computer Science Vol. 138, pages 292–308 Minker, J. (1982). On indefinite databases and the closed-world assumption, Proceedings of 6th international conference on automated deduction, Lecture Notes in Computer Science Vol. 138, pages 292–308
Zurück zum Zitat Lund, C., & Yannakakis, M. (1994). On the hardness of approximating minimization problems. Journal of the ACM, 41(5), 960–981.MathSciNetMATHCrossRef Lund, C., & Yannakakis, M. (1994). On the hardness of approximating minimization problems. Journal of the ACM, 41(5), 960–981.MathSciNetMATHCrossRef
Zurück zum Zitat Robinson, J. A. (1965). A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1), 23–41.MATHCrossRef Robinson, J. A. (1965). A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1), 23–41.MATHCrossRef
Zurück zum Zitat Subrahmanian, V. S., Nau, D. S., & Vago, C. (1995). WFS + branch and bound = stable models. IEEE Transactions on Knowledge and Data Engineering, 7(3), 362–377. Subrahmanian, V. S., Nau, D. S., & Vago, C. (1995). WFS + branch and bound = stable models. IEEE Transactions on Knowledge and Data Engineering, 7(3), 362–377.
Metadaten
Titel
Computing Policy Options
verfasst von
V. S. Subrahmanian
Aaron Mannes
Amy Sliva
Jana Shakarian
John P. Dickerson
Copyright-Jahr
2013
Verlag
Springer New York
DOI
https://doi.org/10.1007/978-1-4614-4769-6_10