About This Chapter
Logical Agents & First-Order Logic - Chapter Summary
In this chapter, you'll find concise, easy-to-follow lessons outlining concepts and calculations related to first-order logic and logical agents. Just a few of the subjects covered here include propositions and truth values, propositional logic algorithms and knowledge engineering in artificial intelligence. This chapter, and all of our learning resources, is accessible to you 24 hours a day from a computer or mobile device so you can study at any time that works for you. Use the Dashboard to submit any questions you have to an expert to answer. This chapter is designed to help you:
- Apply critical thinking and logic to mathematics
- Outline truth values, truth tables and propositions
- Detail the uses and calculations in first-order logic
- Use propositional logic algorithms
- Identify the process of knowledge engineering in artificial intelligence
- Explain the uses for forward chaining and backward chaining in AI
- List the uses for prolog in artificial intelligence
- Create a Prolog program using applications of backward chaining
1. Critical Thinking and Logic in Mathematics
Logic has its own unique language and way of defining what is true and false. Watch this video lesson to learn how you can critically think in the language of logic while working with math.
2. Propositions, Truth Values and Truth Tables
Watch this video lesson and learn what truth values are and what a truth table looks like. Learn how to go from a proposition to its negation and how that affects the truth values and the truth tables.
3. First-Order Logic in AI: Identification, Uses & Calculations
In this lesson, you will be introduced to the basic notion of first order logic. Conversion of simple statements to First Order Logics, Quantifiers, their types and Conversion of simple statements to First Order Logics using quantifiers will also be discussed.
4. Propositional Logic Algorithms: Definition & Types
In this lesson, you will be introduced to the basic notion of propositional logic. Definition, variables, connectives and some examples will be discussed.
5. Knowledge Engineering in AI: Definition, Process & Examples
Knowledge engineering is one of the building blocks of artificial intelligence (AI). It attempts to emulate the judgment and behavior of a human with expertise in a field or domain. In this lesson, we'll define knowledge engineering and its processes, understand where it fits within the AI landscape, and provide real-world examples of its application.
6. Forward Chaining in AI: Definition, Uses & Examples
How can expert systems in artificial intelligence determine an end goal based on a set of rules? Often, the best way to do that is through forward chaining. Check out this lesson to find out what forward chaining is, how it is used, and examples of it.
7. Backward Chaining in AI: Definition, Uses & Efficiency
How can computers help humans reach their goals? In this lesson, we'll learn about backward chaining, including how it is used in artificial intelligence and when it is and isn't an efficient solution in AI.
8. Prolog in AI: Definition & Uses
In this lesson, we will discuss artificial intelligence and how it can be created using the Prolog programming language. Additionally, we will discuss some of the ways artificial intelligence is used today.
9. Practical Application for Artificial Intelligence: Backward Chaining
In this particular artificial intelligence lesson, you will have to create, execute and test a program in Prolog in order to carry out creation, unification/combination (matching) and comparison of lists.
Earning College Credit
Did you know… We have over 200 college courses that prepare you to earn credit by exam that is accepted by over 1,500 colleges and universities. You can test out of the first two years of college and save thousands off your degree. Anyone can earn credit-by-exam regardless of age or education level.
To learn more, visit our Earning Credit Page
Transferring credit to the school of your choice
Not sure what college you want to attend yet? Study.com has thousands of articles about every imaginable degree, area of study and career path that can help you find the school that's right for you.
Other chapters within the Computer Science 311: Artificial Intelligence course