Nonmonotonic Reasoning in Design

Sham, S. H. R.

doi:10.1061/(asce)0887-3801(1993)7:1(36)

Cited by 2 publications

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Assumptions are widely used in preliminary design tasks. In traditional computational models, such as those using assumption-based truth maintenance architectures [ATMS (De Kleer, 1986)], an assumption is mainly considered to be a defeasible decision useful to initiate the search process and guide it through incomplete knowledge (Logan et al, 1992;Sham, 1993). Such use of assump-Reprint requests to: Djamila Haroud, Artificial Intelligence Laboratory (LIA), Swiss Federal Institute of Technology (EPFL), IN-Ecublens, 1015 Lausanne, Switzerland.…”

Section: Introductionmentioning

confidence: 99%

Management of conflict for preliminary engineering design tasks

Haroud

Boulanger

Gelle

et al. 1995

AIEDAM

View full text Add to dashboard Cite

Much of preliminary engineering design is a constraint-driven non-monotonic exploration process. Initial decisions are made when information is incomplete and many goals are contradictory. Such conditions are present regardless of whether one or several designers contribute to designs. This paper presents an approach for supporting decisions in situations of incomplete and conflicting knowledge. In particular, we use assumptions and conflict management to achieve efficient search in contexts where little reliable information exists. A knowledge representation, containing a semantic differentiation between two types of assumptions, is used within a computational model based on the dynamic constraint satisfaction paradigm. Conflict management strategies consist of three generic mechanisms adapted to the type of constraints involved. These strategies may be refined through consideration of variable importance, context, and design inertia.

show abstract

Section: Introductionmentioning

confidence: 99%