Formally Verifying Dynamic Properties of Knowledge Based Sys(15)

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,

pages212–217,1991.

ponentsofexpertise.AIMagazine,Summer1990.

21.M.Ste k.IntroductiontoKnowledge-BasedSystems.MorganKaufmann,1995.

22.A.tenTeijeandF.vanHarmelen.Exploitingdomainknowledgeforapproximatediagnosis.

InProceedingsofIJCAI’97,pages454–459,1997.

23.J.TreurandTh.Wetter,editors.FormalSpeci cationofComplexReasoningSystems,Work-

shopSeries.EllisHorwood,1993.

24.P.vanEck,J.Engelfriet,D.Fensel,F.vanHarmelen,Y.Venema,andM.Willems.Speci-

cationofdynamicsforknowledge-basedsystems.InB.Freitag,H.Decker,M.Kifer,and

A.Voronkov,editors,TransactionsandChangeinLogicDatabases,volume1472ofLectureNotesinComputerScience,pages37–68.SpringerVerlag,1998.

25.F.vanHarmelenandJ.R.Balder.(ML)2:aformallanguageforKADSmodelsofexpertise.

KnowledgeAcquisition,4(1),1992.

26.F.vanHarmelenandA.tenTeije.Characterisingapproximateproblem-solvingbypartial

pre-andpostconditions.InProceedingsofECAI’98,pages78–82,1998.

27.I.A.vanLangevelde,A.W.Philipsen,andJ.Treur.Formalspeci cationofcompositional

architectures.InB.Neumann,editor,ProceedingsECAI’92,pages272–276,1992.

28.B.J.Wielinga,A.Th.Schreiber,andJ.A.Breuker.KADS:Amodellingapproachtoknowl-

edgeengineering.KnowledgeAcquisition,4(1):5–53,1992.