A logic for reasoning about persuasion

Katarzyna Budzynska, Magdalena Kacprzak

    Research output: Contribution to journalArticle

    13 Citations (Scopus)

    Abstract

    In the article, we introduce a sound and complete deductive system (AGn) which can be used to reason about persuasion process performed in distributed systems of agents in circumstances of uncertain and incomplete information. In order to express degrees of beliefs of these agents, we adopt methods of Logic of Graded Modalities. To represent degrees' changes resulting from the persuasion, we apply tools of Algorithmic Logic and Dynamic Logic. As a result, we interpret arguments as actions which lead to change of grades of agents' beliefs.
    Original languageEnglish
    Pages (from-to)51-65
    Number of pages15
    JournalFundamenta Informaticae
    Volume85
    Issue number1-4
    Publication statusPublished - 2008

    Fingerprint Dive into the research topics of 'A logic for reasoning about persuasion'. Together they form a unique fingerprint.

  • Cite this