Искусственный интеллект и принятие решений
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Искусственный интеллект и принятие решений:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Искусственный интеллект и принятие решений, 2014, выпуск 2, страницы 19–26 (Mi iipr343)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Методы рассуждений и представления знаний

An essay on complex valued propositional logic

Vassil Sgurev

Institute of Information Technologies Bulgarian Academy of Sciences, Sofia
Аннотация: In the decision making logic it is often necessary solving of logical equations for which, due to the features of disjunction and conjunction, no admissible solutions exist. An approach is suggested in which by introducing of Imaginary Logical Variables (ILV) the classical propositional logic is extended to a complex one. This provides a possibility to solve a large class of logical equations.
The real and imaginary variables each satisfy the axioms of the Boolean algebra and of the lattice. It is shown that the Complex Logical Variables (CLV) observe the requirements of the Boolean algebra and the lattice axioms. Suitable definitions are found for these variables for the operations disjunction, conjunction, and negation.
A series of results are obtained, included also the truth tables of the operations disjunction, conjunction, negation, implication, and equivalence for complex variables. Inference rules are deduced for them analogous to Modus Ponens and Modus Tollens in the classical propositional logic.
Values of the complex variables are obtained, corresponding to TRUE (T) and FALSE (F) in the classic propositional logic. A conclusion may be made from the initial assumptions and the results attained, that the imaginary logical variable i introduced hereby is “truer” than the condition “T” of the classic propositional logic and $\neg$ i – “falser” than the condition “F”, respectively. Possibilities for further investigations of this class of complex logical structures are pointed out.
Ключевые слова: propositional logic, logical equations, complex propositional logic, Boolean algebra, imaginary logical variable, lattice.
Англоязычная версия:
Scientific and Technical Information Processing, 2015, Volume 42, Issue 5, Pages 340–346
DOI: https://doi.org/10.3103/S0147688215050056
Реферативные базы данных:
Тип публикации: Статья
Язык публикации: английский
Образец цитирования: Vassil Sgurev, “An essay on complex valued propositional logic”, Искусственный интеллект и принятие решений, 2014, no. 2, 19–26; Scientific and Technical Information Processing, 42:5 (2015), 340–346
Цитирование в формате AMSBIB
\RBibitem{Sgu14}
\by Vassil~Sgurev
\paper An essay on complex valued propositional logic
\jour Искусственный интеллект и принятие решений
\yr 2014
\issue 2
\pages 19--26
\mathnet{http://mi.mathnet.ru/iipr343}
\elib{https://elibrary.ru/item.asp?id=21617688}
\transl
\jour Scientific and Technical Information Processing
\yr 2015
\vol 42
\issue 5
\pages 340--346
\crossref{https://doi.org/10.3103/S0147688215050056}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/iipr343
  • https://www.mathnet.ru/rus/iipr/y2014/i2/p19
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Искусственный интеллект и принятие решений
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024