Semantic Modeling and Artificial intelligence

The paper discusses the problem of solving human problems using computers. Analyzed are the advantages and disadvantages of declarative programming, including functional and logical programming, acting as an artificial intelligence tool. An alternative, model-theoretic approach to solving problems, called the semantic modeling, is described. The advantages of the proposed concept are analyzed, including the possibility of combining the axiomatic and model-theoretic approach to solving problems in a single approach, as well as the possibility of integrating on the basis of semantic modeling methods of continuous and discrete mathematics. The possibility of constructing a new, «explanatory artificial intelligence free from the drawbacks inherent in the traditional artificial intelligence, based on semantic modeling, is described.

Keywords: artificial FFF intelligence, machine learning, semantic modeling, declarative programming, computability, model-theoretic approach.