«ai.artificial-intel» 태그된 질문

인공 지능에 대한 이론적 질문

3
#P = FP의 결과
#P = FP의 결과는 무엇입니까? 실용적이고 이론적 인 결과에 관심이 있습니다. 실용적인 관점에서 저는 특히 인공 지능에 대한 결과에 관심이 있습니다. 논문이나 책에 대한 포인터는 환영 이상입니다. #P = FP가 P = NP를 의미한다고 말하지 마십시오. 이미 알고 있습니다. 또한, "알고리즘이 시간에 실행되면 실질적인 결과는 없을 것입니다 . 여기서 는 …
1
두 다항식 사이의 거리 찾기 (나무로 표시)
유전자 프로그래밍 작업을하는 동료 가 다음과 같은 질문을했습니다. 처음에는 욕심 많은 접근 방식으로 해결하려고 시도했지만 두 번째 생각에는 욕심 알고리즘에 대한 반례를 발견했습니다. 그래서 여기서 언급 할 가치가 있다고 생각했습니다. 표현식 트리로 표시되는 두 개의 다항식을 고려하십시오. 예를 들어, 엑스삼− 2 x + 1엑스삼−2엑스+1x^3-2x+1 및 엑스2+ 4엑스2+4x^2 + 4 아래 …
5
AI 연구에서“고급 수학”은 어느 정도까지 필요 / 유용합니까?
저는 현재 수학을 공부하고 있습니다. 그러나 나는 미래에 전문 수학자가되고 싶지 않다고 생각합니다. 인공 지능 연구를 위해 수학 지식을 적용하려고합니다. 그러나, 얼마나 많은 수학 과정을 따라야하는지 잘 모르겠습니다. (그리고 어떤 CS 이론 과정을 따라야합니까.) Quora에서 저는 Linear Algebra, Statistics and Convex Optimization 과목 이 기계 학습과 가장 관련이 있다는 것을 …
5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
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 
4
자신의 소스 코드에 대한 프로그램 추론
이 질문에 대한 영감은 다음과 같은 모호한 질문입니다. 자체 소스 코드에 대해 추론하고 수정할 수있는 AI를 갖기위한 프로그래밍 언어 / 논리적 기초는 무엇입니까? 이것은 전혀 엄격하지 않으므로 여기에서 구체적인 질문을 추출하려는 시도가 있습니다. 관심있는 두 가지가 있습니다. (A) 자체 프로그램을 데이터 유형 프로그램 (예 : AST)으로 표현하고 조작 할 수있는 …
2
효율적인 범용 문제 해결사?
알고리즘이 될 수있는 "문제"를 정의 자연수를 받아들이고 복귀 0 또는 1을 반환 적어도 하나 . 이러한 은 의 "솔루션"이라고합니다1 n ∈ N n AㅏAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA "유니버설 문제 해결사"를 정의하여 문제를 받아들이고 그 해결책 중 하나를 반환 하는 알고리즘예를 들어 는 모든 자연수를 반복하고 결과가 될 때까지 입력을 실행하여 작동 …
4
휴먼 인텔리전스 및 알고리즘
휴먼 인텔리전스가 알고리즘을 능가 할 수 있는지 여부를 결정하기위한 연구가 있습니까 (즉, 무료 점심 식사 정리가 휴먼 인텔리전스에 적용되는지 테스트)? 같은 선을 따라, 사람 지능의 독특하고 계산력이 뛰어난 속성을 이용하는 기술적 인 방법을 개발 한 사람이 있습니까?
3
MCTS / UCT의 응용
MCTS / UCT 는 적기 알고리즘을 사용하여 탐색 할 유망한 노드를 선택하는 게임 트리 검색 방법입니다. 게임은 무작위로 완료되며 더 많은 승리로 이어지는 노드가 더 많이 탐색됩니다. 적기 알고리즘은 승률이 높은 노드 탐색과 알 수없는 노드 탐색 사이의 균형을 유지합니다 (순수한 형식에서는 반드시 휴리스틱 평가 기능을 사용하지는 않습니다). 이 일반적인 …
5
온라인 학습 이해에 대한 좋은 참고 자료는 무엇입니까?
특히, 운영 중에 각자의 신념 네트워크 (또는 이와 동등한)를 업데이트 할 수있는 기계 학습 시스템에 대해 배울 수있는 자료를 요청합니다. 나는 그것들을 북마크에 넣지 못했지만 몇 개를 뛰어 넘었습니다. 상상할 수 있듯이 인터넷에서 검색하는 것은 다소 어려운 주제입니다.
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.