AI News, Artificial Intelligence/Logic

Artificial Intelligence/Logic

But when most people, particularly in AI, refer to logic, they are talking about propositional logic or the more complex predicate logic.

So although you can make a logic with any kind of rules and symbols you want, what most people mean when they refer to logic are the widely-accepted rules and notations commonly taught in introductory logic courses.

Lecture 1 - Propositional Logic

Discrete Mathematical Structures.

Logical equivalence without truth tables (Screencast 2.2.4)

This video explores how to use existing logical equivalences to prove new ones, without the use of truth tables.

Description logic

Description logics is a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than ...

AI Introduction

Artificial Intelligence by Prof. Deepak Khemani,Department of Computer Science and Engineering,IIT Madras.For more details on NPTEL visit

Mod-01 Lec-14 Syllogistic Poem, Reduction of Syllogisms

Introduction to Logic by Dr. A.V. Ravishankar Sarma,Department of Humanities and Social Sciences,IIT Kanpur.For more details on NPTEL visit

Mod-01 Lec-07 Propositional Unsatisfiability

Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit

Mod-01 Lec-12 Aristotle theory of Syllogisms-1

Introduction to Logic by Dr. A.V. Ravishankar Sarma,Department of Humanities and Social Sciences,IIT Kanpur.For more details on NPTEL visit

Limitations of Classical Logic

Mod-01 Lec-11 Introduction and motivation for Syllogistic Logic

Introduction to Logic by Dr. A.V. Ravishankar Sarma,Department of Humanities and Social Sciences,IIT Kanpur.For more details on NPTEL visit

Fuzzy logic

Fuzzy logic is a form of many-valued logic; it deals with reasoning that is approximate rather than fixed and exact. Compared to traditional binary sets (where ...