Formally Verifying Dynamic Properties of Knowledge Based Sys(14)

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

Finally,forbothcasestudieswehavesuggestedageneralapproachthatcouldbeappliedtootherproblemsolvingmethodsinordertoobtainthesameresultsforthosemethods.

References

References

1.J.S.Aikins.Representationofcontrolknowledgeinexpertsystems.InProceedingsofAAAI’80,pages121–123,1980.

2.A.J.BonnerandM.Kifer.Transactionlogicprogramming.InProceedingsoftheTenthInternat.Conf.onLogicProgramming(IPLP’93),pages257–279,1993.MITPress.

3.B.Chandrasekaran.Generictasksinknowledgebasedreasoning:Highlevelbuildingblocksforexpertsystemdesign.IEEEExpert,1(3):23–30,1986.

4.W.Clancey.Theadvantagesofabstractcontrolknowledgeinexpertsystemdesign.InProceedingsofAAAI’83,pages74–78,1983.1983.

5.F.Cornelissen,C.Jonker,positionalveri cationofknowledge-basedsys-tems:acasestudyfordiagnosticreasoning.InE.PlazaandR.Benjamins,editors,Pro-ceedingsofEKAW’97,number1319inLectureNotesinArti cialIntelligence,pages65–80,1997.Springer-Verlag.

6.T.DeanandM.Boddy.Ananalysisoftime-dependentplanningproblems.InProceedingsofAAAI’88,pages49–54,1988.

7.D.Fensel.TheKnowledge-BasedAcquisitionandRepresentationLanguageKARL.KluwerAcademicPubblisher,1995.

8.D.FenselandR.Groenboom.Asoftwarearchitectureforknowledge-basedsystems.TheKnowledgeEngineeringReview,1999.Toappear.

9.D.Fensel,R.Groenboom,andG.R.RenardeldeLavalette.Modalchangelogic(MCL):Specifyingthereasoningofknowledge-basedsystems.DataandKnowledgeEngineering,26(3):243–269,1998.

10.D.FenselandA.Sch¨ingKIVtospecifyandverifyarchitecturesofknowledge-

basedsystems.InProceedingsofthe12thIEEEInternationalConferenceonAutomatedSoftwareEngineering(ASEC’97),1997.

11.D.FenselandA.Sch¨onegge.Inverseveri cationofproblem-solvingmethods.International

JournalofHuman-ComputerStudies,49:4,1998.

12.D.FenselandR.Straatman.Theessenseofproblem-solvingmethods:Makingassumptions

forgainingef ciency.InternationalJournalofHuman-ComputerStudies,48(2):181–215,1998.

13.M.FisherandM.Wooldridge.Ontheformalspeci cationandveri cationofmulti-agent

systems.InternationalJournalofCooperativeInformationSystems,6(1):37–65,January1997.WorldScienti cPublishers.

14.D.Harel.Dynamiclogic.InD.GabbayandF.Guenthner,editors,HandbookofPhilosoph-

icalLogic,Vol.II,pages497–604.Reidel,Dordrecht,TheNetherlands,1984.

15.C.Jonker,J.Treur,positionalveri cationofagentsindynamicenvi-

ronments:acasestudy.InProceedingsofEuropeanV&VWorkshopatKR’98,june1998.

16.R.Jungclaus,G.Saake,Th.Hartmann,andC.Sernades.TROLL-alanguageforobject-

orientedspeci cationofinformationsystems.ACMTransactionsonInformationSystems,14(2):175–211,April1996.

17.V.R.Pratt.SemanticalconsiderationsonFloyd-Hoarelogic.InIEEESymposiumonFoun-

dationsofComputerScience,pages109–121,October1976.