<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet href="client.xsl" type="text/xsl"?>
<article article-type="other">
<front>
<journal-meta>
<journal-id/>
<issn/>
<banner>
<!--<href>banner.jpg</href>-->
<size width="100%"/>
</banner>
</journal-meta>
<article-meta>
<title-group>
<article-title>Knowledge and Observations in the Situation Calculus</article-title>
</title-group>

<author><a href="mailto:rfk@csse.unimelb.edu.au"><name>Ryan F. Kelly</name></a></author>
<aff>NICTA Victoria Research Laboratory, Department of Computer Science and Software Engineering<br/> The University of Melbourne Victoria, 3010, Australia</aff>

<author><a href="mailto:adrian@csse.unimelb.edu.au"><name>Adrian R. Pearce</name></a></author>
<aff>NICTA Victoria Research Laboratory, Department of Computer Science and Software Engineering<br/> The University of Melbourne Victoria, 3010, Australia</aff>

</article-meta></front>
<body>
<abstract>
<title>ABSTRACT</title>
<p>We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes existing work by reifying the observations made by each agent as the world evolves, allowing for agents that are partially or completely unaware of some of the actions that have occurred. This also enables agents to reason effectively about knowledge using only their internal history of observations, rather than requiring a full history of the world. The result is a more robust and flexible account of knowledge suitable for use in partially-observable multiagent domains.</p>
</abstract>
<fpdf>
<href>pdflogo.jpg</href>
<hpdf>AAMAS07_0125_0d14c8c6f467bd69966c696db5f34525</hpdf>
</fpdf>
</body>
</article>

