| Название: | Конструктивная пропозициональная логика с непарадоксальной импликацией |
| Другие названия: | Constructive propositional logic with implication unparadoxical |
| Авторы: | Сметанин, Ю. М. |
| Ключевые слова: | syllogistics;syllogistic orthogonal basis;conference materials;материалы конференций;пропозициональная логика;силлогистика;онтология;ортогональный базис силлогистики;ontology modeling |
| Дата публикации: | 2014 |
| Издательство: | БГУИР |
| Описание: | Сметанин, Ю. М. Конструктивная пропозициональная логика с непарадоксальной импликацией / Ю. М. Сметанин // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2014) : материалы IV междунар. науч.-техн. конф. (Минск, 20-22 февраля 2014 года) / редкол.: В. В. Голенков (отв. ред.) [и другие]. – Минск : БГУИР, 2014. – С. 257 - 262. |
| Аннотация: | В статье рассматривается неклассическая пропозициональная логика, включающая традиционную силлогистику. Показана тесная связь продукционных систем и онтологии, являющейся областью интерпретации правильных формул данной логики. Приведены примеры, имеющие прикладное значение. |
| Аннотация на другом языке: | 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. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/26069 |
| Располагается в коллекциях: | OSTIS-2014
|
