Глава 19. 19.3. Количество выработанных гипотез равно 373179, а количество уточненных гипотез -66518

19.2. Семь этапов.

19.3. Количество выработанных гипотез равно 373179, а количество уточненных гипотез -66518.

19.4. Гипотеза {Со, Ci) является более общей, чем (с0, С;). Предложение Ci не обеспечивает тэт а-классификацию предложения са.

Глава 20

20.1.qmult ( роз, рсЕ, posi.

qrault( pos, zero, zero) . qmult( pos, neg, neg) .

20.2. resistor! pos, pos) .

resistor! zero, zero) , resistor! neg, neg) . diode( zero, pos) . diode! zero, zero) . diode! neg, zero) .

20.3. а) Первое состояние: X - zero/inc, у = гего/inc

Решения к отдельным упражнениям

Второе состояние: Третье состояние:

X =

X =

X «

x =

zero..inf/inc, zero..inf/std, zero..inf/std, zero..inf/inc,

Y =

Y ™

Y =

Y =

zero..inf/inc zero..inf/inc или zero..inf/std или zero..inf/std

б) Ответ совпадает с ответом к упражнению а) , за исключением того, что третьим состоянием может Сыть только следующее: X = zero..inf/std, Y = zero..inf/std

При	T™tO:	X	-
При	T=tl:	X	=
			=
При	T=t2:	X	-
		Z	=
		X	=
		S	=
		X	—

20.4. При T™tO:X я zero/inc, Y = zero/inc, Z - zero/inc

zero..inf/inc, Y = zero..inf/inc,

zero..landz/inc

zero.-inf/inc, V = zero..inf/inc, landz/inc или

zero..inf/std, Y = zero..inf/std, zero..landz/std или zero. . inf/stci, Y = zero.. inf/std, Z = landz/std Примечание. Эти результаты могут Оыть также получены с помощью программы машинного моделирования, приведенной в листинге 20.2, и следующей модели, которая соответствует данному упражнению: landmarks [ х, [niinf, zero, inf ]) . landmarks! У, [minf,zero,inf]). landmarks[ z, [minf,zero,landz,inf]). correspond! x:zero, y:zero). iegalstatel fX,Y,Z]) :-mplus(x, Y}, sum( X, Y, Z) . initial[ [x:zero/inc, y:Y0, z :Z0]). Необходимый для этого запрос приведен ниже. ?- initial(S) , simulate (S, Beh., 3) .

20.5. I Модель сообщающихся сосудов

* Здесь levAO и levBO - начальные уровни в контейнерах А i и В, fABO - начальный поток из А Б В, fBAO начальный % поток из В в А

landmarks! level, [ zero, levBO, levAO, inf]).landmarks[ leveldiff, [minf, zero, inf]). landmarks( flow, [minf, Е8Д0,zero, fABO, inf]) . correspond( leveldiff:zero, flow:zero). correspond( flow:fABO, flow:fBAO, flow:zero). legalstate( [ LevA, LevB, FlOwAB, FlowBAJ) :-

derivf LevA, FlowBA),

deriv( LevB, FlowAB),

stm( FlowAB, FlowEA, flow:zero/std) , % ПоыВА = -FlowAB

DiffAB = leveldiff:_,

sum{ LevB, DiffAB, LevA] , % DiffAB = LevA - LevB

mplus( DiffAB, FlowABt. initial( [ level:levA0/dec, level:levB0/inc, flow:fABO/dec, flow:fBAO/inc]> .

20.7, legal_trans[ Statel, State2) :-

system_trans( Statel, State2),

Statel \== State2, % Качественно иное следующее состояние not (point_state{ Statel), % He допускается, чтобы

% мгновенными были point_state( Stated)), ? и состояние Statel,

% и состояние St.5ito2 legalstate{ State2). % Допустимое в соответствии с моделью point_state[ State) :-

member! _:Qmag/Dir, State) ,

not (Qmag = _-•_), % Qmag - это отметка, а не интервал

Dir \== std. % Направление Dir отлично от устойчивого

Решения к отдельным упражнениям