Redirigiendo al acceso original de articulo en 19 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

       
 
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

 
Wenhai Cheng, Qunying Zhang, Jiaming Dong, Haiying Wang and Xiaojun Liu    
Resolution and mapping bandwidth are the two most important image performance indicators that reflect satellite synthetic aperture radar (SAR) imaging reconnaissance capability. The PRI-staggered signal can simultaneously achieve high resolution in azimu... ver más
Revista: Applied Sciences

 
Jianjun Ni, Li Wang, Xiaotian Wang and Guangyi Tang    
The visual simultaneous localization and mapping (SLAM) method under dynamic environments is a hot and challenging issue in the robotic field. The oriented FAST and Rotated BRIEF (ORB) SLAM algorithm is one of the most effective methods. However, the tra... ver más
Revista: Applied Sciences

 
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