恰好动心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.
