1. Chapter 3 Deductive Reasoning Agents
CSE 431 – Intelligent Agents

2. AGENT0 A commitment rule: :commit-rules ‘(
( ( ?agent REQUEST (DO ?time ?action)
) ;; msg condition
(and (B (now (Friend ?agent))
(CAN self ?action)
(not (CMT self (DO ?time ?anyaction)))
) ;; mental condition
?agent
(DO ?time ?action) )
) ;; end of all rules

3. AGENT0

4. Concurrent MetateM
rp(ask1,ask2)[give1,give2]: ask1  give1; ask2  give2; start  (give1  give2). rc1(give1)[ask1]: start  ask1; ask1  ask1. rc2(ask1,give2)[ask2]: (ask1  ask2)  ask2.