Artykuł w czasopiśmie
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

Doxastic Group Reasoning via Multiple Belief Shadowing

Uproszczony widok
cris.lastimport.scopus2024-02-12T20:45:00Z
dc.abstract.enIn real world situations an agent may need to switch between distinct roles and/or groups. This calls for a well-controlled and computationally-friendly adjustment of relevant beliefs, especially when groups’ structures and organization evolve dynamically. A need for adaptability may also emerge from the impossibility of fixing agents’ roles or teams at design time. In such changing circumstances reasoning about beliefs is a challenging issue. A concept of belief shadowing, introduced in [8], address these phenomena with a use of AasB operator expressing that A acts as B. That is, beliefs of AasB are those of B, unless B does not know the doxastic status of a given belief, in which case the belief of A is binding. This simple construct turns out to be efficient for shallow and transient forms of belief change. Yet, while being convenient in situations when an agent plays a specific role or joins a given group, single shadowing hardly fits cases of multiple roles and/or multiple groups entered simultaneously without prioritizing them. As a remedy we introduce multiple shadowing together with a query language, Open image in new window , where roles and groups are dealt with uniformly. The multiple shadowing operator appears simple yet flexible for reasoning about the associated beliefs, which otherwise are rather complex and onerous to reason about.Importantly, the presented language is tractable. Possible applications of Open image in new window as a lightweight tool for doxastic reasoning are pointed out.
dc.affiliationUniwersytet Warszawski
dc.conference.countryWłochy
dc.conference.datefinish2019-10-31
dc.conference.datestart2019-10-28
dc.conference.placeTorino
dc.conference.seriesInternational Conference on Principles of Practice in Multi-Agent Systems (prior to 2009 was Pacific Rim International Workshop on Multi-Agents)
dc.conference.seriesInternational Conference on Principles of Practice in Multi-Agent Systems (prior to 2009 was Pacific Rim International Workshop on Multi-Agents)
dc.conference.shortcutPRIMA 2019
dc.conference.weblinkhttps://prima2019.di.unito.it/
dc.contributor.authorDunin-Kęplicz, Barbara
dc.contributor.authorSzałas, Andrzej
dc.contributor.authorRüb, Inga
dc.date.accessioned2024-01-24T22:13:17Z
dc.date.available2024-01-24T22:13:17Z
dc.date.issued2019
dc.description.financeNie dotyczy
dc.identifier.doi10.1007/978-3-030-33792-6_17
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/105287
dc.identifier.weblinkhttps://link.springer.com/chapter/10.1007%2F978-3-030-33792-6_17
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.pages271-288
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.subject.enDoxastic reasoning
dc.subject.enBelief change
dc.subject.enGroup reasoning
dc.subject.enRule-based languages
dc.subject.enTractable languages
dc.subject.enParaconsistent reasoning
dc.titleDoxastic Group Reasoning via Multiple Belief Shadowing
dc.typeJournalArticle
dspace.entity.typePublication