Dignum, F., J.-J. Meyer, R. Wieringa, and R. Kuiper: 1996, "`A modal approach to intentions, commitments and obligations: intention plus commitment yields obligation"'. In: M. Brown and J. Carmo (eds.): Deontic Logic, Agency, and Normative Systems: The 3rd International Workshop on Deontic Logic in Computer Science. pp. 80--97.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....as a long.tex; 6 10 1999; 10:37; p.18 A Logical Analysis of Relationship . 19 w# in # 0 ) and the resultant expression represents an act. While the logic in (van Linder et al. 1995b) belongs to the second category, there are also some alternative formalisms in the same category. For example, in (Dignum et al. 1996; Dignum and van Linder, 1996) an integrated semantics for di#erent mental attitudes are developed. In those papers, an expression of the form COMMIT (#) is a metaact if # is an act. The principle commitment entails obligations also hold in those logics. However, their logics are based on ....

....entails obligations also hold in those logics. However, their logics are based on deontic instead of preference semantics, so the e#ect of COMMIT (#) is to update the set of ideal worlds. This kind of semantics, as argued above, would not allow committing to conflicting actions, so according to (Dignum et al. 1996)(p.92) if COMMIT (#) would bring us into a structure in which some world has no ideal successor, it is defined to be equivalent to fail (denoted by # in PD e L) For commitment to act, it seems reasonable that commitment to conflicting actions simultaneously is not expectable, however, ....

[Article contains additional citation context not shown here]

Dignum, F., J.-J. Meyer, R. Wieringa, and R. Kuiper: 1996, "`A modal approach to intentions, commitments and obligations: intention plus commitment yields obligation"'. In: M. Brown and J. Carmo (eds.): Deontic Logic, Agency, and Normative Systems: The 3rd International Workshop on Deontic Logic in Computer Science. pp. 80--97.

.... and [Weigand et al. 1996] Communication aspects have been described in [Weigand, 1990] Weigand, 1993] Dignum and Weigand, 1995a] Dignum and Weigand, 1995b] and [Weigand et al. 1995] Semantics and multimodal logics have been described in [Wieringa et al. 1989] Weigand et al. 1995] [Dignum et al. 1996a] and [Dignum et al. 1996b] while modelling methods for modelling ICS s based on linguistics were described in [Verharen et al. 1994] Verharen and Weigand, 1994] and [Burg and vdRiet, 1995] In this paper, we introduce a framework for CIA s that integrates much of our previous work. Our ....

.... Communication aspects have been described in [Weigand, 1990] Weigand, 1993] Dignum and Weigand, 1995a] Dignum and Weigand, 1995b] and [Weigand et al. 1995] Semantics and multimodal logics have been described in [Wieringa et al. 1989] Weigand et al. 1995] Dignum et al. 1996a] and [Dignum et al. 1996b] while modelling methods for modelling ICS s based on linguistics were described in [Verharen et al. 1994] Verharen and Weigand, 1994] and [Burg and vdRiet, 1995] In this paper, we introduce a framework for CIA s that integrates much of our previous work. Our starting point remains the ....

. F. Dignum, J.-J.Ch. Meyer, R. Wieringa and R. Kuiper, "A Modal approach to intentions commitments and obligations: Intention plus commitment yields obligation", in: Deontic Logic, Agency and Normative Systems, M. Brown and J. Carmo (eds.), SpringerVerlag, Berlin, pp. 80-97, 1996.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC