A Planning Aid: An Intelligent Modeling System for Planning Problems Based on Constraint Satisfaction

Authors:
S. Raghunathan
Affiliations:
-
Venue:
IEEE Transactions on Knowledge and Data Engineering
Year:
1992

Citing 15
Cited 1

An assumption-based TMS

Artificial Intelligence
Problem solving with the ATMS

Artificial Intelligence
Principles of artificial intelligence

Principles of artificial intelligence
VT: an expert elevator designer that uses K-B backtracking

AI Magazine
A quantitative approach to logical inference

Decision Support Systems
SALT: a knowledge acquisition language for propose-and-revise systems

Artificial Intelligence
Motivating the Notion of generic design within information-processing theory: the design problem space

AI Magazine
Rule-based versus structure-based models for explaining and generating expert behavior

Communications of the ACM
Linear programming 1: introduction

Linear programming 1: introduction
Preliminary report on a system for general space planning

Communications of the ACM
Knowledge-Based Decision Support in Business: Issues and a Solution

IEEE Expert: Intelligent Systems and Their Applications
Dynamic Programming

Dynamic Programming
An artificial intelligence approach to the formulation and maintenance of models

An artificial intelligence approach to the formulation and maintenance of models
Human Problem Solving

Human Problem Solving
Lisp machine manual

Lisp machine manual

Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation

Fuzzy Sets and Systems - Theme: Multicriteria decision

Quantified Score

Hi-index	0.00

Visualization

Abstract

Constraint satisfaction problems have been extensively studied by researchers in both the operations research (OR) and artificial intelligence (AI) areas. The research aimed at integrating the two approaches so that some of their limitations can be removed is described. Specifically, a knowledge-based system that formulates and maintains OR models for manufacturing planning purposes is presented. Domain-specific knowledge allows synthesis of various qualitative relationships into mathematical relationships and its identification of various dependencies between symbolic and mathematical models. The modeler component engages in a search process to identify the simplest model that can be formulated. A truth maintenance system, specifically designed to support modeling for planning, allows the user to explore various scenarios to arrive at an appropriate plan. Preliminary experiments indicate that human planners are able to formulate models that are equivalent to those formulated by experienced OR modelers for various planning problems.