Asset Details
MbrlCatalogueTitleDetail
Do you wish to reserve the book?
Normative Requirements Operationalization with Large Language Models
by
Townsend, Bev
, Chechik, Marsha
, Ayad, Reem
, Calinescu, Radu
, Yaman, S Getir
, Cavalcanti, Ana
, Feng, Nick
, Marsso, Lina
, Bartels, Hanne
, Standen, Isobel
, Baatartogtokh, Yesugen
, Victória Oldemburgo de Mello
in
Automated reasoning
/ Consistency
/ Domain specific languages
/ Ethical standards
/ Formal method
/ Large language models
2024
Hey, we have placed the reservation for you!
By the way, why not check out events that you can attend while you pick your title.
You are currently in the queue to collect this book. You will be notified once it is your turn to collect the book.
Oops! Something went wrong.
Looks like we were not able to place the reservation. Kindly try again later.
Are you sure you want to remove the book from the shelf?
Normative Requirements Operationalization with Large Language Models
by
Townsend, Bev
, Chechik, Marsha
, Ayad, Reem
, Calinescu, Radu
, Yaman, S Getir
, Cavalcanti, Ana
, Feng, Nick
, Marsso, Lina
, Bartels, Hanne
, Standen, Isobel
, Baatartogtokh, Yesugen
, Victória Oldemburgo de Mello
in
Automated reasoning
/ Consistency
/ Domain specific languages
/ Ethical standards
/ Formal method
/ Large language models
2024
Oops! Something went wrong.
While trying to remove the title from your shelf something went wrong :( Kindly try again later!
Do you wish to request the book?
Normative Requirements Operationalization with Large Language Models
by
Townsend, Bev
, Chechik, Marsha
, Ayad, Reem
, Calinescu, Radu
, Yaman, S Getir
, Cavalcanti, Ana
, Feng, Nick
, Marsso, Lina
, Bartels, Hanne
, Standen, Isobel
, Baatartogtokh, Yesugen
, Victória Oldemburgo de Mello
in
Automated reasoning
/ Consistency
/ Domain specific languages
/ Ethical standards
/ Formal method
/ Large language models
2024
Please be aware that the book you have requested cannot be checked out. If you would like to checkout this book, you can reserve another copy
We have requested the book for you!
Your request is successful and it will be processed during the Library working hours. Please check the status of your request in My Requests.
Oops! Something went wrong.
Looks like we were not able to place your request. Kindly try again later.
Normative Requirements Operationalization with Large Language Models
Paper
Normative Requirements Operationalization with Large Language Models
2024
Request Book From Autostore
and Choose the Collection Method
Overview
Normative non-functional requirements specify constraints that a system must observe in order to avoid violations of social, legal, ethical, empathetic, and cultural norms. As these requirements are typically defined by non-technical system stakeholders with different expertise and priorities (ethicists, lawyers, social scientists, etc.), ensuring their well-formedness and consistency is very challenging. Recent research has tackled this challenge using a domain-specific language to specify normative requirements as rules whose consistency can then be analysed with formal methods. In this paper, we propose a complementary approach that uses Large Language Models to extract semantic relationships between abstract representations of system capabilities. These relations, which are often assumed implicitly by non-technical stakeholders (e.g., based on common sense or domain knowledge), are then used to enrich the automated reasoning techniques for eliciting and analyzing the consistency of normative requirements. We show the effectiveness of our approach to normative requirements elicitation and operationalization through a range of real-world case studies.
Publisher
Cornell University Library, arXiv.org
This website uses cookies to ensure you get the best experience on our website.