![\"\"](\"https:\/\/antonlyakh.ru\/blog\/pictures\/Portret-Dekarta.jpg\")
\nОсобенно умиляют наивные описания таксонов.<\/i> Там авторы считают, что формулировки вроде «членик вида А несколько длиннее, чем у вида Б, но слегка уже, чем у вида В» позволяют отличить А от Б и В! Когда другой наивный исследователь пытается по этим признакам идентифицировать организмы, вместо результата он получает порцию недоумения, разочарования и гнева.<\/p>\n Кстати, шустрые программатики (программисты-математики) любят выражать наивные описания в терминах нечетких множеств и строить на их основе таксономические экспертные системы. См., например:<\/p>\n Но вот когда за формализацию терминов берутся реальные биологи, знакомые с лаконичной точностью математики, которые буквально своими руками пощупали дискуссионный объект, тогда они производят ясные, однозначные, красивые формулировки.<\/p>\n Как бывшему студенту математического факультета, мне крайне неудобно использовать неформализованные определения. Поэтому впредь буду разбирать и уточнять некоторые биологические понятия.<\/p>\n Так, я уже разобрал чем центрические диатомовые отличаются от пеннатных<\/a> и дал определение главных морфогенетических осей панциря диатомовой<\/a>.<\/p>\n Если у вас есть статьи, где дано ясное определение биологического термина, присылайте их на почту me@antonlyakh.ru<\/b><\/a>.<\/p>\n Я их обработаю и опубликую заметку, сославшись на вас. Также пишите в комментариях примеры четких биологических терминов.<\/p>\n Все терминологические заметки ищите по тегу «правильная терминология<\/a>».<\/p>\n",
"date_published": "2020-12-15T02:20:21+03:00",
"date_modified": "2020-12-15T02:28:19+03:00",
"image": "https:\/\/antonlyakh.ru\/blog\/pictures\/Portret-Dekarta.jpg",
"_date_published_rfc2822": "Tue, 15 Dec 2020 02:20:21 +0300",
"_rss_guid_is_permalink": "false",
"_rss_guid": "411",
"_e2_data": {
"is_favourite": true,
"links_required": [],
"og_images": [
"https:\/\/antonlyakh.ru\/blog\/pictures\/Portret-Dekarta.jpg",
"https:\/\/antonlyakh.ru\/blog\/pictures\/Fragment-Allegorii-s-Veneroy-i-Amurom.jpg",
"https:\/\/antonlyakh.ru\/blog\/pictures\/Rembrant---Portret-starogo-evreya.jpg",
"https:\/\/antonlyakh.ru\/blog\/pictures\/Yan-Livens---Portret-pozhilovogo-muzhchiny.jpg",
"https:\/\/antonlyakh.ru\/blog\/pictures\/Konstantin-Savickiy---Inok.jpg"
]
}
},
{
"id": "400",
"url": "https:\/\/antonlyakh.ru\/blog\/all\/metaalgoritmicheskiy-yazyk\/",
"title": "Метаалгоритмический язык",
"content_html": " Выдержки из статьи В. Ф. Турчина (1968) «Метаалгоритмический язык<\/a>». Кибернетика, № 4. C. 45-54.<\/p>\n Метаалгоритмический язык (метаязык) задуман для формального описания семантики алгоритмических языков.<\/p>\n Метаязык сам является алгоритмическим языком. На любом универсальном алгоритмическом языке можно описать семантику любого другого алгоритмического языка. Поэтому выбор того или иного алгоритмического языка в качестве метаязыка — это вопрос удобства. Хотя на практике, «неудобство» часто означает «невозможность».<\/p>\n Так как речь идет о формалных семантических описаниях, предназначенных для использования человеком, выбранный алгоритмический метаязык должен быть удобен для человека. Поскольку алгоритм — в сущности, инструкция для машины, то проблема метаязыка — это проблема общения человека с машиной, удобного не для машины, а для человека.<\/p>\n Машинно-независимые алгоритмические языки удобны для записи задач из определенной области вследствие того, что они строятся на основе формализации ряда понятий, важных и характерных для данной специальной области. Тогда как нам нужен язык предназначенный для описания любых языков и понятий — метаязык. Такой язык будет удобен для человека лишь в том случае, если он схватит какие-то чрезвычайно общие и в то же время важные черты человеческого мышления.<\/p>\n В поисках таких черт обратимся к естественным языкам и их продолжению — формализованным языкам математики. Важнейшей чертой этих языков является наличие в них иерархии понятий<\/i>. Она возникает благодаря особенности мозга абстрагироваться от многих конкретных ситуаций и создавать языковые модели действительности. Путем конкретизации, они, затем, используются в любой подходящей ситуации.<\/p>\n Естественный язык можно представить в виде многоэтажной пирамиды, построенной на почве чувственного опыта. При семантическом подходе элементами этой пирамиды надо считать морфемы<\/i> — минимальные смысловые единицы языка. Складываясь в цепочки, морфемы образуют языковые объекты — лингемы<\/i>: слова, группы слов, прдложения.<\/p>\n Языковые объекты, расположенные на самых низких этажах пирамиды, фиксируют наиболее конкретные, близкие к чувственному опыту понятия: «больно», «холодно», «заяц», «камень». На их основе строятся более абстрактные и более сложные понятия. На их основе — еще более сложные и так далее. Все эти понятия фиксируются языковыми объектами.<\/p>\n Где-то на средних этажах пирамиды расположены понятия «север», «число», «работа», «чин». А где-то на самом верху — «отчуждение», «гомозиготный», «бикомпактность».<\/p>\n В естественнм языке нельзя ввести точную меру абстрактности или сложности понятия и распределить соответствующие элементы по этажам. Поэтому нашу пирамиду следует понимать условно и иллюстративно. Однако принцип образования сложных и абстрактных понятий путем композиции и абстрагирования от более простых и конкретных, несомненно, лежит в основе построения языков.<\/p>\n Возьмем какой-нибудь языковый объект, например слово, и зададим вопрос: что значит понимать это слово? Очевидно, что физический носитель языка не имеет никакого значения. Имеют значение лишь связи этого слова с другими словами — комплексами ощущений, а в конечном счете с чувственным опытом. Следовательно, понимать слово — значит пройти в обратном направлении путь его построения.<\/p>\n Понимать абстрактное понятие — значить уметь его конкретизировать (в каждой заданной ситуации).<\/p>\n Понимать сложное понятие — значить уметь свести его к ряду более простых.<\/p>\n Оба действия (понять абстрактное и сложное понятия) означают замену языкового объекта, занимающего более высокое положение в языковой пирамиде, на ряд объектов, занимающих более низкое положение. Эту операцию назовем конкретизацией<\/i> языковго объекта.<\/p>\n При некоторых видах деятельности мы не доводим ее до комплекса ощущений, однако предполагается, что знаем, как это сделать. Иначе слово не имеет для нас никакого смысла.<\/p>\n Cемантика языкового объекта определяется правилом его конкретизации<\/i>. Семантика языка — совокупностью правил конкретизации<\/i>, которая позволяет путем ряда шагов свести каждый объект к некоторым несводимым элементарным объектам.<\/p>\n<\/blockquote>\n Нарисованная схема определения семантики объектов естественного языка является очень упрощенной. Однако без упрощения невозможна никакая формализация.<\/p>\n Задача метаязыка заключается в формализации семантических описаний. Поэтому при построении металагоритмического языка эта схема была принята за основу.<\/p>\n Семантика метаалгоритмического языка определяется метаалгоритмической машиной. Она выполняет конкретизацию выражения в соответствии с имеющимся набором предложений. Следовательно, работа этой машины моделирует языковую деятельность человека.<\/p>\n Работа метаалгоритмической машины моделирует<\/i> языковую деятельность человека.<\/p>\n<\/blockquote>\n Таким образом, метаалгоритмическая машина «умнее» и сложнее, чем машина Тьюринга. Последняя моделирует только сам факт языковой деятельности — так сказать языковость деятельности.<\/p>\n Метаалгоритмическую машину можно рассматривать как следующий шаг на пути приближения машины кчеловеку. Поэтому общение с такой машиной протекает более «человеческим» способом и удобнее для человека, чем общение с машиной Тьюринга.<\/p>\n Алгоритм — набор предложений на метаалгоритмическом языке — может быть построен, как иерархия понятий все более сложных и специальных. Поскольку построение иерархии понятий является необходимым и, быть может, основным элементом человеческого мышления, метаалгоритмический язык может оказаться полезным для изучения и моделирования мыслительных процессов. Потому что оно позволяет формализованно рассмотреть иерархию понятий.<\/p>\n Общение человека с машиной и моделированиечеловеческого мышления — это, по существу, две стороны одной медали.<\/p>\n * * *<\/p>\n Формальное и неформальное описание метаязыка, примеры алгоритмов смотрите в статье<\/a>.<\/p>\n",
"date_published": "2020-10-24T23:34:38+03:00",
"date_modified": "2020-10-24T23:35:41+03:00",
"_date_published_rfc2822": "Sat, 24 Oct 2020 23:34:38 +0300",
"_rss_guid_is_permalink": "false",
"_rss_guid": "400",
"_e2_data": {
"is_favourite": true,
"links_required": [],
"og_images": []
}
}
],
"_e2_version": 3559,
"_e2_ua_string": "E2 (v3559; Aegea)"
}![\"\"](\"https:\/\/antonlyakh.ru\/blog\/pictures\/Fragment-Allegorii-s-Veneroy-i-Amurom.jpg\")
\n\n
![\"\"](\"https:\/\/antonlyakh.ru\/blog\/pictures\/Rembrant---Portret-starogo-evreya.jpg\")
\n![\"\"](\"https:\/\/antonlyakh.ru\/blog\/pictures\/Yan-Livens---Portret-pozhilovogo-muzhchiny.jpg\")
\n![\"\"](\"https:\/\/antonlyakh.ru\/blog\/pictures\/Konstantin-Savickiy---Inok.jpg\")
\nЦель<\/h3>\n
Метаязык — алгоритмический язык<\/h3>\n
Метаязык для человека, а не для машины<\/h3>\n
Особенности человеческого языкового мышления<\/h3>\n
Иерархия понятий в естественном языке: морфемы — лингемы — абстрактные и сложные понятия<\/h3>\n
Мера абстрактности и сложности понятий<\/h3>\n
Что значит понимать<\/h3>\n
Конкретизация<\/h3>\n
\n
Формальная основа метаязыка<\/h3>\n
Металагоритмическая машина<\/h3>\n
\n
Моделирование мыслительных процессов<\/h3>\n