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 conferencePaper

16 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 languageEnglish
Pages48-57
Number of pages10
Publication statusPublished - Mar 1993
Externally publishedYes
Event1993 AAAI Spring Symposium on Reasoning About Mental States - Formal Theories and Applications - Stanford University, Stanford, United States
Duration: 23 Mar 199325 Mar 1993

Conference

Conference1993 AAAI Spring Symposium on Reasoning About Mental States - Formal Theories and Applications
CountryUnited States
CityStanford
Period23/03/9325/03/93

Keywords

  • SCS-Services

Fingerprint Dive into the research topics of 'An integrated system for ought-to-be and ought-to-do constraints (extended abstract)'. Together they form a unique fingerprint.

  • Cite this

    d'Altan, P., Meyer, J-JC., & Wieringa, R. J. (1993). An integrated system for ought-to-be and ought-to-do constraints (extended abstract). 48-57. Paper presented at 1993 AAAI Spring Symposium on Reasoning About Mental States - Formal Theories and Applications, Stanford, United States.