Umeå universitets logga

umu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Formal verification of manipulation dialogues
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.ORCID-id: 0000-0001-9379-4281
Wakayama University, Wakayama, Japan.
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.ORCID-id: 0000-0003-4072-8795
2025 (Engelska)Ingår i: AAMAS '25: Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, ACM Digital Library, 2025, s. 2446-2448Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

We introduce a formal framework for recognizing manipulation in human-agent interactions, where one agent gradually influences another's beliefs. To this end, we extend Quantitative Bipolar Argumentation Frameworks (QBAFs) by incorporating agents' beliefs about arguments, attacks, and supports, forming QBAF with Belief (QBAFB). By defining axioms of belief change and integrating QBAFB into dialogue games, we establish conditions for manipulation-belief change, concealment, and intent-where strategies are shaped by (dis)honesty. The framework generates belief state trajectories, serving as explanations for manipulation.

Ort, förlag, år, upplaga, sidor
ACM Digital Library, 2025. s. 2446-2448
Serie
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, ISSN 1548-8403, E-ISSN 1558-2914
Nyckelord [en]
Deception, Dialogue Games, Formal Verification, Human-Agent Interaction, Manipulation, Quantitative Argumentation
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:umu:diva-242182Scopus ID: 2-s2.0-105009787042ISBN: 979-8-4007-1426-9 (digital)OAI: oai:DiVA.org:umu-242182DiVA, id: diva2:1983969
Konferens
24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025, Detroit, USA, May 19-23, 2025
Forskningsfinansiär
Stiftelsen för internationalisering av högre utbildning och forskning (STINT)Knut och Alice Wallenbergs StiftelseTillgänglig från: 2025-07-14 Skapad: 2025-07-14 Senast uppdaterad: 2025-07-14Bibliografiskt granskad

Open Access i DiVA

fulltext(948 kB)113 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 948 kBChecksumma SHA-512
8461789b3a890ee3d92658b56f4480594797f914bc833fcfc7a3c4e0dee0965bc65329167b64d55c0041ace5233cbb75e428c5d229c747ad0b630d68a0a5e584
Typ fulltextMimetyp application/pdf

Övriga länkar

ScopusPublisher's full text

Person

Brännström, AndreasNieves, Juan Carlos

Sök vidare i DiVA

Av författaren/redaktören
Brännström, AndreasNieves, Juan Carlos
Av organisationen
Institutionen för datavetenskap
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 113 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 450 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf