Redirigiendo al acceso original de articulo en 21 segundos...
Inicio  /  Algorithms  /  Vol: 13 Par: 7 (2020)  /  Artículo
ARTÍCULO
TITULO

Equivalence of the Frame and Halting Problems

Eric Dietrich and Chris Fields    

Resumen

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.

 Artículos similares

       
 
Xueping Song, Shuyu Zhang, Jianming Yang and Jicun Zhang    
Many security detectors do not have the ability to output individual luggage package images and are not compatible with deep learning algorithms. In this paper, a luggage package extraction of X-ray images based on the ES-MBD (Edge Sensitive Multi-channe... ver más
Revista: Applied Sciences

 
Theodoros Psallidas and Evaggelos Spyrou    
During the last few years, several technological advances have led to an increase in the creation and consumption of audiovisual multimedia content. Users are overexposed to videos via several social media or video sharing websites and mobile phone appli... ver más
Revista: Computers

 
Tianchi Zhang, Yong Gao, Zhiyong Wang and Mingjun Zhang    
This paper studies the underwater image restoration problem in autonomous operation of AUV guided by underwater visual. An improved underwater image restoration method is developed based on multi-frame neighboring images under artificial light source. At... ver más

 
Yuchao Wang, Yinsong Qu, Shiquan Zhao, Ricardo Cajo and Huixuan Fu    
In this paper, a solution to the problem of following a curved path for underactuated unmanned surface vehicles (USVs) with unknown sideslip angle and model uncertainties is studied. A novel smooth sliding mode control (SSMC) based on a finite-time exten... ver más

 
Munirah Alfadhli, Adel Elmandouh and Muneerah Al Nuwairan    
This work aims to explore some dynamic aspects of the problem of star motion that is impacted by the rotation of the galaxy, which we model as a bisymmetric potential based on a two-dimensional harmonic oscillator with sextic perturbations. We demonstrat... ver más
Revista: Applied Sciences