Публикации по теме 'logic'
Классический взгляд на искусственный интеллект
Концепция искусственного интеллекта существует уже некоторое время, ее корни восходят к 1950-м годам. Хотя с годами эта область претерпела полную метаморфозу, некоторые основы, какими они были тогда, остаются основополагающими для ИИ даже сегодня. В этой статье я пытаюсь представить взгляд на ИИ с классической точки зрения 1950-х и 1960-х годов. Впоследствии вы найдете подробную информацию об эволюции ИИ за эти годы, поскольку вы заметите, что само определение интеллекта в машине..
Начало программирования на Python - Часть 3
Знакомство с использованием операторов и ничего
Если вы только наткнулись на эту серию, обязательно посмотрите части 1 и 2 . Остальным же сегодня мы поговорим об операторах и none .
Начало программирования на Python, часть 2 - ссылочные типы, указатели и типы коллекций Ранее мы говорили о переменных, константах и типах. medium.com
Хотя мы все еще изучаем основы, хорошие новости заключаются в том, что после сегодняшнего дня..
Реализация _.some с использованием _.every
Я работал над повторной реализацией некоторых функций underscore.js. Мне показалось интересным обсудить, как использовать _.every для реализации _.some .
Прежде всего, давайте быстро посмотрим, что такое _.every и _.some из официального документа underscore.js .
every _.every(list, [predicate], [context]) Alias: all
Returns true if all of the values in the list pass the predicate truth test. Short-circuits and stops traversing the list if a false element is found...
Эпистемология и машинное обучение
Машины обучаются или обучающиеся машины (МО) стали одной из величайших навязчивых идей человечества и за короткий период времени стали крупными. Люди задумались, как создать интеллект синтетически или то, что мы называем искусственным интеллектом (ИИ), который мог бы быть похож на естественный интеллект человека. Тем не менее, машинное обучение и искусственный интеллект теперь используются практически повсюду, и они стали очень хорошо знакомы людям, поэтому некоторые могут не..
Как думать как программист
Я лично считаю, что большинство студентов неверно восприняли программирование. Люди передают свои идеи друг другу с помощью разных языков, например английского, французского и т. Д. Идея осталась прежней, разница в том, как мы ее выражаем. То же самое и с программированием. Единственная разница в том, что мы общаемся с компьютером.
Я часто вижу, как студенты сильно беспокоятся о синтаксисе, и я нахожу это довольно необычным, поскольку им нужно беспокоиться о логике, а не о..
Как поймать кошку с TLA +
Многие программисты испытывают затруднения при использовании формальных методов для решения проблем в своих программах, поскольку эти методы могут быть неоправданно сложными. Чтобы понять, почему это происходит, давайте воспользуемся методом проверки модели и решим относительно простую задачу:
Условия
Вы находитесь в коридоре с семью дверями с одной стороны, ведущими в семь комнат. В одной из этих комнат прячется кошка. Ваша задача - поймать кошку. Чтобы открыть дверь, нужно..
Логический вывод в первом рабочем AGI
За прошедшую неделю пятнадцать-двадцать часов напряженной работы ушло на кодирование модулей InFerence , AskUser и KbRetro в Форт-версии Первого рабочего AGI . В интерактивном режиме мы могли видеть, что Forthmind делает молчаливый вывод из нашего ввода анна — женщина , но модуль AskUser нестандартно спрашивает: У АННЫ ЕСТЬ РЕБЕНОК? в поисках подтверждения молчаливого вывода. Когда мы ввели нет в качестве ответа, мы не смогли увидеть, правильно ли модуль KbRetro вставляет..
