Как называется категория поисковых технологий для автоматического программирования с использованием искусственного интеллекта?

Question

Я изучаю методы автоматического программирования, доступные в литературе, но только те, которые используют ИИ.Единственный такой метод, который я могу найти, - это генетическое программирование.

Существуют ли какие-либо другие методы, которые преобразуют спецификацию проблемы высокого уровня, которую программист не должен знать, как решить, в работающую программу?Как называется категория этих методов поиска?

Answer 1

На самом деле нет конкретного названия для категории, хотя термин генетическое программирование часто используется не только для обозначения оригинального генетического программирования с использованием Lisp S-выражений, представленных в виде деревьев, но и для более широкого обозначения всех методов автоматического программирования. используя эволюционные алгоритмы. Это, конечно, не включает неэволюционные методы, но это значительная часть научной литературы.

Другие техники, относящиеся к этой широкой категории «Генетическое программирование», которые вы могли бы рассмотреть, включают Грамматическое развитие , Программирование генной экспрессии , Линейный ГП и декартова ГП .

Существует также Эволюционное программирование , которое отличается от генетического программирования (хотя и в некоторых отношениях аналогично). Небольшое количество исследований было сделано по использованию Ant Colony Optimization для автоматического программирования. Хотя я не думаю, что это было очень успешно. Вы можете найти это лучше всего, используя Google Scholar.

Answer 2

Насколько мне известно, в настоящее время генетическое программирование является доминирующим подходом к методам автоматического программирования. Помимо этого вы можете посмотреть на

• программная индукция / программный вывод
• поиск оптимальной программы ( Универсальный поиск )
• самосовершенствующиеся программы ( Gödel Machine )

Answer 3

Другие методы поиска включают Табу Поиск и Имитация отжига . В соревнованиях по планированию я принимал участие , они, как правило, даже превосходят Генетические алгоритмы : например, в треке 1 ITC2007 * использовались финалисты 1, 2, 3 и 4 Поиск по Табу и / или Имитация отжига , в то время как финалист 5 использовал Генетические алгоритмы .

Однако я еще не видел, чтобы они применяли методы автоматического программирования , но, возможно, они для этого не подходят.

Answer 4

Общая категория будет машинное обучение .Другие методы включают повышение , я уверен, что вы можете найти больше самостоятельно, теперь, когда вы знаете, где искать.

Вы также можете посмотреть нейронные сети .