scholarly journals A Hybrid APM-CPGSO Approach for Constraint Satisfaction Problem Solving: Application to Remote Sensing

2021 ◽  
Vol 192 ◽  
pp. 3403-3412
Author(s):  
Zouhayra Ayadi ◽  
Wadii Boulila ◽  
Imed Riadh Farah
Keyword(s):  
Remote Sensing ◽  
Problem Solving ◽  
Constraint Satisfaction ◽  
Constraint Satisfaction Problem

scholarly journals A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning

2010 ◽  
Vol 39 ◽  
pp. 373-427 ◽  
Author(s):  
B. Banerjee ◽  
B. Chandrasekaran
Keyword(s):  
Problem Solving ◽  
Polynomial Time ◽  
Constraint Satisfaction ◽  
Complexity Analysis ◽  
Constraint Satisfaction Problem ◽  
Diagrammatic Reasoning ◽  
General Purpose ◽  
Spatial Problem ◽  
General Architecture ◽  
Spatial Problems

Diagrammatic reasoning (DR) is pervasive in human problem solving as a powerful adjunct to symbolic reasoning based on language-like representations. The research reported in this paper is a contribution to building a general purpose DR system as an extension to a SOAR-like problem solving architecture. The work is in a framework in which DR is modeled as a process where subtasks are solved, as appropriate, either by inference from symbolic representations or by interaction with a diagram, i.e., perceiving specified information from a diagram or modifying/creating objects in a diagram in specified ways according to problem solving needs. The perceptions and actions in most DR systems built so far are hand-coded for the specific application, even when the rest of the system is built using the general architecture. The absence of a general framework for executing perceptions/actions poses as a major hindrance to using them opportunistically -- the essence of open-ended search in problem solving. Our goal is to develop a framework for executing a wide variety of specified perceptions and actions across tasks/domains without human intervention. We observe that the domain/task-specific visual perceptions/actions can be transformed into domain/task-independent spatial problems. We specify a spatial problem as a quantified constraint satisfaction problem in the real domain using an open-ended vocabulary of properties, relations and actions involving three kinds of diagrammatic objects -- points, curves, regions. Solving a spatial problem from this specification requires computing the equivalent simplified quantifier-free expression, the complexity of which is inherently doubly exponential. We represent objects as configuration of simple elements to facilitate decomposition of complex problems into simpler and similar subproblems. We show that, if the symbolic solution to a subproblem can be expressed concisely, quantifiers can be eliminated from spatial problems in low-order polynomial time using similar previously solved subproblems. This requires determining the similarity of two problems, the existence of a mapping between them computable in polynomial time, and designing a memory for storing previously solved problems so as to facilitate search. The efficacy of the idea is shown by time complexity analysis. We demonstrate the proposed approach by executing perceptions and actions involved in DR tasks in two army applications.

scholarly journals Cooperative Problem Solving against Adversary: Quantified Distributed Constraint Satisfaction Problem

2011 ◽  
Vol 26 ◽  
pp. 136-146
Author(s):  
Satomi Baba ◽  
Atsushi Iwasaki ◽  
Makoto Yokoo ◽  
Marius C. Silaghi ◽  
Katsutoshi Hirayama ◽  
...  
Keyword(s):  
Problem Solving ◽  
Constraint Satisfaction ◽  
Constraint Satisfaction Problem ◽  
Cooperative Problem Solving ◽  
Distributed Constraint Satisfaction
Sign in / Sign up

Export Citation Format

Share Document