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: Set P (x): X is Human
L (x, y): × likes y; y's individual field is {plum, chrysanthemum}
∴ Predicate formula representation: (∃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: Set P (x): X is Human
B (x): X Play Basketball
A (Y): Y is afternoon
∴ Predicate formula representation: (∃X) (∀y) (A (y) →b (x) ∧p (x))
(3) The new type of computer is fast and the storage capacity is large.
Solution: Set NC (x): X is a new type of computer
F (x): fast x Calculation speed
B (x): large x Storage capacity
∴ Predicate formula representation: (∀X) (NC (x) →f (x) ∧b (x))
(4) Not every computer department student likes the computer creates Macintosh program.
Solution: Set S (x): X is a student of computer science
L (x,p): x likes programming
U (X,C): x use computer
∴ predicate formula: ¬ (∀x) (S (x) →l (x,p) ∧u (x,c))
(5) Anyone who likes to program is fond of computers.
Solution: Set P (x): X is Human
L (x,p): x likes programming
L (x,c): x likes computer
∴ predicate formula means: ∀x (P (x) ∧l (x,p) →l (x,c))
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, wolf to eat goats, goats to eat cabbage, unless the farmer is there. Planning a plan to make sure that you cross the river safely. Write out the definition of the predicate used, and give the function of each predicate and the individual domain of the variable.
Solution: ① Set AL (x): X on the left bank
¬al (x): X on the right bank
where X's individual domain is {farmer, ship, wolf, goat, cabbage}
Initial state AL (x) =ture;¬al (x) =false
Target State AL (x) =false;¬al (x) =ture
② Action Verb
L-r: The farmer himself rowed from the left bank to the right bank
L-r (y): Farmer with Y boating from left Bank to right bank
R-l: The farmer himself rowed from the right bank to the left bank
R-l (y): Farmer with Y boating from right bank to left bank
Where Y's individual domain is {wolf, cabbage, goat}
Conditions and actions for the above operation:
L-r
Conditions: Al (Farmer), AL (ship), ¬al (Wolf) Ν¬al (sheep), ¬al (sheep) ν¬al (cabbage)
Action: Delete:al (farmer); AL (ship)
Add:¬al (farmer); ¬al (ship)
L-r (Wolf)
Conditions: Al (farmer); Al (ship); Al (Wolf); ¬al (goat)
Action: Delete:al (Farmer); Al (ship); Al (Wolf)
Add:¬al (farmer); ¬al (ship); ¬al (Wolf)
L-r (sheep)
Conditions: Al (Farmer), AL (ship), AL (Wolf), Al (Goat), AL (cabbage)
Or Al (Farmer); Al (ship); Al (goat); ¬al (Wolf); ¬al (Chinese cabbage)
Action: Delete:al (Farmer); Al (ship); Al (Goat)
Add:¬al (farmer); ¬al (ship); ¬al (goat)
L-r (cabbage)
Conditions: Al (farmer); Al (ship); Al (cabbage); ¬al (Wolf)
Action: Delete:al (Farmer); Al (ship); Al (cabbage)
Add:¬al (farmer); ¬al (ship); ¬al (cabbage)
R-l
Conditions: ¬al (farmer); ¬al (ship); Al (Wolf) Νal (goat), Al (sheep) νal (cabbage)
or ¬al (farmer), ¬al (ship), ¬al (Wolf), AL (goat), ¬al (cabbage)
Action: Delete::¬al (farmer); ¬al (ship)
Add:al (farmer); AL (ship)
R-l (sheep)
Conditions: ¬al (farmer), ¬al (ship), ¬al (goat), AL (cabbage), ¬al (Wolf)
Action: Delete:¬al (farmer); ¬al (boat); ¬al (goat)
Add:al (farmer); Al (ship); Al (Goat)
③ Problem Solving Process:
AL (Farmer) |
L-r (Goat) → |
AL (Wolf) |
R-l → |
AL (Farmer) |
L-r (Wolf) → |
AL (cabbage) |
R-l (Goat) → |
AL (cabbage) |
L-r (cabbage) → |
AL (Goat) |
r-l → |
AL (ship) |
L-r (sheep) → |
¬al (Farmer) |
  al (ship) |
  al (cabbage) |
  al (ship) |
  ¬al (farmer) |
  al (goat) |
  ¬al (farmer) |
  al (farmer) |
  ¬al (ship) |
  al (Wolf) |
  ¬al (farmer) |
  al (Wolf) |
  ¬al (ship) |
  al (ship) |
  ¬al (ship) |
  al (goat) |
  ¬al (Wolf) |
  al (goat) |
  ¬al (ship) |
  al (cabbage) |
  ¬al (Wolf) |
  al (farmer) |
  ¬al (cabbage) |
  ¬al (Wolf) |
  ¬al (goat) |
AL (cabbage) |
¬al (Goat) |
¬al (Goat) |
¬al (Goat) |
¬al (Wolf) |
¬al (Wolf) |
¬al (cabbage) |
¬al (cabbage) |
2.16 write out their semantic networks for each of the following propositions:
(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 Blue team and ended with a 3:2 score.
Solution:
2.17 Please represent the following propositions in a semantic network:
(1) Trees and grasses are plants;
(2) There are leaves and roots in both the tree and the grass;
(3) Weeds are grass, and grow in water;
(4) fruit trees are trees and will result;
(5) Pear tree is a kind of fruit tree, it will knot pear.
Total Semantic Network:
13 This AI second assignment