Next Article in Journal
Towards Cognitive Recommender Systems
Previous Article in Journal
Modeling Hourly Soil Temperature Using Deep BiLSTM Neural Network
Open AccessArticle

Equivalence of the Frame and Halting Problems

Department of Philosophy, Binghamton University, Binghamton, NY 13902, USA
*
Author to whom correspondence should be addressed.
Current address: 23 Rue des Lavandières, 11160 Caunes Minervois, France.
Algorithms 2020, 13(7), 175; https://doi.org/10.3390/a13070175
Received: 1 July 2020 / Revised: 13 July 2020 / Accepted: 16 July 2020 / Published: 20 July 2020
The open-domain Frame Problem is the problem of determining what features of an open task environment need to be updated following an action. Here we prove that the open-domain Frame Problem is equivalent to the Halting Problem and is therefore undecidable. We discuss two other open-domain problems closely related to the Frame Problem, the system identification problem and the symbol-grounding problem, and show that they are similarly undecidable. We then reformulate the Frame Problem as a quantum decision problem, and show that it is undecidable by any finite quantum computer. View Full-Text
Keywords: artificial intelligence; entanglement; heuristic search; Multiprover Interactive Proof*(MIP); robotics; separability; system identification artificial intelligence; entanglement; heuristic search; Multiprover Interactive Proof*(MIP); robotics; separability; system identification
Show Figures

Figure 1

MDPI and ACS Style

Dietrich, E.; Fields, C. Equivalence of the Frame and Halting Problems. Algorithms 2020, 13, 175. https://doi.org/10.3390/a13070175

AMA Style

Dietrich E, Fields C. Equivalence of the Frame and Halting Problems. Algorithms. 2020; 13(7):175. https://doi.org/10.3390/a13070175

Chicago/Turabian Style

Dietrich, Eric; Fields, Chris. 2020. "Equivalence of the Frame and Halting Problems" Algorithms 13, no. 7: 175. https://doi.org/10.3390/a13070175

Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Search more from Scilit
 
Search
Back to TopTop