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

可轉(zhuǎn)變

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

安撫