2015 | OriginalPaper | Buchkapitel
Paraconsistent Multi-party Persuasion in
verfasst von : Barbara Dunin-Kȩplicz, Alina Strachocka
Erschienen in: PRIMA 2015: Principles and Practice of Multi-Agent Systems
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Some conflicts appearing in multi-agent settings may be resolved via communication. In this paper, besides
conflicts of opinions
, paradigmatically resolved by
persuasion
, we study resolution of
conflicting justifications of opinions
. To cope with agents’
ignorance
and
inconsistencies
, often arising from perception and interactions, our formal framework Talk
LOG
employs a 4-valued logic with two additional logical values:
unknown
and
inconsistent
. Within Talk
LOG
we study such properties of persuasion as: termination, soundness and completeness. Another critical issue is complexity of agents’ communication, typically interleaved with reasoning. In Talk
LOG
tractability of both aspects is obtained thanks to the implementation tool: rule-based 4-valued language 4QL.