Formally Verifying Dynamic Properties of Knowledge Based Systems(21)

Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-based systems. We present a case-study of a simple classification method for w

18.W.Reif.TheKIV-approachtoSoftwareVeri cation.InM.BroyandS.J¨ahnichen,editors,

KORSO:Methods,Languages,andToolsfortheConstructionofCorrectSoftware.SpringerLNCS1009,1995.

posingreal-timesystems.InProceedingsofIJCAI’91,