40 likes | 65 Vues
Explore the use of commitment rules in deductive reasoning for intelligent agents in the field of artificial intelligence. Learn how agents make decisions and take actions based on mental conditions and concurrent metateM rules.
E N D
Chapter 3Deductive Reasoning Agents CSE 431 – Intelligent Agents
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
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.