Formally Verifying Dynamic Properties of Knowledge Based Systems(12)

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

filter-trace#(cs;vartrace,output)

begin

/thenifcs=0

/;trace:=nilendbeginoutput:=0

else

varcandidate=select(cs)in

begin

ifcorrect(candidate)then

begin

filter-trace#(cscandidate;trace,output);

output:=insert-class(candidate,output)

end

else

begin

filter-trace#(cscandidate;trace,output);

end

trace:=candidate::trace

end

end

Fig.3.Versionofthelinear lteringPSMwhichcomputesatrace

function,namelythattheclassesoftheinputareselectedusingaheuristicfunctionwhichselectstheclasswiththehighestheuristicvalue.