Propositional Logic: Representation

This lecture was developed as part of a graduate-level course on 'artificial intelligence for medical applications and biomedical research' within the Cedars Sinai Health University. This course will explore how AI can be a driving force for automated clinical decision support and medical discovery. We will explore concepts in logic, knowledge representation, expert systems for automated decision-making, search algorithms, uncertainty in reasoning, and other related topics that will enable you to develop, understand, and apply health AI solutions effectively and ethically. We will explore how AI encompasses and differs from machine learning and the distinction between inductive and deductive reasoning. In a practical sense, the course will provide you with the tools to organize, represent, interpret, and search biomedical data to derive knowledge, automate decisions, and make predictions while avoiding bias. Chapters: 0:00 Intro 2:47 What is Propositional Logic? 5:27 Propositional Language 17:05 Propositional Truth 22:43 Equivalence 31:23 Logical Calculation 35:52 Summary