$129.00
Certification

Industry recognized certification enables you to add this credential to your resume upon completion of all courses

Need Custom Training for Your Team?
Get Quote
Call Us

Toll Free (844) 397-3739

Inquire About This Course
Instructor
Dr. Rebecca Wooten, Instructor - Knowledge and Reasoning

Dr. Rebecca Wooten

Is an applied statistician and mathematician, well versed in various topics such as logic, set theory, combinatorics, probability, statistics, geometry, finance, game theory, and coding. She has written several books on statistical research and using technologies such as Excel and R. She posses 24 years worth of experience.

Instructor: Dr. Rebecca Wooten

Logic and Applications

  • Learn to write algorithms using first-order and temporal logic used when writing games, researching, creating autonomous robots, and building computer systems.
  • The instructor has applied statistics and mathematics experience spanning 24 years and is well-versed in topics such as logic, set theory, combinatorics, game theory, coding, and more. She holds a Ph.D. from University of South Florida.

Duration: 3h 10m

Course Description

This course covers knowledge and reasoning including knowledge bases, agents; symbolic and propositional logic, formal and temporal logic; and applications to gaming, diagnosis, robotics and system design.

What am I going to get from this course?

Students in this course will get is an understanding of knowledge and reasoning KRR, what it comprises of and examples of deductive reasoning used in gaming, diagnosis, robotics, and system designs.  Students will understand what formal logic is, the symbolism used and examples of inferences in first-order logic used in application.

 

Prerequisites and Target Audience

What will students need to know or do before starting this course?

It is assumed that students have a fundamental understanding of mathematics and computer programming.

Who should take this course? Who should not?

This course will illustrate how to create a data base using Excel, Access and R; the logic required to write algorithms using first-order and temporal logic used when writing games, researching, creating autonomous robots and building computer systems.

Curriculum

Module 1: Welcome to the course Knowledge and Reasoning

Lecture 1 Introduction & Course Overview

In this presentation, I will introduce you to the course, its main goals and topics covered; and briefly introduce myself as your instructor and guide on this trek through knowledge and reasoning.

Lecture 2 Introduction to Knowledge Bases

In this presentation, we will look at various databases and data management schemes. The goal is to give insight on the complexities that arise when creating and maintaining large data bases.

Quiz 1 Knowledge and Reasoning

This quiz covers knowledge and reasoning; building a knowledge base; types of databases and data management systems.

Lecture 3 Creating a Database

In these presentations (L3-L7), we will began constructing a database that consist of meteorological data gleaned from a buoy in the Gulf of Mexico and Hurricane data recorded in the Atlantic Basin. In the first video, we will use Excel to extract the data; in the second video we will use R to fill the hurricane data; and in the third video we prep the data files for query; in the fourth video we use Access and Excel to compile the Buoy data; and in the fifth video we merge the two main files in a single data file.

Quiz 2 Data Management

In this quiz we consider issues that arose in the compilation of data.

Lecture 4 Interpolating Data

In this presentation we prep the hurricane data to be merged with the buoy data by linearly filling in the hours between hurricane readings to ensure that both data sets have the same temporal scale. We also introduce the idea of recycling code.

Lecture 5 Prepping Data and Verification

In this presentation we discuss referential data and how to play a "stopper" ($) before the row and/or column of a referenced cell to fix its reference cell or frame; discuss the use of COPY and PASTE SPECIAL VALUES; however the DATE function can be used to create a timeline and various keystrokes used to navigate a spreadsheet.

Lecture 6 Creating a Summary Table for Storms over Time using Conditional Averages

In this presentation we address issues with duplicate key codes in an Excel file and how to use logical operators such as AVERAGEIF and COUNTIF to summaries the information to create a file with a unique key codes.

Quiz 3 Keystrokes

This quiz covers the various keystrokes introduce in all the lecture presented in Module 1.

Lecture 7 Importing in Access and Merging Files using Access and Excel

In this presentation we merge the buoy data with the hurricane data in Excel using vertical look-ups (VLOOKUP) and clean the data using filters to remove data flagged using a nested loop and disjunctive.

Quiz 4 Commands and Functions

In this quiz covers commands and functions used in creating the database containing the hurricane and buoy data.

Module 2: Agents and Forms of Communication

Lecture 8 Agents and Introduction to Wumpus World

In this presentation we discuss the various agents and the rolls they play in the game Wumpus World.

Quiz 5 Agents and Propertiess

This quiz covers the various types of agents, their properties and forms of communication.

Lecture 9 Visiting Wumpus World

In this presentation we take a walk through my version of Wumpus World and then discuss the various scripts used to run the object-oriented algorithms.

Lecture 10 Creating a Text Command User Interface version of Wumpus World

In this presentation we create a version of the original Wumpus World using text commands in R.

Quiz 6 Declared Variables and Functions

This quiz covers variable types and various functions in R and C#.

Lecture 11 Communication and Language

In this presentation we discuss Languages and Sentential forms

Lecture 12 Programming Languages

This presentation introduce the language used in Excel, R and Python.

Quiz 7 Lexicon

This quiz covers Lexicons and Sentences

Quiz 8 Sentential Formulas

This quiz covers sentential formulas; atomic statements, free variables; quantifiers and operators.

Quiz 9 Truth Tables

This quiz covers properties of truth tables and final results of truth tables.

Module 3: Inference and Formal Logic

Lecture 13 Inference and Formal Logic

This presentation introduce logical inference and formal logic.

Lecture 14 First Order Logic

This presentation covers propositional logic and predict calculus (first-order logic).

Quiz 10 Formal Logic

This quiz covers formal logic and the properties of formal logic.

Lecture 15 Inferences in First-order Logic

This presentation covers the inferences that can be made in first-order logic.

Quiz 11 Inference in Formal Logic

This quiz covers types of reasoning: inductive, deductive and proof by contradiction.

Quiz 12 Rules in First-order Logic

This quiz covers the rules that follow from first-order logic.

Lecture 16 Overview of First-order Logic and Predicate Calculus

This presentation introduces the idea of free variables and predicate/propositional calculus; and illustrates functional code in Python and R.

Lecture 17 Functional Code and Logical Operators

This presentation introduces predicate calculus in the form of functional code that use logical operators.

Quiz 13 First Order Logic and Inference

This quiz covers first-order logic, predicate calculus, functional code and logical operators.

Module 4: Temporal Logic

Lecture 18 Introduction to Temporal Logic

This presentation introduces the idea of temporal logic; that is, statements where the truth-value is a function of time.

Quiz 14 Models of Time: Instant Based

This quiz covers instant based temporal logic and the associated properties of time.

Quiz 15 Models of Time: Interval Based

This quiz covers interval based temporal logic and the associated properties of time.

Lecture 19 Designing a Digital Pet

In this presentation we discuss the temporal logic required to create a digital pet.

Lecture 20 Breakdown of Logic (Propositional and Temporal)

In this presentation we take a closer look at the scripts where we have the logic that drives the behavior of our digital pet.

Lecture 21 Breakdown of Logic (Continued)

In this presentation we continue with our discussion on the scripts where we have the logic that drives the behavior of our digital pet.

Quiz 16 Logic in Coding

This quiz covers various aspects of propositional logic and temporal logic used in coding.

Module 5: Applications

Lecture 22 Applications to Gaming, Diagnosis, Research, Robotics and System Design

In this presentation we discuss applications of logic in gaming, diagnosis, research, robotics and system design.

Quiz 17 Applications of Logic
Lecture 23 Numeral Systems

This presentation covers how to numbers between bases.

Quiz 18 Changing Bases

This quiz covers numeral systems and converting bases.

Lecture 24 Fuzzy Logic

In this presentation we discuss fuzzy logic.

Quiz 19 Fuzzy Logic

This quiz covers fuzzy logic.

350