[go: up one dir, main page]

SE0002335L - Method of interactive configuration - Google Patents

Method of interactive configuration

Info

Publication number
SE0002335L
SE0002335L SE0002335A SE0002335A SE0002335L SE 0002335 L SE0002335 L SE 0002335L SE 0002335 A SE0002335 A SE 0002335A SE 0002335 A SE0002335 A SE 0002335A SE 0002335 L SE0002335 L SE 0002335L
Authority
SE
Sweden
Prior art keywords
user
choices
subset
earlier
item
Prior art date
Application number
SE0002335A
Other languages
Unknown language ( )
Swedish (sv)
Other versions
SE0002335D0 (en
SE520367C2 (en
Inventor
Andreas Johansson
Johan Maartensson
Claes Strannegaard
Original Assignee
Safelogic Ab
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Safelogic Ab filed Critical Safelogic Ab
Priority to SE0002335A priority Critical patent/SE520367C2/en
Publication of SE0002335D0 publication Critical patent/SE0002335D0/en
Priority to PCT/SE2001/001391 priority patent/WO2001098896A1/en
Priority to AU2001266471A priority patent/AU2001266471A1/en
Publication of SE0002335L publication Critical patent/SE0002335L/en
Publication of SE520367C2 publication Critical patent/SE520367C2/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/445—Program loading or initiating
    • G06F9/44505—Configuring for program initiating, e.g. using registry, configuration files
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computing arrangements using knowledge-based models
    • G06N5/01—Dynamic search techniques; Heuristics; Dynamic trees; Branch-and-bound

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • General Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Computing Systems (AREA)
  • Evolutionary Computation (AREA)
  • Data Mining & Analysis (AREA)
  • Mathematical Physics (AREA)
  • Computational Linguistics (AREA)
  • Artificial Intelligence (AREA)
  • Input From Keyboards Or The Like (AREA)
  • User Interface Of Digital Computer (AREA)

Abstract

A method for interactive configuration, in an interactive configuration system, by which a user may configure a configurable product by successively selecting i.e. including in the configuration, various items representing product parts, such that after user actions of this kind the accessibility of further items, is determined by means of an algorithm including a boolean SAT algorithm, that ascertains the satisfiability of formulas including those of propositional logic, representing the user choices, and said further items, together with a rule base of formulas stating relations of incompatibility and dependence <i>characterized in</i> that a user when wishing to select an item that is inaccessible due to earlier user choices is provided with a possibility of having a minimal number of earlier choices undone so as to retain a maximal subset of earlier choices compatible with the rule base and said inaccessible item, said undoing being in accordance with the user's relative preferences with regard to said earlier choices, by performing the following steps: (a) assigning an order of priority to the user's earlier choices, then (b) determining a maximal subset of earlier user choices with higher priority than all choices not included in said subset, said subset being compatible with the rule base and said inaccessible item, finally c) if the user accords a higher priority to said inaccessible item than to all previous choices excluded from said subset, forming a superset of said subset of user choices, being a maximal subset of user choices compatible with the rule base and said inaccessible item, formed in accordance with user priorities.
SE0002335A 2000-06-21 2000-06-21 Method and device for interactive configuration SE520367C2 (en)

Priority Applications (3)

Application Number Priority Date Filing Date Title
SE0002335A SE520367C2 (en) 2000-06-21 2000-06-21 Method and device for interactive configuration
PCT/SE2001/001391 WO2001098896A1 (en) 2000-06-21 2001-06-19 A method for interactive configuration
AU2001266471A AU2001266471A1 (en) 2000-06-21 2001-06-19 A method for interactive configuration

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
SE0002335A SE520367C2 (en) 2000-06-21 2000-06-21 Method and device for interactive configuration

Publications (3)

Publication Number Publication Date
SE0002335D0 SE0002335D0 (en) 2000-06-21
SE0002335L true SE0002335L (en) 2001-12-22
SE520367C2 SE520367C2 (en) 2003-07-01

Family

ID=20280194

Family Applications (1)

Application Number Title Priority Date Filing Date
SE0002335A SE520367C2 (en) 2000-06-21 2000-06-21 Method and device for interactive configuration

Country Status (3)

Country Link
AU (1) AU2001266471A1 (en)
SE (1) SE520367C2 (en)
WO (1) WO2001098896A1 (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US10318703B2 (en) 2016-01-19 2019-06-11 Ford Motor Company Maximally standard automatic completion using a multi-valued decision diagram

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2005528693A (en) * 2002-05-30 2005-09-22 コーニンクレッカ　フィリップス　エレクトロニクス　エヌ　ヴィ Software application configuration on the target terminal
CN112835645B (en) * 2021-02-05 2022-09-30 杭州迪普科技股份有限公司 Rule configuration method and device

Family Cites Families (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5515524A (en) * 1993-03-29 1996-05-07 Trilogy Development Group Method and apparatus for configuring systems
DE69428426T2 (en) * 1993-09-17 2002-05-29 Bull S.A., Louveciennes AUTOMATIC PROOF PROCESS
US6272390B1 (en) * 1997-09-09 2001-08-07 Beologic A/S Method for interactive configuration and computer readable medium encoded with a program for performing said method
US6223170B1 (en) * 1997-09-09 2001-04-24 Baan Development B.V. Method and apparatus for inference of partial knowledge in interactive configuration
US5963953A (en) * 1998-03-30 1999-10-05 Siebel Systems, Inc. Method, and system for product configuration

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US10318703B2 (en) 2016-01-19 2019-06-11 Ford Motor Company Maximally standard automatic completion using a multi-valued decision diagram
US10318702B2 (en) 2016-01-19 2019-06-11 Ford Motor Company Multi-valued decision diagram reversible restriction
US10318701B2 (en) 2016-01-19 2019-06-11 Ford Motor Company Resolving configuration conflicts using a multi-valued decision diagram

Also Published As

Publication number Publication date
WO2001098896A1 (en) 2001-12-27
AU2001266471A1 (en) 2002-01-02
SE0002335D0 (en) 2000-06-21
SE520367C2 (en) 2003-07-01

Similar Documents

Publication Publication Date Title
Wang et al. Generating customized layouts
CN103218719B (en) A kind of e-commerce website air navigation aid and system
CA2528887C (en) Search query categorization for business listings search
US10073860B2 (en) Generating visualizations from keyword searches of color palettes
US9792303B2 (en) Identifying data from keyword searches of color palettes and keyword trends
WO2004097569A3 (en) Search engine supplemented with url&#39;s that provide access to the search results from predefined search queries
WO2002063514A3 (en) Context-based information retrieval
US20150379003A1 (en) Identifying data from keyword searches of color palettes and color palette trends
US20150379005A1 (en) Identifying data from keyword searches of color palettes
US20150379002A1 (en) Determining color names from keyword searches of color palettes
CN102360358A (en) Keyword recommendation method and system
CN109242537A (en) Advertisement placement method, device, computer equipment and storage medium
WO2005074478A3 (en) System and method of context-specific searching in an electronic database
WO1997002534A1 (en) Method for generating multimedia presentation
Margery et al. Openmask:{Multi-Threaded| Modular} animation and simulation {Kernel| Kit}: a general introduction
SE0002335L (en) Method of interactive configuration
WO2001088702A3 (en) Automatic generation of an optimized api
Brafman et al. A new look at the semantics and optimization methods of CP-networks
US8117592B2 (en) Code assist for multiple statement patterns
CN109559191A (en) Sales control method, apparatus, electronic equipment and the storage medium of online shopping class commodity
CN112364610A (en) Method and device for inserting building card in house source article and computing equipment
CN113126504B (en) Method and device for reminding children to eat, and household appliance
CN109725799A (en) A kind of control method that advertisement is shown, device and intelligent terminal
US20040049496A1 (en) Interactive searching system and method
Briot et al. Design of a generic and reusable scheduler for Smalltalk-80

Legal Events

Date Code Title Description
NUG Patent has lapsed