serj_aleks wrote in metasemantics

Categories:

Семантическая технология: концептуализация

Теория понятий использует технологию установления правильности утверждений в качестве замены концепции истинности утверждений ... Понятийные методы не зависят от прикладной области и обусловлены собственной спецификой ... что означает, что некоторая сущность “означает” некоторую другую сущность ... теория понятий обеспечивает семантически корректную технологию определения и использования понятий ... Теория понятий предлагает некоторую схему применения методов к понятию. Эта схема называется понятийным (семантическим) гомоморфизмом. Новые понятия являются результатом некоторых действий над уже имеющимися понятиями ... Сущности и отношения ... Семантический гомоморфизм ... Верификация показывает, что для исследования различных свойств определяемых объектов построение самих объектов не является необходимым: вполне достаточно использования их определений ... предлагаемая технология семантического анализа, способна и на “понимание” этих теорий, если полагать, что понимание (как естественным, так и искусственным интеллектом) заключается в разложении теории на простейшие сущности, для принятия которых требуется лишь допущение, что они способны нечто означать.

MATH.NSC.RU

В. В. Чернюгов, “Алгоритмический метаязык АЛМЕТ”, Ж. вычисл. матем. и матем. физ., 9:6 (1969), 1419–1423; U.S.S.R. Comput. Math. Math. Phys., 9:6 (1969), 247–254


Error

Anonymous comments are disabled in this journal

default userpic