Deontic Relevant Logic in Knowledge-based Requirements Engineering

Authors:
Jingde Cheng
Affiliations:
Department of Information and Computer Sciences, Saitama University, Japan
Venue:
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Year:
2008

Citing 9
Cited 0

Deontic logic in computer science: normative system specification

Deontic logic in computer science: normative system specification
Use of deontic logic in the requirements engineering of composite systems

Deontic logic in computer science
The role of deontic logic in the specification of information systems

Logics for databases and information systems
Requirements engineering: a roadmap

Proceedings of the Conference on The Future of Software Engineering
KBRA: A New Paradigm for Requirements Engineering

IEEE Expert: Intelligent Systems and Their Applications
Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic

PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Research Directions in Requirements Engineering

FOSE '07 2007 Future of Software Engineering
Knowledge Representation as the Basis for Requirements Specifications

Computer
Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning

Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII

Quantified Score

Hi-index	0.00

Visualization

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.