Csci 360 survey of programming languages l.jpg
This presentation is the property of its rightful owner.
Sponsored Links
1 / 49

CSCI 360 Survey Of Programming Languages PowerPoint PPT Presentation


  • 307 Views
  • Uploaded on
  • Presentation posted in: General

CSCI 360 Survey Of Programming Languages. 12 – Logic Programming Spring, 2008 Doug L Hoffman, PhD. Chapter 16 Topics. Introduction A Brief Introduction to Predicate Calculus Predicate Calculus and Proving Theorems An Overview of Logic Programming The Origins of Prolog

Download Presentation

CSCI 360 Survey Of Programming Languages

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Csci 360 survey of programming languages l.jpg

CSCI 360Survey Of Programming Languages

12 – Logic Programming

Spring, 2008

Doug L Hoffman, PhD


Chapter 16 topics l.jpg

Chapter 16 Topics

  • Introduction

  • A Brief Introduction to Predicate Calculus

  • Predicate Calculus and Proving Theorems

  • An Overview of Logic Programming

  • The Origins of Prolog

  • The Basic Elements of Prolog

  • Deficiencies of Prolog

  • Applications of Logic Programming


Introduction l.jpg

Introduction

  • Logic programming language or declarative programming language

  • Express programs in a form of symbolic logic

  • Use a logical inferencing process to produce results

  • Declarative rather that procedural:

    • Only specification of results are stated (not detailed procedures for producing them)


Predicate calculus l.jpg

CSCI 360 – Survey Of Programming Languages

Predicate Calculus


Proposition l.jpg

Proposition

  • A logical statement that may or may not be true

    • Consists of objects and relationships of objects to each other


Symbolic logic l.jpg

Symbolic Logic

  • Logic which can be used for the basic needs of formal logic:

    • Express propositions

    • Express relationships between propositions

    • Describe how new propositions can be inferred from other propositions

  • Particular form of symbolic logic used for logic programming called predicatecalculus


Object representation l.jpg

Object Representation

  • Objects in propositions are represented by simple terms: either constants or variables

  • Constant: a symbol that represents an object

  • Variable: a symbol that can represent different objects at different times

    • Different from variables in imperative languages


Compound terms l.jpg

Compound Terms

  • Atomic propositions consist of compound terms

  • Compound term: one element of a mathematical relation, written like a mathematical function

    • Mathematical function is a mapping

    • Can be written as a table


Parts of a compound term l.jpg

Parts of a Compound Term

  • Compound term composed of two parts

    • Functor: function symbol that names the relationship

    • Ordered list of parameters (tuple)

  • Examples:

    student(jon)

    like(seth, OSX)

    like(nick, windows)

    like(jim, linux)


Forms of a proposition l.jpg

Forms of a Proposition

  • Propositions can be stated in two forms:

    • Fact: proposition is assumed to be true

    • Query: truth of proposition is to be determined

  • Compound proposition:

    • Have two or more atomic propositions

    • Propositions are connected by operators


Logical operators l.jpg

Logical Operators


Quantifiers l.jpg

Quantifiers


Clausal form l.jpg

Clausal Form

  • Too many ways to state the same thing

  • Use a standard form for propositions

  • Clausal form:

    • B1  B2  …  Bn A1  A2  …  Am

    • means if all the As are true, then at least one B is true

  • Antecedent: right side

  • Consequent: left side


Predicate calculus and proving theorems l.jpg

Predicate Calculus and Proving Theorems

  • A use of propositions is to discover new theorems that can be inferred from known axioms and theorems

  • Resolution: an inference principle that allows inferred propositions to be computed from given propositions


Resolution l.jpg

Resolution

  • Unification: finding values for variables in propositions that allows matching process to succeed

  • Instantiation: assigning temporary values to variables to allow unification to succeed

  • After instantiating a variable with a value, if matching fails, may need to backtrack and instantiate with a different value


Proof by contradiction l.jpg

Proof by Contradiction

  • Hypotheses: a set of pertinent propositions

  • Goal: negation of theorem stated as a proposition

  • Theorem is proved by finding an inconsistency


Theorem proving l.jpg

Theorem Proving

  • Basis for logic programming

  • When propositions used for resolution, only restricted form can be used

  • Horn clause - can have only two forms

    • Headed: single atomic proposition on left side

    • Headless: empty left side (used to state facts)

  • Most propositions can be stated as Horn clauses


Overview of logic programming l.jpg

Overview of Logic Programming

  • Declarative semantics

    • There is a simple way to determine the meaning of each statement

    • Simpler than the semantics of imperative languages

  • Programming is nonprocedural

    • Programs do not state now a result is to be computed, but rather the form of the result


Example sorting a list l.jpg

Example: Sorting a List

  • Describe the characteristics of a sorted list, not the process of rearranging a list

    sort(old_list, new_list)  permute (old_list, new_list)  sorted (new_list)

    sorted (list) j such that 1 j < n, list(j)  list (j+1)


The origins of prolog l.jpg

The Origins of Prolog

  • University of Aix-Marseille

    • Natural language processing

  • University of Edinburgh

    • Automated theorem proving


Terms l.jpg

Terms

  • Edinburgh Syntax

  • Term: a constant, variable, or structure

  • Constant: an atom or an integer

  • Atom: symbolic value of Prolog

  • Atom consists of either:

    • a string of letters, digits, and underscores beginning with a lowercase letter

    • a string of printable ASCII characters delimited by apostrophes


Terms variables and structures l.jpg

Terms: Variables and Structures

  • Variable: any string of letters, digits, and underscores beginning with an uppercase letter

  • Instantiation: binding of a variable to a value

    • Lasts only as long as it takes to satisfy one complete goal

  • Structure: represents atomic proposition

    functor(parameter list)


Fact statements l.jpg

Fact Statements

  • Used for the hypotheses

  • Headless Horn clauses

    female(shelley).

    male(bill).

    father(bill, jake).


Rule statements l.jpg

Rule Statements

  • Used for the hypotheses

  • Headed Horn clause

  • Right side: antecedent (if part)

    • May be single term or conjunction

  • Left side: consequent (then part)

    • Must be single term

  • Conjunction: multiple terms separated by logical AND operations (implied)


Example rules l.jpg

Example Rules

ancestor(mary,shelley):- mother(mary,shelley).

  • Can use variables (universalobjects) to generalize meaning:

    parent(X,Y):- mother(X,Y).

    parent(X,Y):- father(X,Y).

    grandparent(X,Z):- parent(X,Y), parent(Y,Z).

    sibling(X,Y):- mother(M,X), mother(M,Y),

    father(F,X), father(F,Y).


Goal statements l.jpg

Goal Statements

  • For theorem proving, theorem is in form of proposition that we want system to prove or disprove – goal statement

  • Same format as headless Horn

    man(fred)

  • Conjunctive propositions and propositions with variables also legal goals

    father(X,mike)


Inferencing process of prolog l.jpg

Inferencing Process of Prolog

  • Queries are called goals

  • If a goal is a compound proposition, each of the facts is a subgoal

  • To prove a goal is true, must find a chain of inference rules and/or facts. For goal Q:

    B :- A

    C :- B

    Q :- P

  • Process of proving a subgoal called matching, satisfying, or resolution


Approaches l.jpg

Approaches

  • Bottom-up resolution, forward chaining

    • Begin with facts and rules of database and attempt to find sequence that leads to goal

    • Works well with a large set of possibly correct answers

  • Top-down resolution, backward chaining

    • Begin with goal and attempt to find sequence that leads to set of facts in database

    • Works well with a small set of possibly correct answers

  • Prolog implementations use backward chaining


Subgoal strategies l.jpg

Subgoal Strategies

  • When goal has more than one subgoal, can use either

    • Depth-first search: find a complete proof for the first subgoal before working on others

    • Breadth-first search: work on all subgoals in parallel

  • Prolog uses depth-first search

    • Can be done with fewer computer resources


Backtracking l.jpg

Backtracking

  • With a goal with multiple subgoals, if fail to show truth of one of subgoals, reconsider previous subgoal to find an alternative solution: backtracking

  • Begin search where previous search left off

  • Can take lots of time and space because may find all possible proofs to every subgoal


Simple arithmetic l.jpg

Simple Arithmetic

  • Prolog supports integer variables and integer arithmetic

  • is operator: takes an arithmetic expression as right operand and variable as left operand

    A is B / 17 + C

  • Not the same as an assignment statement!


Example l.jpg

Example

speed(ford,100).

speed(chevy,105).

speed(dodge,95).

speed(volvo,80).

time(ford,20).

time(chevy,21).

time(dodge,24).

time(volvo,24).

distance(X,Y) :- speed(X,Speed),

time(X,Time),

Y is Speed * Time.


Practical matters l.jpg

Practical Matters…

Loading a file

?- consult('lists.pl').

?- reconsult('lists.pro').

?- [file1,file2,file3].

Exiting gprolog…

?- halt. or ^D

Manually enter code…

?- [user].

<enter your stuff>

^D

To see your code…

?- listing.


Trace l.jpg

Trace

  • Built-in structure that displays instantiations at each step

  • Tracing model of execution - four events:

    • Call (beginning of attempt to satisfy goal)

    • Exit (when a goal has been satisfied)

    • Redo (when backtrack occurs)

    • Fail (when goal fails)


Example35 l.jpg

Example

likes(jake,chocolate).

likes(jake,apricots).

likes(darcie,licorice).

likes(darcie,apricots).

trace.

likes(jake,X),

likes(darcie,X).


Example factorial definition l.jpg

Example: Factorial Definition

factorial(0,1).

factorial(N,F) :- N>0,

N1 is N-1,

factorial(N1,F1),

F is N * F1.

  • The Prolog goal to calculate the factorial of the number 3 responds with a value for W, the goal variable:

    ?- factorial(3,W).

    W=6


Example factorial definition with trace l.jpg

Example: Factorial Definition with Trace

?- trace.

% The debugger will first creep -- showing everything

yes

[trace]

?- factorial(3,X).

(1) 0 Call: factorial(3,_8140) ?

(1) 1 Head [2]: factorial(3,_8140) ?

(2) 1 Call (built-in): 3>0 ?

(2) 1 Done (built-in): 3>0 ?

(3) 1 Call (built-in): _8256 is 3-1 ?

(3) 1 Done (built-in): 2 is 3-1 ?

(4) 1 Call: factorial(2, _8270) ?

...

(1) 0 Exit: factorial(3,6) ?

X=6

[trace]

?- notrace.

% The debugger is switched off


Negation as failure l.jpg

Negation as Failure

The negation-as-failure 'not' predicate could be defined in

prolog as follows:

not(P) :- call(P), !, fail.

not(P).

The goal ?-call(P) forces an attempt to satisfy the goal P.

Gprolog uses \+ operator instead of ‘not’.

Another way one can write the 'not' definition is using the

Prolog implication operator '->' :

not(P) :- (call(P) -> fail ; true).

The body can be read "if call(P) succeeds (i.e., if P succeeds

as a goal) then fail, otherwise succeed". The semicolon ';'

appearing here has the meaning of exclusive logical-or.


Example39 l.jpg

Example

  • It is important to realize that in a goal ?-not(g), if g has variables, and some instance of these variables lead to satisfaction of g, then ?-not(g) fails.

  • For example, consider the following 'bachelor program:

    • bachelor(P) :- male(P), not(married(P)). male(henry). male(tom). married(tom).


Example40 l.jpg

Example

  • Then

    • ?- bachelor(henry). yes ?- bachelor(tom). no ?- bachelor(Who). Who= henry ; no ?- not(married(Who)). no.

  • The first three responses are correct and as expected but the answer to the fourth query might have been unexpected.

  • The goal ?-not(married(Who)) fails because for the variable binding Who=tom, married(Who) succeeds, and so the negative goal fails.

  • Thus, negative goals ?-not(g) with variables cannot be expected to produce bindings of the variables for which the goal g fails.


List structures l.jpg

CSCI 360 – Survey Of Programming Languages

List Structures


List structures42 l.jpg

List Structures

  • Other basic data structure (besides atomic propositions we have already seen): list

  • List is a sequence of any number of elements

  • Elements can be atoms, atomic propositions, or other terms (including other lists)

    [apple, prune, grape, kumquat]

    [](empty list)

    [X | Y](head X and tail Y)


Append example l.jpg

Append Example

append([], List, List).

append([Head | List_1], List_2, [Head | List_3]) :-

append (List_1, List_2, List_3).


Reverse example l.jpg

Reverse Example

reverse([], []).

reverse([Head | Tail], List) :-

reverse (Tail, Result),

append (Result, [Head], List).


Deficiencies of prolog l.jpg

Deficiencies of Prolog

  • Resolution order control

  • The closed-world assumption

  • The negation problem

  • Intrinsic limitations


Applications of logic programming l.jpg

Applications of Logic Programming

  • Relational database management systems

  • Expert systems

  • Natural language processing


Summary l.jpg

CSCI 360 – Survey Of Programming Languages

Summary


Summary48 l.jpg

Summary

  • Symbolic logic provides basis for logic programming

  • Logic programs should be nonprocedural

  • Prolog statements are facts, rules, or goals

  • Resolution is the primary activity of a Prolog interpreter

  • Although there are a number of drawbacks with the current state of logic programming it has been used in a number of areas


Next time l.jpg

Next Time…

Exception Handling

and

Event Handling


  • Login