способ задания множества путем указания исходных элементов и правил вывода, каждое из которых описывает, как строить новые элементы из исходных и уже построенных
Провел обстоятельное исследование силлогистического (дедуктивного) умозаключения....
Декарта (1596-1650), который внес огромный вклад в дедуктивную логику;
немца Г....
половина XIX века была ознаменована широким применением в логике математических разработок – методов исчисления...
Дедуктивные рассуждения, анализируемые методами исчисления с применением формальных языков, сформировали...
Впервые ее представил в своей объективно-идеалистической философской системе Гегель (1770-1831).
Работа посвящена проблеме создания искусственных автономных агентов, в частности, создания систем управления машинами с повышенной автономностью. Известные надежды продвинуться в её решении в искусственном интеллекте связываются с изучением и дальнейшим моделированием адаптивного поискового поведения одноклеточных животных. В проводимых авторами теоретических и экспериментальных исследованиях за основу взяты новые методы математического моделирования с помощью исчисления математических конструкций и хорошо изученная кишечная бактерия Escherichia coli. На основе исчисления конструкций строится дедуктивное исчисление, которое в предлагаемом подходе заменяет классические формальные системы, обычно используемые в искусственном интеллекте для поиска роботами цели. Дедуктивная система в отличие от традиционных систем управления агентом не закладывается изначально, а генерируется самим агентом соответственно поставленной перед агентом цели. Выбор дедуктивного исчисления осуществляется робо...
гипотетическое предположение – тогда дедукция превращается в отправную точку для новой теоретической системы...
Научно-теоретические дедуктивные системы строятся на следующих компонентах:
совокупность исходных утверждений...
За пределами дедуктивной логики расположены правдоподобные рассуждения и индуктивные методы....
Дедуктивная логика исследует логические системы, или исчисления – способы рассуждения с типовыми высказываниями...
Современная символическая логика использует методы формализации, построение формальных семантик и логических исчислений
Работа посвящена изучению возможностей интеллектуальных систем, которые предоставляет древовидная форма поиска опровержения в спучае использования резолюционной техники, включая правила парамодуляционного типа. Рассматриваются исчисления так называемых литеральных деревьев, которые предназначены для установления невыполнимости формул классической логики первого порядка как с равенством, так и без него. Приводятся результаты об их корректности и полноте
способ определения множества, при котором задаются некоторые элементы определяемого множества и некоторые правила, позволяющие из имеющихся получать другие элементы этого множества; в частном случае определение понятия P (n), зависящего от натурального параметра n, протекает по следующей схеме: задаются P (0) и правило получения P (n + 1) от n и P (n); напр., факториал n! определяется так: 0! = 1, (n + 1)! = (n + 1) · n!
знакочередующийся ряд 1 + 1/3 + 1/5 + 1/7 +…, сходящийся к π/4
дифференциал функции нескольких переменных
