Deriving epistemic conclusions from agent architecture

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Deriving epistemic conclusions from agent architecture

Full text

Pdf (462 KB)

Source

Theoretical Aspects Of Rationality And Knowledge archive
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge table of contents

California

SESSION: Contributed papers table of contents

Pages 61-70

Year of Publication: 2009

ISBN:978-1-60558-560-4

Authors

Stephen Chong	Harvard University
Ron van der Meyden	University of New South Wales

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 15, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1562814.1562826 What is a DOI?

ABSTRACT

One of our most resilient intuitions is that causality is a precondition for information flow: where there are no causal connections, we expect there to be no flow of information. In this paper, we study this idea as it arises in the computer science notion of systems architectures, which are high level designs that describe the coarse structure of a system in terms of its high-level components and their permitted causal interactions.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	J. Alves-Foss, W. Harrison, P. Oman, and C. Taylor. The MILS architecture for high-assurance embedded systems. International Journal of Embedded Systems, 2 (3/4):239--47, Feb 2006.
	2	C. Boettcher, R. DeLong, J. Rushby, and W. Sifre. The MILS component integration approach to secure information sharing. In 27th IEEE/AIAA Digital Avionics Systems Conference, pages 1.C.2--1--1.C.2--14, Oct 2008.
	3	S. Chong and R. van der Meyden. Using architecture to reason about information security. Submitted for publication, 2009.
	4	Kai Engelhardt , Ron van der Meyden , Yoram Moses, Knowledge and the logic of local propositions, Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge, July 22-24, 1998, Evanston, Illinois
	5	J. Y. Halpern and J. Pearl. Causes and explanations: A structural-model approach - Part II: Explanations. In IJCAI, pages 27--34, 2001.
	6	Yoram Moses , Ben Bloom, Knowledge, timed precedence and clocks (preliminary report), Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.294-303, August 14-17, 1994, Los Angeles, California, United States [doi>10.1145/197917.198113]
	7	Judea Pearl, Causality: models, reasoning, and inference, Cambridge University Press, New York, NY, 2000
	8	A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In Proc. 2nd Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-91), pages 473--484, 1991.
	9	J. Rushby. Noninterference, transitivity and channel-control security policies. Technical report, SRI, 1992.
	10	R. van der Meyden. On causality and distributed knowledge. In KR 2008: Eleventh International Conference on Principles of Knowledge Representation and Reasoning, pages 209--212, 2008.
	11	W. Vanfleet, R. Beckworth, B. Calloni, J. Luke, C. Taylor, and G. Uchenick. MILS: architecture for high assurance embedded computing. Crosstalk: The Journal of Defence Engineering, pages 12--16, Aug 2005.
	12	Michael Wooldridge , Nicholas R. Jennings, Agent theories, architectures, and languages: a survey, Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents, p.1-39, March 1995, Amsterdam, The Netherlands