Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Categorizing Emails Using Machine Learning with Textual Features Kapitel lesen Erstes Kapitel lesen

2019 | OriginalPaper | Buchkapitel

Towards Causal Analysis of Protocol Violations

verfasst von : Shakil M. Khan, Mikhail Soutchanski

Erschienen in: Advances in Artificial Intelligence

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

When a protocol specified within a given system fails to ensure some desired properties, it is important to identify the actual causes of this failure. In this paper, we utilize a formal model of causal analysis in the situation calculus to show how one can specify the actual causes of such violations in non-deterministic protocols defined within dynamic systems. We show that our definition has some desirable properties.

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel Multi-class Ensemble Learning of Imbalanced Bidding Fraud Data
Nächstes Kapitel Lexicographic Preference Trees with Hard Constraints
Literatur
1.
Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)MATH
2.
Batusov, V., Soutchanski, M.: Situation calculus semantics for actual causality. In: Proceedings of AAAI Conference on Artificial Intelligence, pp. 1744–1752 (2018)
3.
Claßen, J., Lakemeyer, G.: On the verification of very expressive temporal properties of non-terminating Golog programs. In: Proceedings of ECAI, pp. 887–892 (2010)
4.
Datta, A., Garg, D., Kaynar, D.K., Sharma, D., Sinha, A.: Program actions as actual causes: a building block for accountability. In: Proceedings of IEEE Computer Security Foundations Symposium (CSF), pp. 261–275 (2015)
5.
De Giacomo, G., Lespérance, Y., Levesque, H.J.: ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell. 121(1–2), 109–169 (2000)MathSciNetCrossRef
6.
De Giacomo, G., Lespérance, Y., Patrizi, F., Sardiña, S.: Verifying ConGolog programs on bounded situation calculus theories. In: Proceedings of AAAI Conference on Artificial Intelligence, pp. 950–956 (2016)
7.
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)MATH
8.
Khan, S.M., Soutchanski, M.: Diagnosis as computing causal chains from event traces. In: Proceedings of AAAI Fall Symposium on Integrating Planning, Diagnosis, and Causal Reasoning (2018)
9.
10.
Liu, Y.: A hoare-style proof system for robot programs. In: Proceedings of AAAI/IAAI, pp. 74–79 (2002)
11.
Mo, P., Li, N., Liu, Y.: Automatic verification of Golog programs via predicate abstraction. In: Proceedings of ECAI, pp. 760–768 (2016)
12.
Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)CrossRef
Metadaten
Titel
Towards Causal Analysis of Protocol Violations
verfasst von
Shakil M. Khan
Mikhail Soutchanski
Copyright-Jahr
2019
Buch
Advances in Artificial Intelligence

Print ISBN: 978-3-030-18304-2

Electronic ISBN: 978-3-030-18305-9

Copyright-Jahr: 2019

DOI
https://doi.org/10.1007/978-3-030-18305-9_30

Premium Partner

    Bildnachweise