Ai Second Job

2.9 With the following statements, please use the corresponding predicate formula to separate them out:

(1) Some people like plum blossom, some people like Chrysanthemum, some people both like plum blossom and like chrysanthemum.

Solution: Defining predicates

P (x): X is Human

L (x, y): x likes y

Where Y's individual domain 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: Defining predicates

P (x): X is Human

B (x): X Play Basketball

A (Y): Y is afternoon

The knowledge is represented by a predicate as:

(∃x) (∀y) (A (Y) →b (x) ∧p (x))

(3) The new type of computer is fast and the storage capacity is large.

Solution: Defining predicates

NC (x): X is a new type of computer

F (x): Fast x speed

B (x): Large x capacity

The knowledge is represented by a predicate as:

(∀x) (NC (x) →f (x) ∧b (x))

(4) Not every computer department student likes the computer creates Macintosh program.

Solution: Defining predicates

S (x): X is a student of computer science

L (x,pragramming): x likes programming

U (x, Computer): x use computer

The knowledge is represented by a predicate as:

¬ (∀x) (S (x) →l (x,pragramming) ∧u (X,computer))

(5) Anyone who likes to program is fond of computers.

Solution: Defining predicates

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 was solved by means of predicate notation. The farmer, the wolf, the goat, the cabbage all put on the left bank of a river, now want to send them all to the right bank of the river, the farmer has a boat, when the river crosses, except the farmer outside the ship can carry the wolf, the goat, the cabbage one. A wolf eats a goat, and a goat eats cabbage unless the farmer is there. Planning a plan to ensure all the safe crossing of the river. Please write out the definition of the predicate used, and give the function of each predicate and the individual domain of the variable.

Solution: (1) First define a predicate that describes the state.

To describe the problem, you need to be able to explain where the farmer, wolf, sheep, cabbage, and boat are located, and for the simplification of the problem, cancel the ship's state of travel in the river, describing only the left and right bank states. And because the state of the Left bank and the right bank are complementary, it is possible to directly describe the state of the left bank or the right bank. The method of choosing a direct description of the left bank is to define the predicate as follows:

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)

(2) redefine the predicate that describes the operation

The following 4 verbs are required to describe an action:

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}.

For each of these operations, both the condition and the action are included. They correspond to the following 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)

(3) The problem solving process is as follows:

2.16 write out their semantic networks for the following propositions, respectively:

(1) Each student has a computer.

Solution:

(2) from March to July, Mr. Gao spoke to computer science students about "computer network" class.

Solution:

(3) the students of the workshop were male, female, graduate students and undergraduates.

Solution:

(4) The company 's manager, Liu Yang, a 32-year-old master's degree, is an innovation company at No. 56th, Hai Ke Avenue.

Solution:

(5) The red team played football with the Blues and ended with a score of 3:2.

Solution:

2.17 Please represent the following propositions 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 knot pear.

Solution:

Ai Second Job