2.9 With the following statements, please use the corresponding predicate formula to express them separately:
(1) Some people like plum blossom, some people like Chrysanthemum, some people both like plum blossom and like chrysanthemum.
Solution: P (x): X is Human
L (x, y): x likes y
The individual domain of y is {plum, chrysanthemum}.
The knowledge is represented by a predicate as: (ヨx) (P (x) →l (x, Plum) ∨l (x, Chrysanthemum) ∨l (x, Plum) ∧l (x, Chrysanthemum))
(2) Some people go to play basketball every afternoon.
Solution: P (x): X is human;
B (x): X play basketball;
A (Y): Y is afternoon
The knowledge predicate is expressed as: (ヨx) (∀y) (A (y) →b (x) ∧p (x))
(3) The new type of computer is fast and the storage capacity is large.
Solution: NC (x): X is a new type of computer;
F (x): Fast x speed;
B (x): Large x capacity
To represent knowledge with predicates as: (∀x) (NC (x) →f (x) ∧b (x))
(4) Not every computer department student likes the computer creates Macintosh program.
Solution: S (x): X is a computer department student;
L (x, pragramming): x likes programming;
U (X,computer): x use computer
The knowledge predicate is expressed as: ∀x (S (x) →l (x, pragramming) ∧u (X,computer))
(5) Anyone who likes to program is fond of computers.
Solution:
P (x): X is human;
L (x, y): x likes y
The knowledge is represented by a predicate as: (∀x) (P (x) ∧l (x,pragramming) →l (x, Computer))
2.11 The problem of farmer, wolf, goat and cabbage is represented by predicate notation.
The farmer, the wolf, the goat, the cabbage all on the left bank of a river, now to send them all to the right bank of the river, the farmer has a boat, when the river, in addition to the farmer outside the ship can carry a wolf, goat, cabbage in one. Wolves eat goats and goats eat cabbage unless the farmer is there. Planning a plan to make sure that you cross the river safely. Please write out the definition of the predicate used, and give the function of each predicate and the individual domain of the variable.
Solution:
Predicate:
AL (x): X on the left bank
where X's individual domain is {farmer, ship, wolf, sheep, cabbage}.
Correspondingly, ¬al (x) indicates that x is on the right bank.
Initial state of the problem:
AL (Farmer)
AL (ship)
AL (Wolf)
AL (sheep)
AL (cabbage)
The target state of the problem:
¬al (Farmer)
¬al (ship)
¬al (Wolf)
¬al (sheep)
¬al (cabbage)
Describes the action verb:
L-r: The farmer himself rowed from the left bank to the right bank
L-r (x): Farmer with X boating from left Bank to right bank
R-l: The farmer himself rowed from the right bank to the left bank
R-l (x): Farmer with x boating from right bank to left bank
where X's individual domain is {wolf, sheep, cabbage}.
corresponding conditions and actions:
L-r: Farmers rowing from the left bank to the right bank
Conditions: Al (ship), Al (Farmer), ¬al (Wolf) ∨¬al (sheep), ¬al (sheep) ∨¬al (cabbage)
Action: Delete table: Al (ship), Al (Farmer)
Add Table: ¬al (ship), ¬al (farmer)
L-r (Wolf): Farmer boating with wolves from left Bank to right bank
Conditions: Al (ship), Al (Farmer), AL (Wolf), ¬al (sheep)
Action: Delete table: Al (ship), Al (Farmer), AL (Wolf)
Add Table: ¬al (ship), ¬al (farmer), ¬al (Wolf)
L-r (sheep): Farmer boating from left bank to right bank with sheep
Conditions: Al (ship), Al (Farmer), Al (sheep), Al (Wolf), AL (cabbage)
Or: Al (ship), Al (Farmer), Al (sheep), ¬al (Wolf), ¬al (cabbage)
Action: Delete table: Al (ship), Al (Farmer), Al (sheep)
Added tables: ¬al (ship), ¬al (farmer), ¬al (sheep)
L-r (cabbage): Farmer boating from left bank to right bank with cabbage
Conditions: Al (ship), Al (Farmer), AL (cabbage), ¬al (Wolf)
Action: Delete table: Al (ship), Al (Farmer), AL (cabbage)
Add Table: ¬al (ship), ¬al (farmer), ¬al (cabbage)
R-l: Farmer boating from right bank to left bank
Conditions: ¬al (ship), ¬al (farmer), AL (Wolf) ∨al (sheep), Al (sheep) ∨al (cabbage)
Or: ¬al (ship), ¬al (farmer), ¬al (Wolf), ¬al (cabbage), AL (sheep)
Action: Delete table: ¬al (ship), ¬al (farmer)
Add Table: Al (ship), Al (Farmer)
R-l (sheep): Farmer boating from right bank to left Bank with sheep
Conditions: ¬al (ship), ¬al (farmer), ¬al (sheep), ¬al (Wolf), ¬al (sheep), AL (cabbage)
Action: Delete table: ¬al (ship), ¬al (farmer), ¬al (sheep)
Add Table: Al (ship), Al (Farmer), Al (sheep)
The problem solving process is as follows:
2.16 write out their semantic networks for each of the following questions:
(1) Each student has a computer.
Solution:
(2) High teacher from March to July to the computer department students to talk about the "computer network" class.
Solution:
(3) There are men, women, graduate students and undergraduates.
Solution:
(4) The innovation Company at 56th Hoi An avenue, Liu Yang is the company's manager, he is 32 years old, Master's degree.
Solution:
(5) The red team played football with the men and ended with a 3:2 score.
Solution:
2.17 Please express the following proposition in a semantic network.
(1) Trees and grasses are plants.
Solution:
(2) Both the tree and the grass have leaves and roots.
Solution:
(3) Weeds are grass and grow in water.
Solution:
(4) fruit trees are trees and will result.
Solution:
(5) Pear tree is a kind of fruit tree, it will result.
Solution:
Huang Fei Hong 130702010037 second assignment