MoL-2004-08: Exploring the Update Universe

MoL-2004-08: Ruan, Ji (2004) Exploring the Update Universe. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
MoL-2004-08.text.pdf

Download (398kB) | Preview
[thumbnail of Abstract] Text (Abstract)
MoL-2004-08.abstract.txt

Download (527B)

Abstract

In this thesis, the author shows how BMS framework models the cases of
message passing. He studies the sufficient and necessary conditions
for two action models to have the same update effects, and proposes a
structural relation between action models, named action emulation, to
capture the same update effects for the propositional case. Finally,
the author discusses the problem of update evolution and shows a
sufficient condition for the stabilization of update evolution.

Item Type: Report
Report Nr: MoL-2004-08
Series Name: Master of Logic Thesis (MoL) Series
Year: 2004
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38
URI: https://eprints.illc.uva.nl/id/eprint/753

Actions (login required)

View Item View Item