www-ai.cs.tu-dortmund.de/PublicPublicationFiles/scholz_2001a.pdf
diplomarbeit.dvi
Time, Obj1, Mode1, Obj2, Mode2) ^ therapy_hierarchy(Obj1, Mode1, Priority1) ^ therapy_hierarchy(Obj2, Mode2, Priority2) ^ Priority1 < Priority2 ^ therapy(Patient, Time, Obj2, Mode2)
! reject_therapy(Patient [...] ng
p a O 2 = F i O 2
> 30 0 m m H g
B ea tm un gs dr üc ke ni ed ri g
A te m ze it ve rh äl tn is < 1 : 2
p a O 2 , p a C O 2 , pH
B ea tm un gs dr üc ke
A te m zu gv ol um en
F i O 2
A te m ze [...] eingebaute Prädikate möglich. Dabei steht ne/2 für ungleich und eq/2 für gleich8. Für numerische Vergleiche stehen weiterhin lt/2 und le/2 für < und , sowie gt/2 und ge/2 für > und zur Verfügung. Wiederum motiviert …