A theory of diagnosis from first principles
Artificial Intelligence
A correction to the algorithm in Reiter's theory of diagnosis
Artificial Intelligence
What's in SD?: Towards a theory of modeling for diagnosis
Readings in model-based diagnosis
Model-based diagnosis of hardware designs
Artificial Intelligence
Diagnosing tree-structured systems
Artificial Intelligence
On the relationship between model-based debugging and program slicing
Artificial Intelligence
Algorithmic Program DeBugging
Configuring Large Systems Using Generative Constraint Satisfaction
IEEE Intelligent Systems
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
REVISE: Logic Programming and Diagnosis
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Debugging by Diagnosing Assumptions
AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging
Hierarchical Diagnosis of Large Configurator Knowledge Bases
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Conceptual modelling for configuration: A description logic-based approach
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Towards a general ontology of configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A classification and constraint-based framework for configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Diagnosing tree-decomposable circuits
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Intelligent Support for Interactive Configuration of Mass-Customized Products
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Debugging user interface descriptions of knowledge-based recommender applications
Proceedings of the 11th international conference on Intelligent user interfaces
Constraint-based livespaces configuration management
Proceedings of the 11th international conference on Intelligent user interfaces
Model-Based Debugging -- State of the Art And Future Challenges
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated Fault Localization for C Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
An Integrated Environment for the Development of Knowledge-Based Recommender Applications
International Journal of Electronic Commerce
Reducing development and maintenance efforts for web-based recommender applications
International Journal of Web Engineering and Technology
A method of rule match conflict resolution for product configuration in manufacturing
International Journal of Computer Integrated Manufacturing
Constraint capture and maintenance in engineering design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Knowledge-Based Recommendation: Technologies and Experiences from Projects
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Automated debugging of recommender user interface descriptions
Applied Intelligence
Utility-Based Repair of Inconsistent Requirements
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
Knowledge-based interactive selling of financial services with FSAdvisor
IAAI'05 Proceedings of the 17th conference on Innovative applications of artificial intelligence - Volume 3
The VITA financial services sales support environment
IAAI'07 Proceedings of the 19th national conference on Innovative applications of artificial intelligence - Volume 2
Personalized query relaxations and repairs in knowledge-based recommendation
Proceedings of the third ACM conference on Recommender systems
Plausible repairs for inconsistent requirements
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Consumer Decision Making in Knowledge-Based Recommendation
AMT '09 Proceedings of the 5th International Conference on Active Media Technology
Personalized user interfaces for product configuration
Proceedings of the 15th international conference on Intelligent user interfaces
Efficient Explanations for Inconsistent Constraint Sets
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A conceptual modeling approach for web service composition supporting service re-configuration
APCCM '10 Proceedings of the Seventh Asia-Pacific Conference on Conceptual Modelling - Volume 110
FastXplain: conflict detection for constraint-based recommendation problems
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
Exception handling in web service processes
The evolution of conceptual modeling
Consumer decision making in knowledge-based recommendation
Journal of Intelligent Information Systems
A general diagnosis method for ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Conflict-directed relaxation of constraints in content-based recommender systems
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Diagnosing faulty transitions in recommender user interface descriptions
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
An efficient diagnosis algorithm for inconsistent constraint sets
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Automated error localization and correction for imperative programs
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
Interactive ontology debugging: Two query strategies for efficient fault localization
Web Semantics: Science, Services and Agents on the World Wide Web
ReAction: personalized minimal repair adaptations for customer requests
FQAS'11 Proceedings of the 9th international conference on Flexible Query Answering Systems
Definition and evaluation of product configurator development strategies
Computers in Industry
A constraint satisfaction approach to resolving product configuration conflicts
Advanced Engineering Informatics
Generating range fixes for software configuration
Proceedings of the 34th International Conference on Software Engineering
Personalized diagnoses for inconsistent user requirements
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Personalized diagnosis for over-constrained problems
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
On classification and modeling issues in distributed model-based diagnosis
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
Hi-index | 0.00 |
Configuration problems are a thriving application area for declarative knowledge representation that currently experiences a constant increase in size and complexity of knowledge bases. Automated support of the debugging process of such knowledge bases is a necessary prerequisite for effective development of configurators. We show that this task can be achieved by consistency-based diagnosis techniques. Based on the formal definition of consistency-based configuration we develop a framework suitable for diagnosing configuration knowledge bases. During the test phase of configurators, valid and invalid examples are used to test the correctness of the system. In case such examples lead to unintended results, debugging of the knowledge base is initiated. Starting from a clear definition of diagnosis in the configuration domain we develop an algorithm based on conflicts. Our framework is general enough for its adaptation to diagnosing customer requirements to identify unachievable conditions during configuration sessions.A prototype implementation using commercial constraint-based configurator libraries shows the feasibility of diagnosis within the tight time bounds of interactive debugging sessions. Finally, we discuss the usefulness of the outcomes of the diagnostic process in different scenarios.