Зміст
21 відносини: Cyc, Modus tollens, Прямий вивід, Правило висновування, Продукційні правила, Алгебраїчна логіка, Наратологія, Неформальна логіка, Список логічних помилок, Тавтологія (логіка), Числення висловлень, Модальна логіка, Закон По, Заперечення як відмова, Зворотний вивід, Дискретна математика, Доксастична логіка, Дедукція, Інтуїціоністська логіка, Латинські логічні вирази, Логіка першого порядку.
Cyc
Cyc (від encyclopaedia) — проект в галузі штучного інтелекту що старається скласти вичерпну онтологію та базу знань повсякденного здорового глузду, з метою дати змогу застосуванням штучного інтелекту виконувати міркування як люди.
Переглянути Modus ponens і Cyc
Modus tollens
Modus tollens (Латиною: спосіб, що заперечує) це формальна назва для доведення від супротивного.
Переглянути Modus ponens і Modus tollens
Прямий вивід
Прямий вивід є одним із двох основних методів міркування при використанні правил виводу (в галузі штучного інтелекту) і можуть бути описані логічно, як повторне застосування modus ponens.
Переглянути Modus ponens і Прямий вивід
Правило висновування
У логіці пра́вило висно́вування, або пра́вило перетво́рення (rule of inference, inference rule, transformation rule) — це, що складається з функції, яка отримує передумови, аналізує їхній і повертає висновок (або).
Переглянути Modus ponens і Правило висновування
Продукційні правила
Продукційні правила (Production rules) чи правила-продукції — це форма представлення знань людини у вигляді речення типу ЯКЩО (умова), ТО (дія).
Переглянути Modus ponens і Продукційні правила
Алгебраїчна логіка
Алгебраїчна логіка — частина математичної логіки, викладена алгебраїчним стилем.
Переглянути Modus ponens і Алгебраїчна логіка
Наратологія
Наратоло́гія — розділ літературознавства, об'єктом дослідження якого є теорія оповіді ('''нарати́в''').
Переглянути Modus ponens і Наратологія
Неформальна логіка
Неформальна логіка є предметом що займається вивченням логічної аргументації природньою мовою.
Переглянути Modus ponens і Неформальна логіка
Список логічних помилок
Логічна помилка — це порушення логічної послідовності або використання некоректних прийомів для доведення твердження.
Переглянути Modus ponens і Список логічних помилок
Тавтологія (логіка)
Тавтологією в логіці називається тотожно істинне висловлювання, інваріантне щодо значень своїх компонент.
Переглянути Modus ponens і Тавтологія (логіка)
Числення висловлень
Чи́слення висло́влень (логіка висловлень, пропозиційна логіка, propositional logic) — формальна система в математичній логіці, в якій формули, що відповідають висловленням, можуть утворюватись шляхом з'єднання простих висловлень із допомогою логічних операцій, та система правил виводу, які дозволяють визначати певні формули як «теореми» формальної системи.
Переглянути Modus ponens і Числення висловлень
Модальна логіка
Мода́льна ло́гіка — це розділ сучасної логіки, де вивчаються модальні висловлювання та їхні відношення в структурі міркувань.
Переглянути Modus ponens і Модальна логіка
Закон По
Закон По — заснована на цитаті Натана По інтернет-приказка, яка відображає ідею, що без чіткого зазначення про наміри автора дуже важко або неможливо відрізнити екстремізм від пародії на нього.
Переглянути Modus ponens і Закон По
Заперечення як відмова
Запере́чення як відмо́ва (negation as failure, NAF) — це немонотонне правило висновування в логічному програмуванні, що застосовується для виведення \mathrm~p (тобто припущення, що ~p не витримується) з відмови виведення ~p.
Переглянути Modus ponens і Заперечення як відмова
Зворотний вивід
Зворотний вивід (або зворотне міркування) є метод отримання висновку, який працює в зворотному напрямку від мети.
Переглянути Modus ponens і Зворотний вивід
Дискретна математика
Дискре́тна матема́тика — галузь математики, що вивчає властивості будь-яких дискретних структур.
Переглянути Modus ponens і Дискретна математика
Доксастична логіка
Доксастична логіка — тип логіки, предметом якої є розмірковування про віру.
Переглянути Modus ponens і Доксастична логіка
Дедукція
Деду́кція — процес виведення висновку, що гарантовано слідує, якщо вихідні припущення істинні то висновок на їх підставі є чинним (див. правильність).
Переглянути Modus ponens і Дедукція
Інтуїціоністська логіка
Інтуїтивна логіка (інколи конструктивна логіка) — система символічної логіки, яка відрізняється від класичної логіки, замінюючи традиційне поняття істини поняттям конструктивно доказової істини.
Переглянути Modus ponens і Інтуїціоністська логіка
Латинські логічні вирази
Латинські логічні терміни і вирази - терміни і вирази логіки, які традиційно (ще від Середньовіччя) використовуються логіками не у перекладі, а мовою оригіналу - латиною.
Переглянути Modus ponens і Латинські логічні вирази
Логіка першого порядку
Логіка першого порядку (числення предикатів) — це формальна система в математичній логіці, в якій допускаються висловлення відносно змінних, фіксованих функцій, і предикатів.
Переглянути Modus ponens і Логіка першого порядку