Shadowing in Many-Valued Nested Structures
| Autor: | Andrzej Szałas, Barbara Dunin-Keplicz |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Theoretical computer science
Computer science Semantics (computer science) Group (mathematics) 010102 general mathematics Single group 06 humanities and the arts 0603 philosophy ethics and religion Transient analysis 01 natural sciences 060302 philosophy Transient (computer programming) 0101 mathematics Belief change Shadow mapping ComputingMethodologies_COMPUTERGRAPHICS |
| Zdroj: | ISMVL |
| DOI: | 10.1109/ismvl49045.2020.00005 |
| Popis: | Belief shadowing is a relatively recent approach to belief change. In essence, shadowing depends on accepting beliefs of others at the expense of dismissing, perhaps temporarily, some of the own ones. As a transient belief change, it is useful when an agent, acting as a group member or playing a particular role, has to adopt adequate "external" beliefs. So far two forms of shadowing, single and multiple, have been considered. While the former specifies shadowing when an agent belongs to a single group or plays a single role, multiple shadowing relaxes this restriction.In the paper we generalize shadowing to arbitrary finitely many-valued logics and consider more complex semantical structures allowing arbitrarily nested sets of worlds. We show that in this general setting multiple shadowing can be represented by single shadowing. The complexity of queries involving such generic shadowing operators is also analyzed. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|