Preguntas etiquetadas con ai.artificial-intel

¿Cuáles serían las consecuencias de #P = FP? Me interesan las consecuencias prácticas y teóricas. Desde un punto de vista práctico, estoy particularmente interesado en las consecuencias sobre la Inteligencia Artificial. Punteros a papeles o libros son más que bienvenidos. Por favor no digas que #P = FP implica P …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

Un colega que trabaja en programación genética me hizo la siguiente pregunta. Primero intenté resolverlo basado en un enfoque codicioso, pero en un segundo pensamiento, encontré un contraejemplo al algoritmo codicioso. Entonces, pensé que vale la pena mencionarlo aquí. Considere dos polinomios que están representados por sus árboles de expresión. …

20 ds.algorithms  tree  ai.artificial-intel  genetic-programming 

Actualmente estoy estudiando matemáticas. Sin embargo, no creo que quiera convertirme en un matemático profesional en el futuro. Estoy pensando en aplicar mi conocimiento de las matemáticas para hacer investigación en inteligencia artificial. Sin embargo, no estoy seguro de cuántos cursos de matemáticas debo seguir. (Y qué cursos de teoría …

19 soft-question  machine-learning  ai.artificial-intel 

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el hecho de que no es posible …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

La inspiración para esta pregunta es la siguiente (vaga) pregunta: ¿Cuáles son los fundamentos lógicos / del lenguaje de programación para tener una IA que pueda razonar sobre su propio código fuente y modificarlo? Esto no es del todo riguroso, así que aquí está mi intento de extraer una pregunta …

15 pl.programming-languages  ai.artificial-intel  recursion 

¿Cuáles son algunos problemas del mundo real que se han resuelto utilizando un algoritmo genético? ¿Cuál es el problema? ¿Cuál es la prueba de aptitud utilizada para resolver este problema?

13 ds.algorithms  machine-learning  ai.artificial-intel  application-of-theory  ne.neural-evol 

Definir un "problema" a ser un algoritmo aceptar un número natural y devolver 0 o 1 que devuelve 1 en al menos un n ∈ N . Cualquiera de tales n se llama una "solución" a AAAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA Defina un "solucionador de problemas universal" como un algoritmo acepta un …

12 cc.complexity-theory  ai.artificial-intel 

¿Se han realizado estudios para determinar si la inteligencia humana puede superar los algoritmos (es decir, comprobar si el Teorema de No Free Lunch se aplica a la inteligencia humana)? En la misma línea, ¿alguien ha desarrollado un método técnico para aprovechar las propiedades únicas y supra-computacionales de la inteligencia …

11 ds.algorithms  big-picture  ai.artificial-intel 

MCTS / UCT es un método de búsqueda de árbol de juego que utiliza un algoritmo de bandido para seleccionar nodos prometedores para explorar. Los juegos se juegan hasta su finalización al azar y los nodos que conducen a más victorias se exploran con mayor intensidad. El algoritmo de bandidos …

10 optimization  ai.artificial-intel  board-games 

Específicamente, solicito recursos para aprender sobre los sistemas de aprendizaje automático que pueden actualizar sus respectivas redes de creencias (o equivalentes) durante la operación. Incluso me he encontrado con algunos, aunque no pude marcarlos. Como puede imaginar, es un tema bastante desafiante para buscar en Internet.

10 reference-request  machine-learning  lg.learning  ai.artificial-intel  online-learning 

Considere cualquier lenguaje . Defina s ( L ) ∈ { 0 , 1 } ω (una secuencia infinita de bits) mediante la fórmula recursivaLLLs ( L ) ∈ { 0 , 1 }ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s ( L )norte= χL( s ( L )< n)s(L)n=χL(s(L)<n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, …

8 cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization