An integrated system for ought-to-be and ought-to-do constraints (extended abstract)

P. d'Altan; J.-J.Ch. Meyer; R.J. Wieringa

An integrated system for ought-to-be and ought-to-do constraints (extended abstract)

P. d'Altan
, J.-J.Ch. Meyer
, R.J. Wieringa

Research output: Contribution to conference › Paper › peer-review

26 Downloads (Pure)

Abstract

We show that the distinction between ought to do and ought to be is relevant for at least some kinds of system specification and that, maintaining a certain degree of generality, it is possible to express both kinds of norms in one system without reducing one of them to the other or even assuming the existence of specific relations between them. We also show that by increasing the expressive power of the language by flagging violation atoms, we have to state relations connecting the violation of static constraints with that of dynamic ones.

Original language	English
Pages	48-57
Number of pages	10
Publication status	Published - Mar 1993
Externally published	Yes
Event	1993 AAAI Spring Symposium on Reasoning About Mental States - Formal Theories and Applications - Stanford University, Stanford, United States Duration: 23 Mar 1993 → 25 Mar 1993

Conference

Conference	1993 AAAI Spring Symposium on Reasoning About Mental States - Formal Theories and Applications
Country/Territory	United States
City	Stanford
Period	23/03/93 → 25/03/93

Keywords

SCS-Services

Access to Document

dAltan1993integratedFinal published version, 704 KB

http://www.aaai.org/Library/Symposia/Spring/1993/ss93-05-006.php

Cite this

@conference{236b249163aa40639a2cbd1565d62ed1,

title = "An integrated system for ought-to-be and ought-to-do constraints (extended abstract)",

abstract = "We show that the distinction between ought to do and ought to be is relevant for at least some kinds of system specification and that, maintaining a certain degree of generality, it is possible to express both kinds of norms in one system without reducing one of them to the other or even assuming the existence of specific relations between them. We also show that by increasing the expressive power of the language by flagging violation atoms, we have to state relations connecting the violation of static constraints with that of dynamic ones.",

keywords = "SCS-Services",

author = "P. d'Altan and J.-J.Ch. Meyer and R.J. Wieringa",

year = "1993",

month = mar,

language = "English",

pages = "48--57",

note = "1993 AAAI Spring Symposium on Reasoning About Mental States - Formal Theories and Applications ; Conference date: 23-03-1993 Through 25-03-1993",

}

d'Altan, P, Meyer, J-JC & Wieringa, RJ 1993, 'An integrated system for ought-to-be and ought-to-do constraints (extended abstract)', Paper presented at 1993 AAAI Spring Symposium on Reasoning About Mental States - Formal Theories and Applications, Stanford, United States, 23/03/93 - 25/03/93 pp. 48-57. <http://www.aaai.org/Library/Symposia/Spring/1993/ss93-05-006.php>

TY - CONF

T1 - An integrated system for ought-to-be and ought-to-do constraints (extended abstract)

AU - d'Altan, P.

AU - Meyer, J.-J.Ch.

AU - Wieringa, R.J.

PY - 1993/3

Y1 - 1993/3

N2 - We show that the distinction between ought to do and ought to be is relevant for at least some kinds of system specification and that, maintaining a certain degree of generality, it is possible to express both kinds of norms in one system without reducing one of them to the other or even assuming the existence of specific relations between them. We also show that by increasing the expressive power of the language by flagging violation atoms, we have to state relations connecting the violation of static constraints with that of dynamic ones.

AB - We show that the distinction between ought to do and ought to be is relevant for at least some kinds of system specification and that, maintaining a certain degree of generality, it is possible to express both kinds of norms in one system without reducing one of them to the other or even assuming the existence of specific relations between them. We also show that by increasing the expressive power of the language by flagging violation atoms, we have to state relations connecting the violation of static constraints with that of dynamic ones.

KW - SCS-Services

M3 - Paper

SP - 48

EP - 57

T2 - 1993 AAAI Spring Symposium on Reasoning About Mental States - Formal Theories and Applications

Y2 - 23 March 1993 through 25 March 1993

ER -

An integrated system for ought-to-be and ought-to-do constraints (extended abstract)

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this