{"type":"ScholarlyArticle","title":"Only Knowing Meets Common Knowledge","authors":[{"name":"Vaishak Belle","slug":"vaishak-belle","given":"Vaishak","family":"Belle","affiliation":""},{"name":"Gerhard Lakemeyer","slug":"gerhard-lakemeyer","given":"Gerhard","family":"Lakemeyer","affiliation":""}],"abstract":"Only knowing captures the intuitive notion that the beliefs of an agent are precisely those that follow from its knowledge base. While only knowing has a simple possible-world semantics in a single agent setting, the many agent case has turned out to be much more challenging. In a recent paper, we proposed an account which arguably extends only knowing to multiple agents in a natural way. However, the approach was limited in that the semantics cannot deal with infinitary notions such as common knowledge. In this work, we lift that serious limitation to obtain a first-order language with only knowing and common knowledge, allowing us to study the interaction between these notions for the very first time. By adding a simple form of public announcement, we then demonstrate how the muddy children puzzle can be cast in terms of logical implications given what is only known initially.","doi":null,"url":"https://ijcai.org/proceedings/2015/390","pdf":"https://ijcai.org/proceedings/2015/0390.pdf","markdown":"https://ijcai.org/proceedings/2015/390.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/390","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":390,"pages":{"first":2755,"last":2760},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}