{"type":"ScholarlyArticle","title":"Communication and Inference through Situations","authors":[{"name":"Hideyuki Nakashima","slug":"hideyuki-nakashima","given":"Hideyuki","family":"Nakashima","affiliation":""},{"name":"Stanley Peters","slug":"stanley-peters","given":"Stanley","family":"Peters","affiliation":""},{"name":"Hinrich Schütze","slug":"hinrich-schutze","given":"Hinrich","family":"Schütze","affiliation":""}],"abstract":"In this paper, we show how to use common knowledge computationally in solving problems involving cooperation of multiple agents, when common knowledge is available. We will explain why a procedural approach to common knowledge is better suited to solving multipleagent problems than a static one. We show, even if one can never prove that common knowledge has been attained ([Halpern and Moses, 1990]), that assuming it has been attained is often safe and efficacious. The ability to detect fairly reliably when certain conditions are not met suffices as a guideline for when to assume something is common knowledge. In principle, the problem of when one has individual knowledge is about as difficult. We use the situation oriented programming language PROS IT. By combining reasoning about situations and in situations, PROSIT makes possible an especially intuitive and simple solution of hypothetical reasoning problems involving common knowledge ([Nakashima and Tutiya, 1991)).","doi":null,"url":"https://ijcai.org/proceedings/1991/12","pdf":"https://ijcai.org/proceedings/1991/0012.pdf","markdown":"https://ijcai.org/proceedings/1991/12.md","bibtex":"https://ijcai.org/proceedings/1991/bibtex/12","volume":{"slug":"1991","title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1991","url":"https://ijcai.org/proceedings/1991/","year":1991,"location":"Sydney, New South Wales, Australia","dates":"24-30 August 1991","editors":"John Mylopoulos and Ray Reiter","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Architectures & Languages","track":"Architectures & Languages","number":12,"pages":{"first":76,"last":81},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}