Problem-solving methods: Making assumptions for efficiency reasons

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1076, Issue , 1996, Pages 17-32

  Fensel, Dieter ^a   Straatman, Remco ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION THEORY; KNOWLEDGE ACQUISITION; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE ENGINEERING; MERGERS AND ACQUISITIONS;

DOMAIN KNOWLEDGE; DYNAMIC REASONING; PROBLEM SOLVING METHODS; REQUIRED FUNCTIONALITIES;

PROBLEM SOLVING;

EID: 84958779599     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61273-4_2     Document Type: Conference Paper

References (41)

1. J. M. Akkermans, B. Wielinga, and A. TH. Schreiber: Steps in Constructing Problem-Solving Methods. In N. Aussenac et al. (eds.): Knowledge-Acquisition for Knowledge-Based Systems, Lecture Notes in AI, no 723, Springer-Verlag, Berlin, 1993.
2. V. R. Benjamins: Problem Solving Methods for Diagnosis, PhD Thesis, University of Amsterdam, Amsterdam, The Netherlands, June 1993.
3. B. Bredeweg: Model-based diagnosis and prediction of behaviour. In [Breuker & Van de Velde, 1994], pp. 121-153.
4. J. Breuker and W. Van de Velde (eds.): The CommonKADS Library for Expertise Modelling, lOS Press, Amsterdam, The Netherlands, 1994.
5. T. Bylander: Complexity Results for Planning. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-9I), Sydney, Australia, August 1991.
6. T. Bylander and B. Chandrasekaran: Generic Tasks in Knowledge-Based Reasoning. The Right Level of Abstraction for Knowledge Acquisition. In B. Gaines et al. (eds.): Knowledge Acquisition for Knowledge-Based Systems, vol 1, pp. 65-77, Academic Press, London, 1988.
7. T. Bylander, D. Allemang, M. C. Tanner, and J. R. Josephson: The Computational Complexity of Abduction, Artificial Intelligence, 49, pages 25-60, 1991.
8. B. Chandrasekaran, T.R. Johnson, and J. W. Smith: Task Structure Analysis for Knowledge Modeling, Communications of the ACM, 35(9): 124--137, 1992.
9. J.-M. David, J.-P. Krivine, and R. Simmons (eds.): Second Generation Expert Systems, Springer-Verlag, Berlin, 1993.
10. J. H. de Kleer and B. C. Williams: Diagnosing Multiple Faults, Artificial Intelligence, 320:97-130, 1987.
11. D. Fensel: Assumptions and Limitations of a Problem-Solving Method: A Case Study. In Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'95), Banff, Canada, February 26th - February 3th, 1995.
12. D. Fensel: Formal Specification Languages in Knowledge and Software Engineering, The Knowledge Engineering Review, 10(4), 1995.
13. D. Fensel and R. Groenboom: A Formal Semantics for Specifying the Dynamic Reasoning of Knowledge-based Systems. In Proceedings of the Knowledge Engineering: Methods and Languages Workshop (KEML '96), January 15-16, 1996.
14. D. Fensel and F. van Harmelen: A Comparison of Languages which Operationalize and Formalize KADS Models of Expertise, The Knowledge Engineering Review, 9(2), 1994.
15. A. Goel, N. Soundararajan, and B. Chandrasekaran: Complexity in Classificatory Reasoning. In 6th National Conference on Artificial Intelligence (AAAI'87), Seattle, Washington, July 13-17, 1987, pages 421--425.
16. M. Kifer, G. Lausen, and J. Wu: Logical Foundations of Object-Oriented and Frame-Based Languages, Journal of the A CM, 42:741-843, 1995.
17. D Kozen: Logics of Programs. In J. v. Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier Science Publ., B. V., Amsterdam, 1990.
18. D. Landes and R. Studer: The Treatment of Non-Functional Requirements in MIKE. In Proceedings of the 5th European Software Engineering Conference ESEC'95, Barcelona, Spain, September 25-28, 1995.
19. H. J. Levesque: Foundations of a functional approach to knowledge representation, Artificial Intelligence, 23(2):155-212, 1984.
20. S. Marcus (ed.). Automating Knowledge Acquisition for Experts Systems, Kluwer Academic Publisher, Boston, 1988.
21. S. Marcus, J. Stout, and J. McDermott VT: An Expert Elevator Designer That Uses Knowledge-based Backtracking, AIMagazine, 9(1):95-I 11, 1988.
22. M. A. Musen: Overcoming the Limitations of Role-Limiting Methods, Knowledge Acquisition, 4 (2): 165-170, 1992.
23. B. Nebel: Artificial intelligence: A Computational Perspective. To appear in G. Brewka (ed.), Essentials in Knowledge Representation.
24. K. Poeck, D. Fensel, D. Landes, and J. Angele: Combining KARL And CRLM For Designing Vertical Transportation Systems. In [Schreiber & Birmingham, 1996].
25. F. Puppe: Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods, Springer-Verlag, Berlin, 1993.
26. W. Reif: The KIV Approach to Software Engineering. In M. Broy and S. J~ihnichen (eds.): Methods, Languages, and Tools for the Construction of Correct Software, Lecture Notes in Computer Science (LNCS), no 1009, Springer-Verlag, Berlin, 1995.
27. E. Rich and K. Knight: Artificial Intelligence, McGraw-Hill, New York, 2nd edition, 1991.
28. C. Rouveirol and P. Albert: Knowledge level model of a configurable learning system. In Lecture Notes in Aritificiat Intelligence (LNAI), no 867 Springer-Verlag, Berlin, 1994.
29. A. Th. Schreiber and B. Birmingham (eds.): Special Issue on Sisyphus, The International Journal of Human-Computer Studies, to appear, 1996.
30. A. Th. Schreiber, B. J. Wielinga, and J. A. Breuker (eds.): KADS: A Principled Approach to Knowledge-Based System Development, vol 11 of Knowledge-Based Systems Book Series, Academic Press, London, 1993.
31. A. TH. Schreiber, B. Wielinga, J. M. Akkermans, W. Van De Velde, and R. de Hoog: CommonKADS. A Comprehensive Methodology for KBS Development, IEEE Expert, 9(6):28-37, 1994.
32. L. Steels: Components of Expertise, AI Magazine, 11 (2), 1990.
33. R. Straatman and P. Beys: A Performance Model for Knowledgebased Systems. In M. Ayel and M. C. Rousset (eds.): EUROVAV-95 European Symposium on the Validation and Verification of Knowledge Based Systems, pages 253-263. ADEIRAS, Universite de Sovoie, Chambery, 26-28 June 1995.
34. W. Tank: Modellierung yon Expertise iiber Konfigurationsaufgaben, Infix, Sankt Augustin, Germany, 1992.
35. A. ten Teije and F. van Harmelen: An Extended Spectrum of Logical Definitions for Diagnostic Systems. In Proceedings of DX-94 Fifth International Workshop on Principles of Diagnosis, 1994.
36. P. Terpstra, G. van Heijst, B. Wielinga, and N. Shadtbolt: Knowledge Acquisition Support Through Generalised Directive Models. In [David et al., 1993], pp. 428--455.
37. J. Top and H. Akkermans: Tasks and Ontologies in Engineering Modeling, International Journal of Human-Computer Studies, 41():585-617, 1994.
38. F. van Harmelen and A. ten Teije: Approximations in Diagnosis: Motivations and Techniques. In C. Bioch and Y.H. Tan (eds.), Proceedings of the Dutch Conference on AI (NAIC'95), Rotterdam, June 1995.
39. W. Van de Velde: A Constructivist View on Knowledge Engineering. In Proceedings of the 11th European Conference on Artificial Intelligence (ECA1'94), Amsterdam, August 1994.
40. B. J. Wielinga and A. Th. Schreiber: Conceptual Modelling of Large Reusable Knowledge Bases. In K. von Luck and H. Marburger (eds.): Management and Processing of Complex Data Structures, Springer-Verlag, Lecture Notes in Computer Science, no 777, pages 181-200, Berlin, Germany, 1994.
41. B. Wielinga, J. M. Akkermans, and A. TH. Schreiber: A Formal Analysis of Parametric Design Proble m Solving. In B. R. Gaines and M. A. Musen (eds.): Proceedings of the 8th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop (KA W-95), vol 2, pp. 31/1-37/15, Alberta, Canada, 1995.