Propositional Logic PDF
Document Details
Uploaded by OpulentAmber
Tags
Summary
This document provides an overview of propositional logic, a fundamental concept in artificial intelligence. It explains the basic concepts, examples, and logical connectives. It also briefly touches on limitations and applications in detail.
Full Transcript
Home Artificial Intelligence Blockchain HTML CSS JavaScript Selenium DS DBMS Control System Java Selenium jQuery Artificial Intelligence Artificial Intelligence (AI) ADVERTISEMENT...
Home Artificial Intelligence Blockchain HTML CSS JavaScript Selenium DS DBMS Control System Java Selenium jQuery Artificial Intelligence Artificial Intelligence (AI) ADVERTISEMENT ADVERTISEMENT Applications of AI History of AI Types of AI Intelligent Agent Types of Agents Intelligent Agent Propositional logic in Artificial ← Prev Next → Agent Environment Turing Test in AI intelligence Problem-solving Propositional logic (PL) is the simplest form of logic where all the statements are made Search Algorithms Uninformed Search Algorithmby propositions. A proposition is a declarative statement which is either true or false. It is Informed Search Algorithms a technique of knowledge representation in logical and mathematical form. Hill Climbing Algorithm Means-Ends Analysis Example: Adversarial Search Adversarial search Minimax Algorithm a) It is Sunday. Alpha-Beta Pruning b) The Sun rises from West (False proposition) Knowledge Represent c) 3+3= 7(False proposition) Knowledge Based Agent d) 5 is a prime number. Knowledge Representation Knowledge Representation Techniques Following are some basic facts about propositional logic: Propositional Logic ADVERTISEMENT ADVERTISEMENT Rules of Inference The Wumpus world knowledge-base for Wumpus World First-order logic Knowledge Engineering in FOL Inference in First-Order Logic Unification in FOL Resolution in FOL Forward Chaining and backward chaining Backward Chaining vs Forward Chaining Reasoning in AI Propositional logic is also called Boolean logic as it works on 0 and 1. Inductive vs. Deductive In propositional logic, we use symbolic variables to represent the logic, and we reasoning can use any symbol for a representing a proposition, such A, B, C, P, Q, R, etc. Uncertain Knowledge Propositions can be either true or false, but it cannot be both. R. Probabilistic Reasoning in AI Propositional logic consists of an object, relations or function, and logical Bayes theorem in AI connectives. Bayesian Belief Network These connectives are also called logical operators. Misc Examples of AI The propositions and connectives are the basic elements of the propositional AI Essay logic. AI in Healthcare Connectives can be said as a logical operator which connects two sentences. Artificial Intelligence in Education A proposition formula which is always true is called tautology, and it is also called Artificial Intelligence in a valid sentence. Agriculture Engineering Applications of A proposition formula which is always false is called Contradiction. AI A proposition formula which has both true and false values is called Advantages & Disadvantages of AI Statements which are questions, commands, or opinions are not propositions Robotics and AI such as "Where is Rohini", "How are you", "What is your name", are not Future of AI propositions. Languages used in AI Approaches to AI Learning Syntax of propositional logic: Scope of AI Agents in AI The syntax of propositional logic defines the allowable sentences for the knowledge Artificial Intelligence Jobs Amazon CloudFront representation. There are two types of Propositions: Goals of Artificial Intelligence Can Artificial Intelligence a. Atomic Propositions replace Human Intelligence b. Compound propositions Importance of Artificial Intelligence Atomic Proposition: Atomic propositions are the simple propositions. It consists Artificial Intelligence Stock in of a single proposition symbol. These are the sentences which must be either true India How to Use Artificial or false. Intelligence in Marketing Artificial Intelligence in Example: Business Companies Working on Artificial Intelligence Artificial Intelligence Future Ideas Government Jobs in Artificial Intelligence in India What is the Role of Planning in Artificial Intelligence AI as a Service AI in Banking AI Tools Cognitive AI Introduction of Seaborn Natural Language ToolKit ADVERTISEMENT (NLTK) -70% -34% -50% Best books for ML AI companies of India will lead in 2022 Constraint Satisfaction Problems in Artificial Intelligence How artificial intelligence will a) 2+2 is 4, it is an atomic proposition as it is a true fact. change the future b) "The Sun is cold" is also a proposition as it is a false fact. Problem Solving Techniques in AI AI in Manufacturing Industry Compound proposition: Compound propositions are constructed by combining Artificial Intelligence in simpler or atomic propositions, using parenthesis and logical connectives. Automotive Industry Artificial Intelligence in Civil Example: Engineering Artificial Intelligence in Gaming Industry a) "It is raining today, and street is wet." Artificial Intelligence in HR b) "Ankit is a doctor, and his clinic is in Mumbai." Artificial Intelligence in Medicine PhD in Artificial Intelligence Activation Functions in Logical Connectives: Neural Networks Boston Housing Kaggle Logical connectives are used to connect two simpler propositions or representing a Challenge with Linear sentence logically. We can create compound propositions with the help of logical Regression What are OpenAI and connectives. There are mainly five connectives, which are given as follows: ChatGPT Chatbot vs. Conversational 1. Negation: A sentence such as ¬ P is called negation of P. A literal can be either AI Positive literal or negative literal. Iterative Deepening A* 2. Conjunction: A sentence which has ∧ connective such as, P ∧ Q is called a Algorithm (IDA*) conjunction. Iterative Deepening Search (IDS) or Iterative Deepening Example: Rohan is intelligent and hardworking. It can be written as, Depth First Search (IDDFS) P= Rohan is intelligent, Genetic Algorithm in Soft Q= Rohan is hardworking. → P∧ Q. Computing AI and data privacy 3. Disjunction: A sentence which has ∨ connective, such as P ∨ Q. is called Future of Devops disjunction, where P and Q are the propositions. How Machine Learning is Example: "Ritika is a doctor or Engineer", Used on Social Media Here P= Ritika is Doctor. Q= Ritika is Doctor, so we can write it as P ∨ Q. Platforms in 2023 4. Implication: A sentence such as P → Q, is called an implication. Implications are Machine learning and climate change also known as if-then rules. It can be represented as The Green Tech Revolution If it is raining, then the street is wet. GoogleNet in AI Let P= It is raining, and Q= Street is wet, so it is represented as P → Q AlexNet in Artificial 5. Biconditional: A sentence such as P⇔ Q is a Biconditional sentence, example Intelligence Basics of LiDAR - Light If I am breathing, then I am alive Detection and Ranging P= I am breathing, Q= I am alive, it can be represented as P ⇔ Q. Explainable AI (XAI) Synthetic Image Generation Following is the summarized table for Propositional Logic What is Deepfake in Artificial Connectives: Intelligence What is Generative AI: Introduction Artificial Intelligence in Power System Operation and Optimization Customer Segmentation with LLM Liquid Neural Networks in Artificial Intelligence Truth Table: Propositional Logic Inferences in Artificial In propositional logic, we need to know the truth values of propositions in all possible Intelligence scenarios. We can combine all the possible combination with logical connectives, and Text Generation using Gated Recurrent Unit Networks the representation of these combinations in a tabular format is called Truth table. Viterbi Algorithm in NLP Following are the truth table for all logical connectives: What are the benefits of Artificial Intelligence for devops AI Tech Stack Speech Recognition in Artificial Intelligence Types of AI Algorithms and How Do They Work AI Ethics (AI Code of Ethics) Pros and Cons of AI- Generated Content Top 10+ Jobs in AI and the Right Artificial Intelligence Skills You Need to Stand Out AIOps (artificial intelligence for IT operations) Artificial Intelligence In E- commerce How AI can Transform Industrial Safety How to Gradually Incorporate AI in Software Testing Generative AI NLTK WordNet What is Auto-GPT Artificial Super Intelligence (ASI) AI hallucination How to Learn AI from Scratch What is Dilated Convolution? Subsets of AI Subsets of AI Expert Systems Machine Learning Tutorial NLP Tutorial Artificial Intelligence Truth table with three propositions: MCQ Artificial Intelligence MCQ We can build a proposition composing three propositions P, Q, and R. This truth table is Related Tutorials made-up of 8n Tuples as we have taken three proposition symbols. Tensorflow Tutorial PyTorch Tutorial Data Science Tutorial Reinforcement Learning ADVERTISEMENT Precedence of connectives: Just like arithmetic operators, there is a precedence order for propositional connectors or logical operators. This order should be followed while evaluating a propositional problem. Following is the list of the precedence order for operators: Precedence Operators First Precedence Parenthesis Second Precedence Negation Third Precedence Conjunction(AND) Fourth Precedence Disjunction(OR) Fifth Precedence Implication Six Precedence Biconditional Note: For better understanding use parenthesis to make sure of the correct interpretations. Such as ¬R∨ Q, It can be interpreted as (¬R) ∨ Q. Logical equivalence: Logical equivalence is one of the features of propositional logic. Two propositions are said to be logically equivalent if and only if the columns in the truth table are identical to each other. ADVERTISEMENT ADVERTISEMENT Let's take two propositions A and B, so for logical equivalence, we can write it as A⇔B. In below truth table we can see that column for ¬A∨ B and A→B, are identical hence A is Equivalent to B ADVERTISEMENT 평소 이모라 부르던 연 수와의 아찔한 행복 주체 할 수 없이 넘치는 경석에 힘에 연수는 그 만.. 웹툰 보기 Properties of Operators: Commutativity: P∧ Q= Q ∧ P, or P ∨ Q = Q ∨ P. Associativity: (P ∧ Q) ∧ R= P ∧ (Q ∧ R), (P ∨ Q) ∨ R= P ∨ (Q ∨ R) Identity element: P ∧ True = P, P ∨ True= True. Distributive: P∧ (Q ∨ R) = (P ∧ Q) ∨ (P ∧ R). P ∨ (Q ∧ R) = (P ∨ Q) ∧ (P ∨ R). DE Morgan's Law: ¬ (P ∧ Q) = (¬P) ∨ (¬Q) ¬ (P ∨ Q) = (¬ P) ∧ (¬Q). Double-negation elimination: ¬ (¬P) = P. Limitations of Propositional logic: We cannot represent relations like ALL, some, or none with propositional logic. Example: a. All the girls are intelligent. b. Some apples are sweet. Propositional logic has limited expressive power. In propositional logic, we cannot describe statements in terms of their properties or logical relationships. Next Topic Rules of Inference ← Prev Next → Youtube For Videos Join Our Youtube Channel: Join Now Feedback Send your Feedback to [email protected] Help Others, Please Share Learn Latest Tutorials Splunk tutorial SPSS tutorial Swagger tutorial Splunk SPSS Swagger T-SQL tutorial Tumblr tutorial React tutorial Transact-SQL Tumblr ReactJS Regex tutorial Reinforcement R Programming learning tutorial tutorial Regex Reinforcement R Programming Learning RxJS tutorial React Native Python Design tutorial Patterns RxJS React Native Python Design Patterns Python Pillow Python Turtle Keras tutorial tutorial tutorial Keras Python Pillow Python Turtle Preparation Aptitude Logical Verbal Ability Reasoning Aptitude Verbal Ability Reasoning Interview Company Questions Interview Questions Interview Questions Company Questions Trending Technologies Artificial AWS Tutorial Selenium Intelligence tutorial AWS Artificial Selenium Intelligence Cloud Hadoop tutorial ReactJS Computing Tutorial Hadoop Cloud Computing ReactJS Data Science Angular 7 Blockchain Tutorial Tutorial Tutorial Data Science Angular 7 Blockchain Git Tutorial Machine DevOps Learning Tutorial Tutorial Git Machine Learning DevOps B.Tech / MCA DBMS tutorial Data Structures DAA tutorial tutorial DBMS DAA Data Structures Operating Computer Compiler System Network tutorial Design tutorial Operating System Computer Network Compiler Design Computer Discrete Ethical Hacking Organization and Mathematics Ethical Hacking Architecture Tutorial Computer Discrete Organization Mathematics Computer Software html tutorial Graphics Tutorial Engineering Web Technology Computer Graphics Software Engineering Cyber Security Automata C Language tutorial Tutorial tutorial Cyber Security Automata C Programming C++ tutorial Java tutorial.Net Framework C++ Java tutorial.Net Python tutorial List of Control Programs Systems tutorial Python Programs Control System Data Mining Data Tutorial Warehouse Tutorial Data Mining Data Warehouse Like/Subscribe us for latest updates or newsletter LEARN TUTORIALS INTERVIEW QUESTIONS ABOUT CONTACT Learn Java Java Interview Questions This website is developed to help Contact Us students on various technologies such as Learn Data Structures SQL Interview Questions Artificial Intelligence, Machine Privacy Policy Learn C Programming Python Interview Questions Learning, C, C++, Python, Java, PHP, Sitemap Learn C++ Tutorial JavaScript Interview Questions HTML, CSS, JavaScript, jQuery, ReactJS, Node.js, AngularJS, Bootstrap, About Me Learn C# Tutorial Angular Interview Questions XML, SQL, PL/SQL, MySQL etc. Learn PHP Tutorial Selenium Interview Questions This website provides tutorials with Learn HTML Tutorial Spring Boot Interview Questions examples, code snippets, and practical Learn JavaScript Tutorial HR Interview Questions insights, making it suitable for both Learn jQuery Tutorial C++ Interview Questions beginners and experienced developers. Learn Spring Tutorial Data Structure Interview Questions There are also many interview questions which will help students to get placed in the companies. © Copyright 2011-2021 www.javatpoint.com. All rights reserved. Developed by Tpoint Tech.