DC Field | Value | Language |
dc.contributor.author | Сметанин, Ю. М. | - |
dc.date.accessioned | 2017-10-04T13:44:03Z | - |
dc.date.available | 2017-10-04T13:44:03Z | - |
dc.date.issued | 2014 | - |
dc.identifier.citation | Сметанин, Ю. М. Конструктивная пропозициональная логика с непарадоксальной импликацией / Ю. М. Сметанин // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2014) : материалы IV междунар. науч.-техн. конф. (Минск, 20-22 февраля 2014 года) / редкол.: В. В. Голенков (отв. ред.) [и другие]. – Минск : БГУИР, 2014. – С. 257 - 262. | ru_RU |
dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/26069 | - |
dc.description.abstract | В статье рассматривается неклассическая пропозициональная логика, включающая традиционную силлогистику. Показана тесная связь продукционных систем и онтологии, являющейся областью интерпретации правильных формул данной логики. Приведены примеры, имеющие прикладное значение. | ru_RU |
dc.language.iso | ru | ru_RU |
dc.publisher | БГУИР | ru_RU |
dc.subject | syllogistics | ru_RU |
dc.subject | syllogistic orthogonal basis | ru_RU |
dc.subject | conference materials | ru_RU |
dc.subject | материалы конференций | ru_RU |
dc.subject | пропозициональная логика | ru_RU |
dc.subject | силлогистика | ru_RU |
dc.subject | онтология | ru_RU |
dc.subject | ортогональный базис силлогистики | ru_RU |
dc.subject | ontology modeling | ru_RU |
dc.title | Конструктивная пропозициональная логика с непарадоксальной импликацией | ru_RU |
dc.title.alternative | Constructive propositional logic with implication unparadoxical | ru_RU |
dc.type | Статья | ru_RU |
local.description.annotation | The article explains the reasons to replace the multisemantic basis of Aristotle in classical logic and traditional syllogistic. In return it is suggested looking at mono-semantic basis, isomorphic to relationship "equivalent", "entailing", "independent", which happen between random events in probability theory. | - |
Appears in Collections: | OSTIS-2014
|