Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Yì N. Wáng"'
Autor:
Thomas Ågotnes, Yì N. Wáng
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 215, Iss Proc. TARK 2015, Pp 31-50 (2016)
Distributed knowledge is the sum of the knowledge in a group; what someone who is able to discern between two possible worlds whenever any member of the group can discern between them, would know. Sometimes distributed knowledge is referred to as the
Externí odkaz:
https://doaj.org/article/7d273b496bd74d448bbfde1a03805ee6
Publikováno v:
Journal of Logic and Computation. 33:189-191
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2749ee3b18a92ff9b0ab85053c647a80
https://doi.org/10.1093/logcom/exac091
https://doi.org/10.1093/logcom/exac091
Autor:
Yì N. Wáng, Xu Li
Publikováno v:
Journal of Logic and Computation. 31:2004-2027
We introduce a logic of knowledge in a framework in which knowledge is treated as a kind of belief. The framework is based on a standard KD45 characterization of belief, and the characterization of knowledge undergoes the classical tripartite analysi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8668c44f220ef480c7b646334cafa988
https://doi.org/10.1093/logcom/exab002
https://doi.org/10.1093/logcom/exab002
Publikováno v:
Journal of Logic, Language and Information
International Conference on Logic, Rationality and Interaction
JOURNAL OF LOGIC LANGUAGE AND INFORMATION
Logic, Rationality, and Interaction ISBN: 9783662602911
LORI
International Conference on Logic, Rationality and Interaction
JOURNAL OF LOGIC LANGUAGE AND INFORMATION
Logic, Rationality, and Interaction ISBN: 9783662602911
LORI
We define balance games, which describe the formation of friendships and enmity in social networks. We show that if the agents give high priority to future profits over short term gains, all Pareto optimal strategies will eventually result in a balan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::574e0035f579e43483d23fb1f472d135
http://livrepository.liverpool.ac.uk/3089335/1/main.pdf
http://livrepository.liverpool.ac.uk/3089335/1/main.pdf
Autor:
Xiaolong Liang, Yì N. Wáng
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031208614
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::685e01b71c4cdf559f1a0316cc472743
https://doi.org/10.1007/978-3-031-20862-1_3
https://doi.org/10.1007/978-3-031-20862-1_3
Autor:
Thomas Ågotnes, Yì N. Wáng
Publikováno v:
Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning.
Several different notions of group knowledge have been extensively studied in the epistemic and doxastic logic literature, including common knowledge, general knowledge (everybody-knows) and distributed knowledge. In this paper we study a natural not
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::434fc489d77efb0408dc6da5a7155268
https://doi.org/10.24963/kr.2021/1
https://doi.org/10.24963/kr.2021/1
Publikováno v:
Logic, Rationality, and Interaction ISBN: 9783030887070
LORI
LORI
We introduce a type of weighted modal logic with explicit weights both in the language and in the models. The framework has its applications in epistemic logic for reasoning about agents’ knowledge based on their capability, and in deontic logic fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e352fa311222576c22cd0f584d8e3604
https://doi.org/10.1007/978-3-030-88708-7_6
https://doi.org/10.1007/978-3-030-88708-7_6
Publikováno v:
Journal of Logic and Computation. 31:1901-1902
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4e3b029a9697be5f91b74732c1eb65fb
https://doi.org/10.1093/logcom/exab047
https://doi.org/10.1093/logcom/exab047
Publikováno v:
IJCAI
PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE
PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE
We combine social balance theory with temporal logic to obtain a Logic of Allies and Enemies (LAE), which formally describes the likely changes to a social network due to social pressure. We demonstrate how the rich language of LAE can be used to des
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2690ea46078b2bf9813d4fd724ad47db
https://doi.org/10.24963/ijcai.2020/30
https://doi.org/10.24963/ijcai.2020/30
Autor:
Thomas Ågotnes, Yì N Wáng
Publikováno v:
Lecture Notes in Computer Science (LNCS)
While logical formalizations of group notions of knowledge such as common and distributed knowledge have received considerable attention in the literature, most approaches being based on modal logic, group notions of belief have received much less at
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::59649d8133a29b41bbdb0e04b051bb45
https://hdl.handle.net/11250/2753886
https://hdl.handle.net/11250/2753886