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 отлично от устойчивого
Решения к отдельным упражнениям
