Multiagent Systems

Prof. Dr. Jürgen Dix · Department of Informatics, TUC Multiagent Systems, WS 06/07 139/731
2. Basic Architectures 3. AOP
Capabilities:
1. Issue boarding pass (bp) exactly one hour before departure.
IF (B (time -1h present(pass)) ∧
B (time flight(?from, ?to, flightnum)))
DO (time -1h physical_issue_bp(pass, flightnum, time) )
We define this statement as a macro
issue_bp(pass, flight_num, time).
2. Keep track of the remaining seats.
DO
(?time (update_rem_seats(?time1, ?flightnum, ?add_seats))
B
(?time
(rem_seats(?time1, ?flight_num, ?curr_seats))
∧
?curr_seats ≥ ?add_seats )