Semantic programming for AI and Robotics

The paper presents a new high-level object-oriented programming language L ∗ which is a conservative extension of the p-complete logical programming language L. The p-complete language L was developed by us earlier within the framework of semantic programming theory based on PAG-theorem, p-iterative...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2022 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON) s. 810 - 815
Hlavní autoři: Goncharov, Sergey, Nechesov, Andrey
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 11.11.2022
Témata:
Computer languages
explainable AI
Libraries
Machine learning algorithms
Neural networks
p-complete languages
polynomial computability
robotics
semantic programming
Semantics
Smart contracts
Syntactics
XAI
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:The paper presents a new high-level object-oriented programming language L ∗ which is a conservative extension of the p-complete logical programming language L. The p-complete language L was developed by us earlier within the framework of semantic programming theory based on PAG-theorem, p-iterative and conditional terms. Thus, L ∗ -programs can be used to implement any algorithms of polynomial complexity in such areas as artificial intelligence, robotics and smart contracts. This is especially true of the so-called explainable artificial intelligence (or briefly XAI), where it is necessary not only to give out the result based on the obtained data, but also to explain this result in a human-understandable language. This requires a programming language based on the basic constructions of mathematical logic such as logical formulas and terms. Moreover, the syntax of language L ∗ is as close as possible to the most popular programming languages such as C++, PHP, JavaScript. Which provides programmers with a quick entry into development.
DOI:10.1109/SIBIRCON56155.2022.10017077