Automated search for several alternative logical inferences in a mivar knowledge base
This paper describes an approach to the automatic generation of a mivar knowledge base of a three-dimensional logic space. This knowledge base is created to provide three-dimensional robot movement. Automatic generation of mivar knowledge bases is necessary for the further solution of the problem of...
| Main Authors: | , , , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
EDP Sciences
2024-01-01
|
| Series: | E3S Web of Conferences |
| Online Access: | https://www.e3s-conferences.org/articles/e3sconf/pdf/2024/45/e3sconf_tt21c-2024_03017.pdf |