Agent Integrity Constraints
An agent integrity constraint is a condition that the agent’s state must always satisfy.
An agent integrity constraint has the form
<code call condition> ==> <code call atom>
If the agent state satisfies the code call condition, then it must also satisfy the code call atom.
All created routes must be over 90% safe.
In(R,route:plan(Map,X1,Y1,X2,Y2)) => In(S,route:safe(R)) & S > 0.9
Everybody makes less money than their boss.
In(T1,oracle:all(‘emp’)) & in(T2,oracle:select(‘emp’,name,=,T1.boss)) => T1.sal < T2.sal
Web Accessibility