Titlebook: Deontic Logic and Artificial Normative Systems; 8th International Wo Lou Goble,John-Jules Ch. Meyer Conference proceedings 2006 Springer-Ve

可转变

FOIL

Minikin

On the Normative Aspect of Signalling Conventionsce of the normative modality in understanding a closely related issue: reasoning about trust in communication scenarios; this, in turn, facilitates a clear formal articulation of the role of a . in trade communication.

符合国情

Reverie

A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategiesle strategies, and that (iii) trustworthiness can be spelled out in terms of strategies: An agent is living up to a given commitment, and thus, is trustworthy with respect to that commitment, if her strategy is at least as stringent as required. Overall trustworthiness of an agent can be defined by averaging over such single case assessments.

山顶可休息

inspiration

cortex

Counts-as: Classification or Constitution? An Answer Using Modal LogicBy making use of modal logic techniques, the paper disentangles two semantically different readings of statements of the type X counts as Y in context C (the classificatory and the constitutive readings) showing that, in fact, ‘counts-as is said in many ways’.

GULF

Deontic Logic and Artificial Normative Systems978-3-540-35843-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

安抚