Lecture 4: Propositional Logic - Representation

This lecture is part of the course “Foundations of Artificial Intelligence” developed by Dr. Ryan Urbanowicz in 2020 at the University of Pennsylvania’s Perelman School of Medicine. This is the first of three courses covering topics in artificial intelligence for application within the context of informatics and biomedical research. The course is divided into modules that cover (1) introductory/background materials, (2) logic, (3) other knowledge representation, (4) essentials of expert systems, (5) search, (6) uncertainty, and (7) advanced/auxiliary topics. These topics offer a global foundation for branches of AI application and research, including concepts that will later support a deeper understanding of inductive reasoning and machine learning. In a practical sense, this course focuses on how biomedical data can be organized, represented, interpreted, searched, and applied in order to derive knowledge, make decisions, and ultimately make predictions while avoiding bias. This course was assembled using content from a wide variety of textbooks, slides, and lectures by various authors and speakers on the relevant topics. Some lectures were prepared and given by guest lecturers and thus have not been posted. At the time of posting, this course is in its second year so any feedback is welcome regarding any mistakes or suggested improvements. Weblinks: http://ryanurbanowicz.com/ https://www.med.upenn.edu/urbslab/ https://github.com/UrbsLab Chapters: 0:00 Introduction 1:30 What is Propositional Logic? 3:40 Propositional Language 12:50 Propositional Truth 17:50 Equivalence 28:42 Conclusion Corrections: 9:58 The definition and example for 'contrapositive' and 'inverse' are incorrect. Contrapositive should be ( NOT q THEN NOT p). Inverse should be (NOT p THEN NOT q)