FOL and Prolog

Outline

Pros and cons of propositional logic

First-order logic

Syntax of FOL: Basic elements

Atomic sentences

Complex sentences

Truth in first-order logic

Models for FOL: Example

Universal quantification

A common mistake to avoid

Existential quantification

A common mistake to avoid (2)

Properties of quantifiers

Equality

Using FOL

Using FOL

Interacting with FOL KBs

KB for the wumpus world

Deducing hidden properties

Knowledge engineering in FOL

The electronic circuits domain

The electronic circuits domain

The electronic circuits domain

The electronic circuits domain

The electronic circuits domain

Summary

PROgramming in LOGic

What is Logic Programming?

Prolog Features

Example: Concatenate lists a and b

Outline

Syntax

Complete Syntax of Terms

Compound Terms

Examples of operator properties

Rules

Interpretation of Rules

Queries

Another example

Quantifiers

Points to consider

Queries

Lists

Example: List Membership

Function Membership Solution

Notes on running Prolog

Prolog Summary