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
KI - Künstliche Intelligenz
Erschienen in: KI - Künstliche Intelligenz 1/2017

13.10.2016 | Technical Contribution

Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic

verfasst von: Karsten Martiny, Ralf Möller

Erschienen in: KI - Künstliche Intelligenz | Ausgabe 1/2017

Einloggen

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

search-config
loading …

Abstract

We present Probabilistic Doxastic Temporal (PDT) Logic, a formalism to represent and reason about probabilistic beliefs and their finite temporal evolution in multi-agent systems. This formalism enables the quantification of agents’ beliefs through probability intervals and incorporates an explicit notion of time. In this work, we give an overview of recent contributions on PDT Logic. After describing the syntax and semantics of this formalism, we show that two alternative representation forms are available to model problems in PDT Logic. Furthermore, we outline how abductive reasoning can be performed in PDT Logic and how this formalism can be extended to infinite time frames.
Vorheriger Artikel Analyzing a Bipolar Decision Structure Through Qualitative Decision Theory
Nächster Artikel BDI Logics for BDI Architectures: Old Problems, New Perspectives

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

KI - Künstliche Intelligenz

The Scientific journal "KI – Künstliche Intelligenz" is the official journal of the division for artificial intelligence within the "Gesellschaft für Informatik e.V." (GI) – the German Informatics Society - with constributions from troughout the field of artificial intelligence.

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
Weitere Produktempfehlungen anzeigen
Literatur
1.
2.
3.
Baltag A, Moss LS, Solecki S (1998) The logic of public announcements, common knowledge, and private suspicions. In: Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge. TARK ’98Morgan Kaufmann Publishers Inc., San Francisco, CA pp 43–56
4.
5.
van Ditmarsch H, van der Hoek W, Kooi B (2007) Dynamic Epistemic Logic, 1st edn. Springer, New York
6.
7.
Fagin R, Halpern JY, Moses Y, Vardi MY (1995) Reasoning about knowledge. MIT Press, Cambridge (1995)
8.
Gardner M (1961) The Second Scientific American Book of mathematical puzzles and diversions. Simon and Schuster, New York
9.
10.
Hintikka J (1962) Knowledge and belief. An introduction to the logic of the two notions. Cornell University Press, Ithaca, NY
11.
12.
13.
Martiny K, Moeller R (2014) PDT Logic for Stream Reasoning in Multi-agent Systems. In: SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science. EPiC Series, vol 30. EasyChair, pp 35–46
14.
Martiny K, Möller R (2015) A probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems. In: ICAART 2015—Proceedings of the 7th International Conference on Agents and Artificial Intelligence. SciTePress, Portugal
15.
Martiny K, Möller R (2015) Abduction in PDT Logic. In: AI 2015: advances in artificial intelligence. Springer International Publishing, New York
16.
Martiny K, Möller R (2015) PDT logic: a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems. J Artif Int Res 57(1):39–112MathSciNetMATH
17.
Martiny K, Motzek A, Möller R (2015) Formalizing agents beliefs for cyber-security defense strategy planning. In: CISIS 2015—Proceedings of the 8th International Conference on Computational Intelligence in Security for Information Systems
18.
19.
Plaza J (1989) Logics of public communications. In: Proceedings of the 4th international symposium on methodologies for intelligent systems: Poster session program. Oak Ridge National Laboratory, USA, pp 201–216
20.
Shakarian P, Parker A, Simari G, Subrahmanian VS (2011) Annotated probabilistic temporal logic. ACM Trans Comput Logic 12(2):14:1–14:44MathSciNetCrossRefMATH
Metadaten
Titel
Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic
verfasst von
Karsten Martiny
Ralf Möller
Publikationsdatum
13.10.2016
Verlag
Springer Berlin Heidelberg
Erschienen in
KI - Künstliche Intelligenz / Ausgabe 1/2017
Print ISSN: 0933-1875
Elektronische ISSN: 1610-1987
DOI
https://doi.org/10.1007/s13218-016-0455-7

Weitere Artikel der Ausgabe 1/2017

KI - Künstliche Intelligenz 1/2017 Zur Ausgabe

Editorial

Editorial

Research Project

The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation

Research Project

DFG Research Unit (Forschergruppe) FOR 1513 Hybrid Reasoning for Intelligent Systems

Survey

Many Facets of Reasoning Under Uncertainty, Inconsistency, Vagueness, and Preferences: A Brief Survey

Doctoral and Postdoctoral Dissertations

Quantitative Methods for Similarity in Description Logics

Technical Contribution

BDI Logics for BDI Architectures: Old Problems, New Perspectives