Reasoning with Goal Models

  title={Reasoning with Goal Models},
  author={Paolo Giorgini and John Mylopoulos and Eleonora Nicchiarelli and Roberto Sebastiani},
Over the past decade, goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. Such models extend traditional AI planning techniques for representing goals by allowing for partially defined and possibly inconsistent goals. This paper presents a formal framework for reasoning with such goal models. In particular, the paper proposes a qualitative and a numerical axiomatization for goal modeling primitives and introduces… Expand
Goal Representation and Reasoning based on Description Logics(DLs)
Over the past decades, goal models have been used in Computer Science in order to represent business objective, design qualities and desirable states. The main merit of goal-driven systems is thatExpand
Simple and Minimum-Cost Satisfiability for Goal Models
A technique and an implemented tool are proposed for addressing two much more challenging problems: to find an initial assignment of labels to leaf goals which satisfies a desired final status of root goals by upward value propagation, while respecting some given constraints. Expand
Applying knowledge representation and reasoning to (simple) goal models
The manner in which AI KR&R research provides off-the-shelf algorithms that can be used to solve these tasks is considered, and representations are compared by reporting known worst-case complexity results for the reasoning, as well as other criteria such as size/understandability of axiomatization, and ease of extension of modeling language. Expand
Formal reasoning for analyzing goal models that evolve over time
This article formalizes the Evolving Intentions framework for specifying, modeling, and reasoning about goals that change over time using the Tropos language, and uses path-based analysis for asking a variety of “what if” questions about such changes. Expand
Quantitative Reasoning of Goal Satisfaction in the i*Framework
The aim of this paper is to present a quantitative goal reasoning for i* goal model that was validated with case studies from existing literature and offers a guide in the decision process. Expand
Runtime Goal Models
This paper argues that existing proposals for using goal models at runtime are using design artifacts for purposes they were not intended, i.e., for reasoning about runtime system behavior. Expand
Refining Goal Models by Evaluating System Behaviour
This paper shows how to use an Agent-Oriented framework to develop a system following an iterative process, where the system execution allows enriching the systemspecification given in terms of goal models. Expand
Goal-oriented requirements analysis and reasoning in the Tropos methodology
This paper adopts a formal goal model defined and analyzed in (J.Tropos), to make the goal analysis process concrete through the use of forward and backward reasoning for goal models. Expand
Goal Modeling and Reasoning in Tropos
A qualitative model for goals is introduced, which – among other things -can cope with qualitative relationships and inconsistencies among goals, and an axiomatization of the model is presented and sound and complete algorithms for forward and backward reasoning are proposed. Expand
Runtime goal models: Keynote
This paper argues that existing proposals for using goal models at runtime are using design artifacts for purposes they were not intended, i.e., for reasoning about runtime system behavior, and proposes a syntactic structure for RGMs, a method for deriving them from DGMs, and runtime algorithms that support their monitoring. Expand


Goal-Directed Requirements Acquisition
An approach to requirements acquisition is presented which is driven by higher-level concepts that are currently not supported by existing formal specification languages, such as goals to be achieved, agents to be assigned, alternatives to be negotiated, etc. Expand
Semantic models for knowledge management
A set of modeling constructs for representing goals, events and actors that are relevant to the work of analysts are presented and a qualitative goal analysis procedure is described which makes it possible to reason about a goal model under different assumptions. Expand
Calculating Criticalities
A novel method for building Abstrips style abstraction hierarchies in planning to minimize search by limiting backtracking both between abstraction levels and within an abstraction level is presented. Expand
GPS, a program that simulates human thought
This work shows that the techniques that have emerged for constructing sophisticated problem-solving programs also provide us with new, strong tools for constructing theories of human thinking that finally reveal with great clarity that the free behavior of a reasonably intelligent human can be understood as the product of a complex but finite and determinate set of laws. Expand
Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub.
This book is not a survey on theorem proving programs, but the description of a program developed from 1960 to 1965, and includes three chapters that deal with resolution-based theorem-proving in the predicate calculus and its applications to problem solving. Expand
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
A comprehensive framework for representing and using nonfunctional requirements during the development process is proposed and evidence for the power of the framework is provided through the study of accuracy and performance requirements for information systems. Expand
A mathematical theory of evidence
This book develops an alternative to the additive set functions and the rule of conditioning of the Bayesian theory: set functions that need only be what Choquet called "monotone of order of infinity." and Dempster's rule for combining such set functions. Expand
Problem-solving methods in artificial intelligence
  • N. Nilsson
  • Computer Science
  • McGraw-Hill computer science series
  • 1971
This paper will concern you to try reading problem solving methods in artificial intelligence as one of the reading material to finish quickly. Expand
Giorgini Basi di Dati e Sistemi Informativi II Reasoning with goal models --23 Qualitative approach: example ©
  • Giorgini Basi di Dati e Sistemi Informativi II Reasoning with goal
  • 2003
mantic Models for Knowledge Management