Název: Substructural logics for pooling information
Autoři: Sedlár, Igor ; Punčochář, Vít
Typ dokumentu: Příspěvky z konference
Konference/Akce: LORI 2017. International Workshop on Logic, Rationality, and Interaction /6./, Sapporo (JP), 20170911
Rok: 2017
Jazyk: eng
Abstrakt: This paper puts forward a generalization of the account of pooling information – offered by standard epistemic logic – based on intersection of sets of possible worlds. Our account is based on information models for substructural logics and pooling is represented by fusion of information states. This approach yields a representation of\npooling related to structured communication within groups of agents. It is shown that the generalized account avoids some problematic features of the intersection-based approach. Our main technical result is a sound and complete axiomatization of a substructural epistemic logic with an operator expressing pooling.\n
Klíčová slova: distributed knowledge; information pooling; substrucural logics
Číslo projektu: GC16-07954J (CEP)
Poskytovatel projektu: GA ČR
Zdrojový dokument: Logic, Rationality, and Interaction, ISBN 978-3-662-55664-1, ISSN 0302-9743

Instituce: Filosofický ústav AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný v příslušném ústavu Akademie věd ČR.
Původní záznam: http://hdl.handle.net/11104/0275400

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-373475


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Filosofický ústav
Konferenční materiály > Příspěvky z konference