if a person holds a job as nurse then the person is male
TRANSCRIPT
![Page 1: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/1.jpg)
The Jobs Puzzle:Taking on the Challenge via
Controlled Natural Language Processing
Rolf SchwitterDepartment of [email protected]
© Macquarie University 2013
![Page 2: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/2.jpg)
Overview
• The Jobs Puzzle (Wos et al. 1984)
• Shapiro’s Challenge
• Shapiro’s Lparse/Smodels Solution
• Simple Solution in Controlled Natural Language
• Compact Solution in Controlled Natural Language
2© Macquarie University 2013
![Page 3: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/3.jpg)
The Jobs Puzzle
1. There are four people: Roberta, Thelma, Steve and Pete.
2. Among them, they hold eight different jobs.
3. Each holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
5. The job of nurse is held by a male.
6. The husband of the chef is the telephone operator.
7. Roberta is not a boxer.
8. Pete has no education past the ninth grade.
9. Roberta, the chef, and the police officer went golfing together.
10. Question: Who holds which jobs?
3© Macquarie University 2013
![Page 4: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/4.jpg)
The Challenge
• Shapiro’s challenge is three-fold:
a) formalise the puzzle in a way that is neither difficult nor tedious,
b) formalise the puzzle so that it adheres closely to the English statements of the puzzle, and
c) have an automated general-purpose commonsense reasoner that solves the puzzle efficiently.
© Macquarie University 2013 4
![Page 5: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/5.jpg)
Solutions
• TPTP participants (Larry Wos & friends)– 64 clauses
– relies on equality predicates and special axioms for UNA
• SNePS (Stuart C. Shapiro)– uses SNePSLOG syntax
– uses general quantifiers and set arguments
– some statements need to be translated into contrapositives
• Lparse/Smodels (Stuart C. Shapiro)– answer set programming
• Controlled Natural Language (Schwitter)
© Macquarie University 2013 5
![Page 6: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/6.jpg)
Lparse/Smodels Solution
1. There are four people: Roberta, Thelma, Steve and Pete.
2. Among them, they hold eight different jobs.
3. Each holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
6© Macquarie University 2013
![Page 7: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/7.jpg)
Lparse/Smodels Solution
1. There are four people: Roberta, Thelma, Steve and Pete.
person(roberta ; thelma ; steve ; pete).
2. Among them, they hold eight different jobs.
3. Each holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
7© Macquarie University 2013
![Page 8: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/8.jpg)
Lparse/Smodels Solution
1. There are four people: Roberta, Thelma, Steve and Pete.
person(roberta ; thelma ; steve ; pete).
female(roberta ; thelma).
2. Among them, they hold eight different jobs.
3. Each holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
8© Macquarie University 2013
![Page 9: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/9.jpg)
Lparse/Smodels Solution
1. There are four people: Roberta, Thelma, Steve and Pete.
person(roberta ; thelma ; steve ; pete).
female(roberta ; thelma).
male(steve ; pete).
2. Among them, they hold eight different jobs.
3. Each holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
9© Macquarie University 2013
![Page 10: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/10.jpg)
Lparse/Smodels Solution
1. There are four people: Roberta, Thelma, Steve and Pete.
person(roberta ; thelma ; steve ; pete).
female(roberta ; thelma).
male(steve ; pete).
:- person(X), male(X), female(X).
2. Among them, they hold eight different jobs.
3. Each holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
10© Macquarie University 2013
![Page 11: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/11.jpg)
Lparse/Smodels Solution
1. person(roberta ; thelma ; steve ; pete).
female(roberta ; thelma).
male(steve ; pete).
:- person(X), male(X), female(X).
2. Among them, they hold eight different jobs.
3. Each holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
11© Macquarie University 2013
![Page 12: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/12.jpg)
Lparse/Smodels Solution
1. person(roberta ; thelma ; steve ; pete).
female(roberta ; thelma).
male(steve ; pete).
:- person(X), male(X), female(X).
2. Among them, they hold eight different jobs.
1 { hasJob(X, Y) : person(X) } 1 :- job(Y).
3. Each holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
12© Macquarie University 2013
![Page 13: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/13.jpg)
Lparse/Smodels Solution
1. person(roberta ; thelma ; steve ; pete).
female(roberta ; thelma).
male(steve ; pete).
:- person(X), male(X), female(X).
2. 1 { hasJob(X, Y) : person(X) } 1 :- job(Y).
3. Each holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
13© Macquarie University 2013
![Page 14: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/14.jpg)
Lparse/Smodels Solution
1. person(roberta ; thelma ; steve ; pete).
female(roberta ; thelma).
male(steve ; pete).
:- person(X), male(X), female(X).
2. 1 { hasJob(X, Y) : person(X) } 1 :- job(Y).
3. Each holds exactly two jobs.
2 { hasJob(X, Y) : job(Y) } 2 :- person(X).
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
14© Macquarie University 2013
![Page 15: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/15.jpg)
Lparse/Smodels Solution
1. person(roberta ; thelma ; steve ; pete).
female(roberta ; thelma).
male(steve ; pete).
:- person(X), male(X), female(X).
2. 1 { hasJob(X, Y) : person(X) } 1 :- job(Y).
3. 2 { hasJob(X, Y) : job(Y) } 2 :- person(X).
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
15© Macquarie University 2013
![Page 16: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/16.jpg)
Lparse/Smodels Solution
1. person(roberta ; thelma ; steve ; pete).
female(roberta ; thelma).
male(steve ; pete).
:- person(X), male(X), female(X).
2. 1 { hasJob(X, Y) : person(X) } 1 :- job(Y).
3. 2 { hasJob(X, Y) : job(Y) } 2 :- person(X).
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
job(chef ; guard ; nurse ; operator ; police ; teacher ; actor ; boxer).
16© Macquarie University 2013
![Page 17: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/17.jpg)
Lparse/Smodels Solution
1. person(roberta ; thelma ; steve ; pete).
female(roberta ; thelma).
male(steve ; pete).
:- person(X), male(X), female(X).
2. 1 { hasJob(X, Y) : person(X) } 1 :- job(Y).
3. 2 { hasJob(X, Y) : job(Y) } 2 :- person(X).
4. job(chef ; guard ; nurse ; operator ; police ; teacher ; actor ; boxer).
17© Macquarie University 2013
![Page 18: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/18.jpg)
Lparse/Smodels Solution
5. The job of nurse is held by a male.
6. The husband of the chef is the telephone operator.
7. Roberta is not a boxer.
8. Pete has no education past the ninth grade.
18© Macquarie University 2013
![Page 19: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/19.jpg)
Lparse/Smodels Solution
5. The job of nurse is held by a male.
male(X) :- person(X), hasJob(X, nurse).
6. The husband of the chef is the telephone operator.
7. Roberta is not a boxer.
8. Pete has no education past the ninth grade.
19© Macquarie University 2013
![Page 20: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/20.jpg)
Lparse/Smodels Solution
5. The job of nurse is held by a male.
male(X) :- person(X), hasJob(X, nurse).
male(X) :- person(X), hasJob(X, actor).
6. The husband of the chef is the telephone operator.
7. Roberta is not a boxer.
8. Pete has no education past the ninth grade.
20© Macquarie University 2013
![Page 21: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/21.jpg)
Lparse/Smodels Solution
5. male(X) :- person(X), hasJob(X, nurse).
male(X) :- person(X), hasJob(X, actor).
6. The husband of the chef is the telephone operator.
7. Roberta is not a boxer.
8. Pete has no education past the ninth grade.
21© Macquarie University 2013
![Page 22: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/22.jpg)
Lparse/Smodels Solution
5. male(X) :- person(X), hasJob(X, nurse).
male(X) :- person(X), hasJob(X, actor).
6. The husband of the chef is the telephone operator.
hasHusband(Y, X) :- person(X ; Y),
hasJob(Y, chef), hasJob(X, operator).
7. Roberta is not a boxer.
8. Pete has no education past the ninth grade.
22© Macquarie University 2013
![Page 23: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/23.jpg)
Lparse/Smodels Solution
5. male(X) :- person(X), hasJob(X, nurse).
male(X) :- person(X), hasJob(X, actor).
6. The husband of the chef is the telephone operator.
hasHusband(Y, X) :- person(X ; Y),
hasJob(Y, chef), hasJob(X, operator).
2 { female(X), male(Y) } 2 :-
person(X ; Y), hasHusband(X, Y).
7. Roberta is not a boxer.
8. Pete has no education past the ninth grade.
23© Macquarie University 2013
![Page 24: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/24.jpg)
Lparse/Smodels Solution
5. male(X) :- person(X), hasJob(X, nurse).
male(X) :- person(X), hasJob(X, actor).
6. hasHusband(Y, X) :- person(X ; Y),
hasJob(Y, chef), hasJob(X, operator).
2 { female(X), male(Y) } 2 :-
person(X ; Y), hasHusband(X, Y).
7. Roberta is not a boxer.
8. Pete has no education past the ninth grade.
24© Macquarie University 2013
![Page 25: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/25.jpg)
Lparse/Smodels Solution
5. male(X) :- person(X), hasJob(X, nurse).
male(X) :- person(X), hasJob(X, actor).
6. hasHusband(Y, X) :- person(X ; Y),
hasJob(Y, chef), hasJob(X, operator).
2 { female(X), male(Y) } 2 :-
person(X ; Y), hasHusband(X, Y).
7. Roberta is not a boxer.
:- hasJob(roberta, boxer).
8. Pete has no education past the ninth grade.
25© Macquarie University 2013
![Page 26: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/26.jpg)
Lparse/Smodels Solution
5. male(X) :- person(X), hasJob(X, nurse).
male(X) :- person(X), hasJob(X, actor).
6. hasHusband(Y, X) :- person(X ; Y),
hasJob(Y, chef), hasJob(X, operator).
2 { female(X), male(Y) } 2 :-
person(X ; Y), hasHusband(X, Y).
7. :- hasJob(roberta, boxer).
8. Pete has no education past the ninth grade.
26© Macquarie University 2013
![Page 27: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/27.jpg)
Lparse/Smodels Solution
5. male(X) :- person(X), hasJob(X, nurse).
male(X) :- person(X), hasJob(X, actor).
6. hasHusband(Y, X) :- person(X ; Y),
hasJob(Y, chef), hasJob(X, operator).
2 { female(X), male(Y) } 2 :-
person(X ; Y), hasHusband(X, Y).
7. :- hasJob(roberta, boxer).
8. Pete has no education past the ninth grade.
:- educated(pete).
27© Macquarie University 2013
![Page 28: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/28.jpg)
Lparse/Smodels Solution
5. male(X) :- person(X), hasJob(X, nurse).
male(X) :- person(X), hasJob(X, actor).
6. hasHusband(Y, X) :- person(X ; Y),
hasJob(Y, chef), hasJob(X, operator).
2 { female(X), male(Y) } 2 :-
person(X ; Y), hasHusband(X, Y).
7. :- hasJob(roberta, boxer).
8. Pete has no education past the ninth grade.
:- educated(pete).
educated(X) :- 1 { hasJob(X, nurse), hasJob(X, police),
hasJob(X, teacher) } 2, person(X).
28© Macquarie University 2013
![Page 29: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/29.jpg)
Lparse/Smodels Solution
5. male(X) :- person(X), hasJob(X, nurse).
male(X) :- person(X), hasJob(X, actor).
6. hasHusband(Y, X) :- person(X ; Y),
hasJob(Y, chef), hasJob(X, operator).
2 { female(X), male(Y) } 2 :-
person(X ; Y), hasHusband(X, Y).
7. :- hasJob(roberta, boxer).
8. :- educated(pete).
educated(X) :- 1 { hasJob(X, nurse), hasJob(X, police),
hasJob(X, teacher) } 2, person(X).
29© Macquarie University 2013
![Page 30: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/30.jpg)
Lparse/Smodels Solution
9. Roberta, [and] the chef, and the police officer went golfing together.
10. Question: Who holds which jobs?
30© Macquarie University 2013
![Page 31: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/31.jpg)
Lparse/Smodels Solution
9. Roberta, [and] the chef, and the police officer went golfing together.
0 { hasJob(roberta, chef), hasJob(roberta, police) } 0.
10. Question: Who holds which jobs?
31© Macquarie University 2013
![Page 32: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/32.jpg)
Lparse/Smodels Solution
9. Roberta, [and] the chef, and the police officer went golfing together.
0 { hasJob(roberta, chef), hasJob(roberta, police) } 0.
0 { hasJob(X, chef), hasJob(X, police) } 1 :- person(X).
10. Question: Who holds which jobs?
32© Macquarie University 2013
![Page 33: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/33.jpg)
Lparse/Smodels Solution
9. 0 { hasJob(roberta, chef), hasJob(roberta, police) } 0.
0 { hasJob(X, chef), hasJob(X, police) } 1 :- person(X).
10. Question: Who holds which job?
33© Macquarie University 2013
![Page 34: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/34.jpg)
Lparse/Smodels Solution
9. 0 { hasJob(roberta, chef), hasJob(roberta, police) } 0.
0 { hasJob(X, chef), hasJob(X, police) } 1 :- person(X).
10. Question: Who holds which job?
#hide.
#show hasJob(X, Y).
34© Macquarie University 2013
![Page 35: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/35.jpg)
Lparse/Smodels Solution
9. 0 { hasJob(roberta, chef), hasJob(roberta, police) } 0.
0 { hasJob(X, chef), hasJob(X, police) } 1 :- person(X).
10. #hide.
#show hasJob(X, Y).
35© Macquarie University 2013
![Page 36: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/36.jpg)
Output Smodels
hasJob(pete, operator)
hasJob(pete, actor)
hasJob(steve, nurse)
hasJob(steve, police)
hasJob(thelma, chef)
hasJob(thelma, boxer)
hasJob(roberta, guard)
hasJob(roberta, teacher)
36© Macquarie University 2013
![Page 37: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/37.jpg)
Remember Shapiro’s Challenge
• Shapiro’s challenge is three-fold:
a) formalise the puzzle in a way that is neither difficult nor tedious,
b) formalise the puzzle so that it adheres closely to the English statements of the puzzle, and
c) have an automated general-purpose commonsense reasoner that solves the puzzle efficiently.
© Macquarie University 2013 37
![Page 38: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/38.jpg)
Solution via Controlled Natural Language
• A CNL consists of a well-defined subset of natural language.
• First, I will use the simplest possible subset of PENG Light to reconstruct the puzzle.
• Afterwards, I will introduce a compact solution.
• The reconstruction process is supported by a predictive authoring tool that guides the writing process.
© Macquarie University 2013 38
![Page 39: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/39.jpg)
Simple Sentences
© Macquarie University 2013 39
![Page 40: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/40.jpg)
Complex Sentences
© Macquarie University 2013 40
• If Simple Sentence [and Simple Sentence]* then Simple Sentence.
• Exclude that Simple Sentence [and that Simple Sentence]*.
![Page 41: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/41.jpg)
Anaphora
© Macquarie University 2013 41
• Anaphoric references:
a person ... the person
a first person ... a second person ... the first person
Roberta ... Roberta ...
![Page 42: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/42.jpg)
Reconstruction in CNL (simple version)
1. There are four people: Roberta, Thelma, Steve and Pete.
2. Among them, they hold eight different jobs.
3. Each holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
42© Macquarie University 2013
![Page 43: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/43.jpg)
Reconstruction in CNL (simple version)
1. There are four people: Roberta, Thelma, Steve and Pete.
Roberta is a person. Thelma is a person. Steve is a person. Pete is a person.
Among them, they hold eight different jobs.
2. Each holds exactly two jobs.
3. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
43© Macquarie University 2013
![Page 44: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/44.jpg)
Reconstruction in CNL (simple version)
1. There are four people: Roberta, Thelma, Steve and Pete.
Roberta is a person. Thelma is a person. Steve is a person. Pete is a person.
Roberta is female. Thelma is female.
2. Among them, they hold eight different jobs.
3. Each holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
44© Macquarie University 2013
![Page 45: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/45.jpg)
Reconstruction in CNL (simple version)
1. There are four people: Roberta, Thelma, Steve and Pete.
Roberta is a person. Thelma is a person. Steve is a person. Pete is a person.
Roberta is female. Thelma is female.
Steve is male. Pete is male.
2. Among them, they hold eight different jobs.
3. Each holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
45© Macquarie University 2013
![Page 46: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/46.jpg)
Reconstruction in CNL (simple version)
1. There are four people: Roberta, Thelma, Steve and Pete.
Roberta is a person. Thelma is a person. Steve is a person. Pete is a person.
Roberta is female. Thelma is female.
Steve is male. Pete is male.
Exclude that a person is male and that the person is female.
2. Among them, they hold eight different jobs.
3. Each holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
46© Macquarie University 2013
![Page 47: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/47.jpg)
Reconstruction in CNL (simple version)
1. Roberta is a person. Thelma is a person. Steve is a person. Pete is a person.
Roberta is female. Thelma is female.
Steve is male. Pete is male.
Exclude that a person is male and that the person is female.
2. Among them, they hold eight different jobs.
3. Each holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
47© Macquarie University 2013
![Page 48: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/48.jpg)
Reconstruction in CNL (simple version)
1. Roberta is a person. Thelma is a person. Steve is a person. Pete is a person.
Roberta is female. Thelma is female.
Steve is male. Pete is male.
Exclude that a person is male and that the person is female.
2. Among them, they hold eight different jobs.
If there is a job then exactly one person holds the job.
3. Each holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
48© Macquarie University 2013
![Page 49: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/49.jpg)
Reconstruction in CNL (simple version)
1. Roberta is a person. Thelma is a person. Steve is a person. Pete is a person.
Roberta is female. Thelma is female.
Steve is male. Pete is male.
Exclude that a person is male and that the person is female.
2. If there is a job then exactly one person holds the job.
3. Each holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
49© Macquarie University 2013
![Page 50: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/50.jpg)
Reconstruction in CNL (simple version)
1. Roberta is a person. Thelma is a person. Steve is a person. Pete is a person.
Roberta is female. Thelma is female.
Steve is male. Pete is male.
Exclude that a person is male and that the person is female.
2. If there is a job then exactly one person holds the job.
3. Each holds exactly two jobs.
If there is a person then the person holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
50© Macquarie University 2013
![Page 51: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/51.jpg)
Reconstruction in CNL (simple version)
1. Roberta is a person. Thelma is a person. Steve is a person. Pete is a person.
Roberta is female. Thelma is female.
Steve is male. Pete is male.
Exclude that a person is male and that the person is female.
2. If there is a job then exactly one person holds the job.
3. If there is a person then the person holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
51© Macquarie University 2013
![Page 52: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/52.jpg)
Reconstruction in CNL (simple version)
1. Roberta is a person. Thelma is a person. Steve is a person. Pete is a person.
Roberta is female. Thelma is female.
Steve is male. Pete is male.
Exclude that a person is male and that the person is female.
2. If there is a job then exactly one person holds the job.
3. If there is a person then the person holds exactly two jobs.
4. The jobs are: chef, guard, nurse, telephone operator, police officer (gender not implied), teacher, actor, and boxer.
Chef is a job. Guard is a job. Nurse is a job. Telephone operator is a job. Police officer is a job. Teacher is a job. Actor is a job. Boxer is a job.
52© Macquarie University 2013
![Page 53: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/53.jpg)
Reconstruction in CNL (simple version)
1. Roberta is a person. Thelma is a person. Steve is a person. Pete is a person.
Roberta is female. Thelma is female.
Steve is male. Pete is male.
Exclude that a person is male and that the person is female.
2. If there is a job then exactly one person holds the job.
3. If there is a person then the person holds exactly two jobs.
4. Chef is a job. Guard is a job. Nurse is a job. Telephone operator is a job. Police officer is a job. Teacher is a job. Actor is a job. Boxer is a job.
53© Macquarie University 2013
![Page 54: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/54.jpg)
Reconstruction in CNL (simple version)
5. The job of nurse is held by a male.
6. The husband of the chef is the telephone operator.
7. Roberta is not a boxer.
54© Macquarie University 2013
![Page 55: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/55.jpg)
Reconstruction in CNL (simple version)
5. The job of nurse is held by a male.
If a person holds a job as nurse then the person is male.
6. The husband of the chef is the telephone operator.
7. Roberta is not a boxer.
55© Macquarie University 2013
![Page 56: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/56.jpg)
Reconstruction in CNL (simple version)
5. The job of nurse is held by a male.
If a person holds a job as nurse then the person is male.
If a person holds a job as actor then the person is male.
6. The husband of the chef is the telephone operator.
7. Roberta is not a boxer.
56© Macquarie University 2013
![Page 57: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/57.jpg)
Reconstruction in CNL (simple version)
5. If a person holds a job as nurse then the person is male.
If a person holds a job as actor then the person is male.
6. The husband of the chef is the telephone operator.
7. Roberta is not a boxer.
57© Macquarie University 2013
![Page 58: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/58.jpg)
Reconstruction in CNL (simple version)
5. If a person holds a job as nurse then the person is male.
If a person holds a job as actor then the person is male.
6. The husband of the chef is the telephone operator.
If a first person holds a job as chef and a second person holds a job as telephone operator then the second person is a husband of the first person.
7. Roberta is not a boxer.
58© Macquarie University 2013
![Page 59: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/59.jpg)
Reconstruction in CNL (simple version)
5. If a person holds a job as nurse then the person is male.
If a person holds a job as actor then the person is male.
6. The husband of the chef is the telephone operator.
If a first person holds a job as chef and a second person holds a job as telephone operator then the second person is a husband of the first person.
If a first person is a husband of a second person then the first person is male.
7. Roberta is not a boxer.
59© Macquarie University 2013
![Page 60: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/60.jpg)
Reconstruction in CNL (simple version)
5. If a person holds a job as nurse then the person is male.
If a person holds a job as actor then the person is male.
6. The husband of the chef is the telephone operator.
If a first person holds a job as chef and a second person holds a job as telephone operator then the second person is a husband of the first person.
If a first person is a husband of a second person then the first person is male.
If a first person is a husband of a second person then the second person is female.
7. Roberta is not a boxer.
60© Macquarie University 2013
![Page 61: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/61.jpg)
Reconstruction in CNL (simple version)
5. If a person holds a job as nurse then the person is male.
If a person holds a job as actor then the person is male.
6. If a first person holds a job as chef and a second person holds a job as telephone operator then the second person is a husband of the first person.
If a first person is a husband of a second person then the first person is male.
If a first person is a husband of a second person then the second person is female.
7. Roberta is not a boxer.
61© Macquarie University 2013
![Page 62: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/62.jpg)
Reconstruction in CNL (simple version)
5. If a person holds a job as nurse then the person is male.
If a person holds a job as actor then the person is male.
6. If a first person holds a job as chef and a second person holds a job as telephone operator then the second person is a husband of the first person.
If a first person is a husband of a second person then the first person is male.
If a first person is a husband of a second person then the second person is female.
7. Roberta is not a boxer.
Exclude that Robert holds a job as boxer.
62© Macquarie University 2013
![Page 63: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/63.jpg)
Reconstruction in CNL (simple version)
5. If a person holds a job as nurse then the person is male.
If a person holds a job as actor then the person is male.
6. If a first person holds a job as chef and a second person holds a job as telephone operator then the second person is a husband of the first person.
If a first person is a husband of a second person then the first person is male.
If a first person is a husband of a second person then the second person is female.
7. Exclude that Robert holds a job as boxer.
63© Macquarie University 2013
![Page 64: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/64.jpg)
Reconstruction in CNL (simple version)
8. Pete has no education past the ninth grade.
9. Roberta, the chef, and the police officer went golfing together.
10. Question: Who holds which jobs?
64© Macquarie University 2013
![Page 65: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/65.jpg)
Reconstruction in CNL (simple version)
8. Pete has no education past the ninth grade.
Exclude that Pete is educated.
9. Roberta, the chef, and the police officer went golfing together.
10. Question: Who holds which jobs?
65© Macquarie University 2013
![Page 66: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/66.jpg)
Reconstruction in CNL (simple version)
8. Pete has no education past the ninth grade.
Exclude that Pete is educated.
If a person holds a job as nurse then the person is educated.
9. Roberta, the chef, and the police officer went golfing together.
10. Question: Who holds which jobs?
66© Macquarie University 2013
![Page 67: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/67.jpg)
Reconstruction in CNL (simple version)
8. Pete has no education past the ninth grade.
Exclude that Pete is educated.
If a person holds a job as nurse then the person is educated.
If a person holds a job as police officer then the person is educated.
9. Roberta, the chef, and the police officer went golfing together.
10. Question: Who holds which jobs?
67© Macquarie University 2013
![Page 68: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/68.jpg)
Reconstruction in CNL (simple version)
8. Pete has no education past the ninth grade.
Exclude that Pete is educated.
If a person holds a job as nurse then the person is educated.
If a person holds a job as police officer then the person is educated.
If a person holds a job as teacher then the person is educated.
9. Roberta, the chef, and the police officer went golfing together.
10. Question: Who holds which jobs?
68© Macquarie University 2013
![Page 69: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/69.jpg)
Reconstruction in CNL (simple version)
8. Exclude that Pete is educated.
If a person holds a job as nurse then the person is educated.
If a person holds a job as police officer then the person is educated.
If a person holds a job as teacher then the person is educated.
9. Roberta, the chef, and the police officer went golfing together.
10. Question: Who holds which jobs?
69© Macquarie University 2013
![Page 70: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/70.jpg)
Reconstruction in CNL (simple version)
8. Exclude that Pete is educated.
If a person holds a job as nurse then the person is educated.
If a person holds a job as police officer then the person is educated.
If a person holds a job as teacher then the person is educated.
9. Roberta, the chef, and the police officer went golfing together.
Exclude that Roberta holds a job as chef.
10. Question: Who holds which jobs?
70© Macquarie University 2013
![Page 71: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/71.jpg)
Reconstruction in CNL (simple version)
8. Exclude that Pete is educated.
If a person holds a job as nurse then the person is educated.
If a person holds a job as police officer then the person is educated.
If a person holds a job as teacher then the person is educated.
9. Roberta, the chef, and the police officer went golfing together.
Exclude that Roberta holds a job as chef.
Exclude that Roberta holds a job as police officer.
10. Question: Who holds which jobs?
71© Macquarie University 2013
![Page 72: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/72.jpg)
Reconstruction in CNL (simple version)
8. Exclude that Pete is educated.If a person holds a job as nurse then the person is educated.If a person holds a job as police officer then the person is educated.If a person holds a job as teacher then the person is educated.
9. Roberta, the chef, and the police officer went golfing together.Exclude that Roberta holds a job as chef.Exclude that Roberta holds a job as police officer.Exclude that a person holds a job as chef and that the person holds a job as police officer.
10. Question: Who holds which jobs?
72© Macquarie University 2013
![Page 73: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/73.jpg)
Reconstruction in CNL (simple version)
8. Exclude that Pete is educated.
If a person holds a job as nurse then the person is educated.
If a person holds a job as police officer then the person is educated.
If a person holds a job as teacher then the person is educated.
9. Exclude that Roberta holds a job as chef.
Exclude that Roberta holds a job as police officer.
Exclude that a person holds a job as chef and that the person holds a job as police officer.
10. Question: Who holds which jobs?
73© Macquarie University 2013
![Page 74: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/74.jpg)
Reconstruction in CNL (simple version)
8. Exclude that Pete is educated.
If a person holds a job as nurse then the person is educated.
If a person holds a job as police officer then the person is educated.
If a person holds a job as teacher then the person is educated.
9. Exclude that Roberta holds a job as chef.
Exclude that Roberta holds a job as police officer.
Exclude that a person holds a job as chef and that the person holds a job as police officer.
10. Question: Who holds which jobs?Who holds which jobs?
74© Macquarie University 2013
![Page 75: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/75.jpg)
Reconstruction in CNL (simple version)
8. Exclude that Pete is educated.
If a person holds a job as nurse then the person is educated.
If a person holds a job as police officer then the person is educated.
If a person holds a job as teacher then the person is educated.
9. Exclude that Roberta holds a job as chef.
Exclude that Roberta holds a job as police officer.
Exclude that a person holds a job as chef and that the person holds a job as police officer.
10. Who holds which jobs?
75© Macquarie University 2013
![Page 76: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/76.jpg)
A more Compact CNL Specification
• We can make the CNL specification more compact.
• We add the following constructions to the initial CNL:
– Universal quantifier: every, for every
– Existential there: there is
– Relative clauses
– Additional forms of coordination
76© Macquarie University 2013
![Page 77: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/77.jpg)
Reconstruction in CNL (compact version)
0. Every person who holds a job as chef is a chef.
Every person who holds a job as guard is a guard.
…
77© Macquarie University 2013
![Page 78: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/78.jpg)
Reconstruction in CNL (compact version)
1. Roberta, Thelma, Steve, and Pete are persons.
Roberta and Thelma are female.
Steve and Pete are male.
Exclude that a person is male and is female.
2. For every job there is exactly one person who holds the job.
3. Every person holds exactly two jobs.
4. Chef, guard, nurse, telephone operator, police officer, teacher actor, and boxer are jobs.
78© Macquarie University 2013
![Page 79: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/79.jpg)
Reconstruction in CNL (compact version)
5. Every person who is a nurse or who is an actor is male.
6. If there is a telephone operator and there is a chef then the telephone operator is the husband of the chef.
Every person who is a chef is female.
Every person who is a telephone operator is male.
7. Exclude that Roberta is a boxer.
8. Exclude that Pete is educated.
Every person who is a nurse or who is a police officer or who is a teacher is educated.
79© Macquarie University 2013
![Page 80: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/80.jpg)
Reconstruction in CNL (compact version)
9. Exclude that Roberta is a chef and exclude that Roberta is a
police officer.
Exclude that a person is a chef and is a police officer.
10. Who holds which jobs?
80© Macquarie University 2013
![Page 81: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/81.jpg)
CNL Processing
• The CNL specification is translated into an extended discourse representation structure during the parsing process.
• The discourse representation structure is then further translated into an answer set program.
• The answer set program is processed with clingo, a state-of-the-art answer set solver.
© Macquarie University 2013 81
![Page 82: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/82.jpg)
Discourse Representation Structure
© Macquarie University 2013 82
![Page 83: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/83.jpg)
Discourse Representation Structure
© Macquarie University 2013 83
![Page 84: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/84.jpg)
Discourse Representation Structure
© Macquarie University 2013 84
![Page 85: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/85.jpg)
Answer Set Program
© Macquarie University 2013 85
![Page 86: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/86.jpg)
Clingo Statistics
86© Macquarie University 2013
Shapiro CNL (simple) CNL (compact)
![Page 87: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/87.jpg)
Conclusion
• We took on Shapiro’s challenge to formalise the Jobs Puzzle:
a) formalise the puzzle in a way that is neither difficult nor tedious,
b) formalise the puzzle so that it adheres closely to the English statements of the puzzle, and
c) have an automated general-purpose common-sense reasoner that solves the puzzle efficiently.
© Macquarie University 2013 87
![Page 88: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/88.jpg)
Conclusion
• We took on Shapiro’s challenge to formalise the Jobs Puzzle:
a) formalise the puzzle in a way that is neither difficult nor tedious,
b) formalise the puzzle so that it adheres closely to the English statements of the puzzle, and
c) have an automated general-purpose common-sense reasoner that solves the puzzle efficiently.
© Macquarie University 2013 88
![Page 89: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/89.jpg)
Conclusion
• We took on Shapiro’s challenge to formalise the Jobs Puzzle:
a) formalise the puzzle in a way that is neither difficult nor tedious,
b) formalise the puzzle so that it adheres closely to the English statements of the puzzle, and
c) have an automated general-purpose common-sense reasoner that solves the puzzle efficiently.
© Macquarie University 2013 89
![Page 90: If a person holds a job as nurse then the person is male](https://reader036.vdocuments.us/reader036/viewer/2022062404/613c184122e01a42d40e9291/html5/thumbnails/90.jpg)
Conclusion
• We took on Shapiro’s challenge to formalise the Jobs Puzzle:
a) formalise the puzzle in a way that is neither difficult nor tedious,
b) formalise the puzzle so that it adheres closely to the English statements of the puzzle, and
c) have an automated general-purpose common-sense reasoner that solves the puzzle efficiently.
© Macquarie University 2013 90