Arrows for knowledge-based circuits

dc.contributor.author	Gammie, Peter	en_AU
dc.date.accessioned	2013-02-26T05:11:14Z
dc.date.available	2013-02-26T05:11:14Z
dc.date.issued	2013
dc.description.abstract	Knowledge-based programs (KBPs) are a formalism for directly relating agents' knowledge and behaviour in a way that has proven useful for specifying distributed systems. Here we present a scheme for compiling KBPs to executable automata in finite environments with a proof of correctness in Isabelle/HOL. We use Arrows, a functional programming abstraction, to structure a prototype domain-specific synchronous language embedded in Haskell. By adapting our compilation scheme to use symbolic representations we can apply it to several examples of reasonable size.	en_AU
dc.identifier.other	b30870562
dc.identifier.uri	http://hdl.handle.net/1885/9749
dc.language.iso	en_AU	en_AU
dc.subject	functional programming	en_AU
dc.subject	epistemic logic	en_AU
dc.title	Arrows for knowledge-based circuits	en_AU
dc.type	Thesis (PhD)	en_AU
dcterms.valid	2013	en_AU
local.contributor.affiliation	College of Engineering & Computer Science	en_AU
local.contributor.supervisor	Baker-Finch, Clem
local.description.notes	Supervisor: Clem Baker-Finch, Supervisor's Email Address: clem.baker-finch@anu.edu.au	en_AU
local.description.refereed	Yes	en_AU
local.identifier.doi	10.25911/5d78d9f7865db
local.mintdoi	mint
local.type.degree	Doctor of Philosophy (PhD)	en_AU