Search
 
loader loading subjects...
cover
Deontic Relevant Logic in Knowledge-based Requirements Engineering
Jingde Cheng
97 - 102
10.3233/978-1-58603-900-4-97
Frontiers in Artificial Intelligence and Applications
Volume 180: Knowledge-Based Software Engineering
Abstract

Requirements engineering is inherently concerned with discovering and/or predicting purposes, goals, and objectives of software systems. To discover/predict, analyze, elicit, specify, and reason about various requirements of software systems, we need a right fundamental logic system to provide us with a logical validity criterion of reasoning as well as a formal representation and specification language. This short position paper briefly shows that deontic relevant logic is a hopeful candidate for the fundamental logic we need.

$35.00 / €27.50 / £22.00
Add PDF to cart