Публикации по теме 'induction'
Как машинное обучение поможет найти лекарство от рака
Привет, меня зовут Ан, и в настоящее время я прохожу курс «Влияние ИИ на общество» в Вентвортском технологическом институте. В основном мы читаем книгу The Master Algorithm , написанную Педро Домингосом , и в книге он делает интересное предположение о том, как машинное обучение может помочь найти лекарство от рака.
Чтобы понять, как машинное обучение может найти лекарство от рака, нам нужно понять, как машина «обучается». Большая часть предпосылок книги Педро посвящена изучению..
«Байесианец точно не выйдет и не скажет вам, что вы не должны мыслить дедуктивно или…
«Байесианец точно не выйдет и не скажет вам, что вы не должны мыслить дедуктивно или интуитивно. Он просто намекнет, что все другие способы мышления являются частными случаями теоремы Байеса, что в некотором смысле верно, потому что их можно использовать для вычисления Y и Z. Как говорят турки, все, что вам нужно, это три подковы и лошадь. И вот почему рационализм — враг разума: вы начинаете с полностью подкованной лошади, а кончаете подковой. Эй, куда делся мой мозг? —..
Вопросы по теме 'induction'
Пример из справочника дескриптивной логики
Я не очень ясно понимаю этот пример. Пример взят из Руководства по логике описания.
В последней строке примера «требуется индукция, следовательно, такое рассуждение не первого порядка». Эта фраза полностью вывела меня из себя.
ваше...
121 просмотров
schedule
23.11.2022
Принцип индукции, сгенерированный Coq, ведет себя не так, как я хочу.
ИЗМЕНЕНО для ясности
Я пытаюсь доказать свойства на дереве особого типа. Это дерево похоже на следующее. Проблема в том, что принцип индукции, сгенерированный Coq, недостаточен для меня для доказательства свойств дерева. В качестве более...
179 просмотров
schedule
16.04.2022
Метод вставки Dafny, постусловие может не выполняться на этом пути возврата
У меня есть массив "line", в котором содержится строка длины "l", и массив "nl", в котором содержится строка длины "p". Примечание: «l» и «p» не обязательно должны быть длиной каждого соответствующего массива. Параметр «at» будет позицией, в которой...
1389 просмотров
schedule
21.05.2023
Доказательство сложности рекурсивной функции по индукции
Мне нужно доказать по индукции, что для -
T(n) = T(n-1) + c2 , T(1) = c1
The run time complexity is - T(n) = O(n)
На моем шаге индукции после базового случая и предположения индукции я написал, что -
T(k+1) = T(k) + c2 = O(k) + c2 = O(k...
699 просмотров
schedule
29.09.2022
Доказательство правильности алгоритма по индукции
Недавно я начал читать книгу о структурах данных, и она начинается с введения в алгоритмы. В одном упражнении предлагается доказать алгоритм по индукции и инварианту цикла. Алгоритм в псевдокоде:
Algorithm DEC2BIN(int n, int[] b)
Input: int n,...
235 просмотров
schedule
03.08.2022
Agda: Создание рекурсивного значения записи?
Мне интересно, возможно ли иметь записи, значения которых зависят друг от друга, без рекурсивного определения в терминах типов? По сути, у меня есть тип записи, который выглядит так:
record SomeRec (a : Set) : Set where
method1 : a -> a...
67 просмотров
schedule
25.09.2022
Как можно использовать исключение идентичности (в agda), чтобы доказать Экман-Хилтон для путей более высокой размерности в HoTT?
Я пытаюсь воспроизвести основную лемму из книги HoTT (стр. 70) для доказательства теоремы Экмана-Хилтона, только используя J (без сопоставления с образцом).
В нем говорится: «Но, в общем, два способа определения горизонтальной композиции...
56 просмотров
schedule
05.11.2022
Сложность повторения T(n)=T(n/2)+T(n/2)+n^2?
В соответствии с основной теоремой это повторение равно θ (n ^ 2), но если мы решим это с повторением дерева, решение будет θ (n ^ 2 * logn). Я делаю что-то неправильно?
260 просмотров
schedule
25.02.2023
