Integrating a General Search Agent into an Imperative Programming Language

James Smith, Chris Henderson, Ajay Bansal

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Search is one of the more common strategies used by problem-solving agents. For many hard problems, a backtracking search can be the most effective approach for finding a solution. Logic programming languages provide, as a core feature of the language, the mechanics for the search behind the scenes without requiring the user to specify the algorithm. However, this functionality has been generally left out of the core features of imperative programming languages. In this work we propose integrating a search agent into an imperative programming language through a search construct in the syntax. By doing so, our intention is that the user may apply a model-based approach to problem solving. We extend the Go programming language with this search construct and develop an agent to perform the search. The algorithm behind the search is implicitly handled by the agent. We demonstrate the effectiveness of this search construct through solutions to an exhaustive search over a file-system, the NQueens problem, and the monkey and the bananas problem.

Original languageEnglish (US)
Title of host publicationProceedings - 2021 IEEE 4th International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2021
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages54-61
Number of pages8
ISBN (Electronic)9781665437363
DOIs
StatePublished - 2021
Externally publishedYes
Event4th IEEE International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2021 - Laguna Hills, United States
Duration: Dec 1 2021Dec 3 2021

Publication series

NameProceedings - 2021 IEEE 4th International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2021

Conference

Conference4th IEEE International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2021
Country/TerritoryUnited States
CityLaguna Hills
Period12/1/2112/3/21

Keywords

  • Declarative programming
  • Imperative programming
  • backtracking search
  • problem-solving agent
  • search agent

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Networks and Communications
  • Computer Science Applications
  • Hardware and Architecture
  • Information Systems and Management

Fingerprint

Dive into the research topics of 'Integrating a General Search Agent into an Imperative Programming Language'. Together they form a unique fingerprint.

Cite this