The mental state of agents is described formally in an extension of standard epistemic logics: beside temporalizing the knowledge and belief operators, AOP introduces operators for obligation, decision, and capability.
More attention also needs to be paid to the conceptual and empirical relationships between the person-al capabilities and health, and to the scope of health service obligations and capacity to support both.
I came to the conclusion in 2004 based on numbers and capability that the only way we could meet our obligations under the Kyoto protocol was a massive switch to nuclear power.
Liability prevention is increasingly a professional obligation and a personal responsibility of engineering specialists.
(See the entries on political obligation and legal obligation).
We need also obligation and divine sanction.
The intuitive meaning of each member of (mathcal{T}_{d}) is (bot )(unknown), (alpha )(fact), (beta )(obligation), (gamma )(non-obligation), (*_1)(fact and obligation), (*_2)(obligation and non-obligation) and (*_3)(fact and non-obligation), (top )(inconsistency).
In the usage control literature, two different types of obligation are generally considered called system obligation and user obligation [3].
The majority did not take a firm position on the legal obligation question often blurring the line between moral obligation, legal obligation and the concept of solidarity.
It is then just natural to think on combining simple modal logics for knowledge, belief, obligation, capability, opportunity, etc., so as to define more robust BDI logics.
* All functionality, features, specifications, and other product information provided in this document including, but not limited to, the benefits, design, pricing, components, performance, availability, and capabilities of the product are subject to change without notice or obligation.
