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:
Handling Heterogeneous Disagreements Through Abstract Argumentation (Extended Abstract) Kapitel lesen Erstes Kapitel lesen

2017 | OriginalPaper | Buchkapitel

Revision and Updates in Possibly Action-Occurrence-Incomplete Narratives

verfasst von : Chitta Baral, Tran Cao Son

Erschienen in: PRIMA 2017: Principles and Practice of Multi-Agent Systems

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

We propose a framework for integrating belief revision with action narratives whose observations about properties of the world might be inaccurate. We define the notion of an acceptable revision of a narrative as a sequence of revision-candidate formulas which is used in revising the observations and creates a consistent narrative. We propose a more preferred relation among revisions and prove that this relation is transitive and irreflexive. We also define a notion of most preferred models of a narrative when likelihood of action occurrences are available and discuss an alternative characterization that takes into consideration preferences over revisions. We show that the more preferred relation among models is also transitive and irreflexive. We conclude the paper with a discussion on the related work.

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 Group Decision Making in a Bipolar Leveled Framework
Nächstes Kapitel Reasoning About Belief, Evidence and Trust in a Multi-agent Setting
Fußnoten
1
Note that a fluent formula \(\varphi \) can be equivalently represented as a static causal law \(\varphi \mathbf{if}\top \).
 
2
\(s_1\) is strictly closer to s than \(s_2\) if \(s_1 \setminus s \cup s \setminus s_1 \subset s_2 \setminus s \cup s \setminus s_2\).
 
3
The discussion on whether these postulates need to be satisfied is outside the scope of this paper. The formalization in this paper is generic and can be used with any belief revision operator.
 
4
Note that \(\mathbf {f}(Cn(\psi {\cup } K_D))\) can be a proper subset of the set of fluents \(\mathbf {F}\).
 
5
For simplicity of the representation, we still use formula (8) in our discussion.
 
6
In our notations, a situation represents a snapshot of the world rather than an action sequence.
 
7
We note that the definitions of action theories and narrative in [2] are slightly different from their counterparts in this paper.
 
Literatur
1.
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symb. Log. 50(2), 510–530 (1985)MathSciNetCrossRefMATH
2.
3.
Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. In: Proceedings of 7th LOFT. Texts in Logic and Games 3, pp. 13–60. Amsterdam University Press (2008)
4.
Baral, C.: Reasoning about actions : non-deterministic effects, constraints and qualification. In: Proceedings of the 14th International Joint Conference on Artificial Intelligence, pp. 2017–2023. Morgan Kaufmann Publishers, San Francisco (1995)
5.
Baral, C., Gelfond, M., Provetti, A.: Representing actions: laws, observations and hypothesis. J. Log. Program. 31(1–3), 201–243 (1997)CrossRefMATH
6.
Baral, C., McIlraith, S., Son, T.C.: Formulating diagnostic problem solving using an action language with narratives and sensing. In: Proceedings of the Seventh International Conference on Principles of Knowledge and Representation and Reasoning (KR 2000), pp. 311–322 (2000)
7.
8.
Boutilier, C.: Generalized update: belief change in dynamic settings. In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence -Volume 2, IJCAI 1995, Montréal, Québec, Canada, 20–25 August 1995, pp. 1550–1556. Morgan Kaufmann (1995)
9.
Delgrande, J.P.: Considerations on belief revision in an action theory. In: Erdem, E., Lee, J., Lierler, Y., Pearce, D. (eds.) Correct Reasoning. LNCS, vol. 7265, pp. 164–177. Springer, Heidelberg (2012). doi:10.​1007/​978-3-642-30743-0_​12 CrossRef
10.
Delgrande, J.P., Levesque, H.J.: Belief revision with sensing and fallible actions. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, 10–14 June 2012. AAAI Press (2012)
11.
Dixon, S., Wobcke, W.: The implementation of a first-order logic AGM belief revision system. In: Fifth International Conference on Tools with Artificial Intelligence, ICTAI 1993, Boston, Massachusetts, USA, 8–11 November 1993, pp. 40–47. IEEE Computer Society (1993)
12.
Eiter, T., Erdem, E., Fink, M., Senko, J.: Resolving conflicts in action descriptions. In: ECAI (2006)
13.
Eiter, T., Erdem, E., Fink, M., Senko, J.: Resolving conflicts in action descriptions. Artif. Intell. 174(15), 1172–1221 (2010)CrossRefMATH
14.
Erdem, E., Ferraris, P.: Forgetting actions in domain descriptions. In: AAAI (2007)
15.
16.
Hunter, A., Delgrande, J.P.: Iterated belief change due to actions and observations. J. Artif. Intell. Res. (JAIR) 40, 269–304 (2011)MathSciNetMATH
17.
Hunter, A., Delgrande, J.P.: Belief change with uncertain action histories. J. Artif. Intell. Res. (JAIR) 53, 779–824 (2015)MathSciNetMATH
18.
Katsuno, H., Mendelzon, A.: On the difference between updating a knowledge base and revising it. In: Proceedings of KR 1992, pp. 387–394 (1992)
19.
Lang, J.: Belief update revisited. In: Veloso, M.M. (ed.) IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, 6–12 January 2007, pp. 2517–2522 (2007)
20.
21.
McCain, N., Turner, H.: A causal theory of ramifications and qualifications. In: Proceedings of the 14th International Joint Conference on Artificial Intelligence, pp. 1978–1984. Morgan Kaufmann Publishers, San Mateo (1995)
22.
de Saint-Cyr, F.D., Lang, J.: Belief extrapolation (or how to reason about observations and unpredicted change). Artif. Intell. 175(2), 760–790 (2011)MathSciNetCrossRefMATH
23.
Shapiro, S., Pagnucco, M., Lespérance, Y., Levesque, H.J.: Iterated belief change in the situation calculus. Artif. Intell. 175(1), 165–192 (2011)MathSciNetCrossRefMATH
24.
25.
Metadaten
Titel
Revision and Updates in Possibly Action-Occurrence-Incomplete Narratives
verfasst von
Chitta Baral
Tran Cao Son
Copyright-Jahr
2017
Buch
PRIMA 2017: Principles and Practice of Multi-Agent Systems

Print ISBN: 978-3-319-69130-5

Electronic ISBN: 978-3-319-69131-2

Copyright-Jahr: 2017

DOI
https://doi.org/10.1007/978-3-319-69131-2_4