Declarative knowledge structures in problem-oriented systems of artificial intelligence

The article describes the techniques and tools of knowledge representation in the form of declarative structures based on the Extended Semantic Networks (ESN) formalism to produce intelligent systems knowledge bases and it provides the examples of intellectual knowledge processing systems for different domains. For processing the declarative knowledge structures presented in the form of ESN, a specialized logical programming language DECL has been developed. In DECL, the linguistic processors have been implemented executing translation of natural language (Russian and English) sentences into structures of a knowledge base, as well as reverse translation of inner representations into the surface forms of Russian or English.