ResearchIndex: Structure-preserving specification languages for knowledge-based systems

ResearchIndex: Structure-preserving specification languages for knowledge-based systems- Much work on validation and verification of knowledge based systems (KBSs) has been done in implementation languages, mostly rule based. Recent papers suggest it is useful to do validation and verification in a more abstract and formal specification of the system.