Заключение. О некоторых свойствах логико-вычислительной семантической сети

На основании выполненного сравнения свойств ЛВС-сети со свойствами трех известных сетевых МПЗ можно утверждать, что ЛВС-сеть не уступает по своим функциональным возможностям другим сравниваемым сетевым МПЗ. В частности, из рассмотренных примеров следует, что ЛВС-сеть позволяет: представлять как декларативные, так и процедурные знания; представлять логические операции; представлять как экстенсионал, так и интенсионал имен; выявлять и разрешать противоречия в представленных знаниях. Причем, как показано в табл.1, перечисленные свойства не ограничивают всех свойств, присущих ЛВС-сети. Вместе с тем, даже названные свойства одновременно не присущи ни одной из прочих рассмотренных сетевых МПЗ.

Список литературы

• 1. [Вагин, 1988] Вагин В. Н. Дедукция и обобщение в системах принятия решений. — М.: Наука, 1988.
• 2. [Зиновьев, 2000] Зиновьев А. А. Очерки комплексной логики. — М.: Эдиториал УРСС, 2000.
• 3. [Кондращенко и др., 2002] Кондращенко В. Я., Яловец А. Л. Представление и обработка знаний средствами СЛМ-технологии // Искусственный интеллект. — Донецк: ИПИИ, 2002. — № 3.
• 4. [Яловец, 2000] Яловец А. Л. О методе прямого вывода на И/ИЛИ-сетях // Искусственный интеллект. — Донецк: ИПИИ, 2000. — № 3.
• 5. [Яловец, 2002] Яловец А. Л. Проблема автоматического распознавания и диагностики неразрешимых неводов в структуре И/ИЛИ-сети // Моделювання та інформаційні технології: Сб. научн. тр. — К.: ИПМЭ им. Г. Е. Пухова НАНУ, 2002. — Вып.19.
• 6. [Яловец, 2006] Яловец А. Л. Характеристика свойств логико-вычислительной семантической сети // Моделювання та інформаційні технології: Сб. научн. тр. — К.: ИПМЭ им. Г. Е. Пухова НАНУ, 2006. — Вып.37.
• 7. [Allen et al., 1982] Allen J.F., Frisch A.M. What’s in a Semantic Network? // Proceedings of the 20th annual meeting on Association for Computational Linguistics. — Toronto (Canada). — 1982.
• 8. [Hendrix, 1979] Hendrix G.G. Encoding Knowledge in Partitioned Networks // Associative Networks: Representations and Use of Knowledge by Computers. — New York: Academic Press, 1979.
• 9. [Levesque et al., 1979] Levesque H., Mylopoulos J. A Procedural Semantics for Semantic Networks // Associative Networks: Representations and Use of Knowledge by Computers. — New York: Academic Press, 1979.
• 10. [Shapiro, 1991] Shapiro S.C. Cables, paths and «subconscious» reasoning in propositional semantic networks // Principles of Semantic Networks. — San Mateo: Morgan Kaufmann Publishers, 1991.