Umeå University's logo

umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formal verification of manipulation dialogues
Umeå University, Faculty of Science and Technology, Department of Computing Science.ORCID iD: 0000-0001-9379-4281
Wakayama University, Wakayama, Japan.
Umeå University, Faculty of Science and Technology, Department of Computing Science.ORCID iD: 0000-0003-4072-8795
2025 (English)In: AAMAS '25: Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, ACM Digital Library, 2025, p. 2446-2448Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
ACM Digital Library, 2025. p. 2446-2448
Series
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, ISSN 1548-8403, E-ISSN 1558-2914
Keywords [en]
Deception, Dialogue Games, Formal Verification, Human-Agent Interaction, Manipulation, Quantitative Argumentation
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:umu:diva-242182Scopus ID: 2-s2.0-105009787042ISBN: 979-8-4007-1426-9 (electronic)OAI: oai:DiVA.org:umu-242182DiVA, id: diva2:1983969
Conference
24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025, Detroit, USA, May 19-23, 2025
Funder
The Swedish Foundation for International Cooperation in Research and Higher Education (STINT)Knut and Alice Wallenberg FoundationAvailable from: 2025-07-14 Created: 2025-07-14 Last updated: 2025-07-14Bibliographically approved

Open Access in DiVA

fulltext(948 kB)162 downloads
File information
File name FULLTEXT01.pdfFile size 948 kBChecksum SHA-512
8461789b3a890ee3d92658b56f4480594797f914bc833fcfc7a3c4e0dee0965bc65329167b64d55c0041ace5233cbb75e428c5d229c747ad0b630d68a0a5e584
Type fulltextMimetype application/pdf

Other links

ScopusPublisher's full text

Authority records

Brännström, AndreasNieves, Juan Carlos

Search in DiVA

By author/editor
Brännström, AndreasNieves, Juan Carlos
By organisation
Department of Computing Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 165 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 486 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf