Abstract
The sections in this article are
- 1 The Two Main Classes of Knowledge Representation (and Processing) Systems
- 2 The Biologically Inspired Approach
- 3 The Symbolic Approach
- 4 Frame Systems and Knowledge Engineering Software Environments
- 5 Knowledge Management: Some Practical Aspects
Bibliography
- 1 A. Newell The knowledge level, Artif. Intell., 18: 87–127, 1982.
- 2 G. Schreiber B. Wielinga J. Breuker KADS: A Principled Approach in Knowledge-Based System Developments, London: Academic Press, 1993.
- 3 J. Breuker W. van de Velde (eds.) Common KADS Library for Expertise Modeling, Amsterdam: IOS Press, 1994.
- 4 L. Steels The componential framework and its role in reusability, in J.-M. David and J.-P. Krivine (eds.), Second Generation Expert Systems, Berlin: Springer-Verlag, 1993.
- 5 H. Eriksson et al. Task modeling with reusable problem-solving methods, Artif. Intell., 79: 293–326, 1995.
- 6 N. F. Noy C. D. Hafner The state of the art in ontology design-A survey and comparative review, AI Mag., 18 (3): 53–74, 1997.
- 7 B. Chandrasekaran Design problem solving: A task analysis, AI Mag., 11 (4): 59–71, 1990.
- 8 R. Neches et al. Enabling technology for knowledge sharing, AI Mag., 12 (3): 36–56, 1991.
- 9 M. R. Genesereth R. E. Fikes (eds.) Knowledge Interchange Format-Version 3.0 Reference Manual (Report Logic-92-1). Stanford, CA: Computer Science Dept. of Stanford Univ., 1992.
- 10 G. van Heijst R. van der Spek E. Kruizinga Organizing corporate memories, Proc. 10th Banff Knowledge Acquisition Knowledge-Based Syst. Workshop, 1996.
- 11 E. A. Fegenbaum Knowledge engineering: The applied side of artificial intelligence, Ann. NY Acad. Sci., 246: 91–107, 1984.
- 12 R. J. Brachman H. J. Levesque (eds.) Readings in Knowledge Representation, San Francisco: Morgan Kaufmann, 1985.
- 13 M. Minsky S. Papert Perceptrons: An Introduction to Computational Geometry, Cambridge, MA: MIT Press, 1969.
- 14
D. E. Rumelhart
G. E. Hinton
R. J. Williams
Learning internal representations by error propagation,
Parallel Distributed Processing: Explorations in the Microstructures of Cognition,
Cambridge, MA:
MIT Press,
1986.
10.7551/mitpress/5236.001.0001 Google Scholar
- 15 P. D. Wasserman Neural Computing: Theory and Practice, New York: Van Nostrand Reinhold, 1989.
- 16 G. Josin Integrating neural networks with robots, AI Expert, 3 (8): 50–58, 1988.
- 17 J. H. Holland Adaptation in Natural and Artificial Systems, Ann Arbor: Univ. Michigan Press, 1975.
- 18 W. M. Spears et al. An overview of evolutionary computation, Proc. 1993 Eur. Conf. Mach. Learning, 1993, ECML-93.
- 19 J. Koza Genetic Programming, Cambridge, MA: MIT Press, 1992.
- 20 L. J. Eshelman R. Caruna J. D. Schaffer Biases in the crossover landscape, Proc. 3rd Int. Conf. Genet. Algorithms, 1989.
- 21 G. Syswerda Uniform crossover in genetic algorithms, Proc. 3rd Int. Conf. Genet. Algorithms, 1989.
- 22 D. Beasley D. R. Bull R. R. Martin An overview of genetic algorithms: Part 1, Fundamentals, Univ. Comput., 15 (2): 58–69, 1993.
- 23 D. E. Goldberg Genetic Algorithms in Search Optimization, and Machine Learning, Reading, MA: Addison–Wesley, 1989.
- 24 D. Beasley D. R. Bull R. R. Martin An overview of genetic algorithms: Part 2, research topics, Univ. Comput., 15 (4): 170–181, 1993.
- 25 D. Whitley A Genetic Algorithm Tutorial Technical Report CS-93-103, Fort Collins, CO, Computer Science Dept. Colorado State Univ., 1993.
- 26
L. A. Zadeh
Fuzzy sets,
Inf. Control,
8:
338–353,
1965.
10.1016/S0019-9958(65)90241-X Google Scholar
- 27 B. Kosko Neural Networks and Fuzzy Systems—A Dynamical Systems Approach to Machine Intelligence, Englewood Cliffs, NJ: Prentice-Hall, 1992.
- 28
H. J. Zimmermann
Fuzzy Set Theory and its Applications,
2nd ed., Norwell, MA:
Kluwer,
1991.
10.1007/978-94-015-7949-0 Google Scholar
- 29 G. Viot Fuzzy logic: Concepts to constructs, AI Expert, 8 (11): 26–33, 1993.
- 30 I. B. Türksen Hybrid systems: Fuzzy neural integration, in J. Liebowitz (ed.), The Handbook of Applied Expert Systems, Boca Raton, FL: CRC Press, 1998.
- 31 C.-C. Hung Building a neuro-fuzzy learning control system, AI Expert, 8 (11): 40–49, 1993.
- 32 A. Newell H. A. Simon Computer science as empirical inquiry: Symbols and search, Commun. ACM, 19: 113–126, 1976.
- 33 F. Lehmann (ed.) Semantic Networks in Artificial Intelligence, Oxford, UK: Pergamon Press, 1992.
- 34 J. F. Sowa Conceptual Structures: Information Processing in Mind and Machine, Reading, MA: Addison-Wesley, 1984.
- 35 G. P. Zarri NKRL, a knowledge representation tool for encoding the ‘meaning’ of complex narrative texts, Natural Language Eng.—Special Issue on Knowledge Representation Natural Language Process. Implemented Syst., 3: 231–253, 1997.
- 36 J. A. Robinson A machine-oriented logic based on the resolution principle, J. ACM, 12: 23–41, 1965.
- 37 J. A. Robinson Expressing expertise through logic programming, in D. Michie (ed.), Introductory Readings in Expert Syst., New York: Gordon and Breach, 1982.
- 38 N. J. Nilsson Principles of Artificial Intelligence, Palo Alto, CA: Tioga, 1980.
- 39 K. Knight Unification: A multidisciplinary survey, ACM Comput. Surv., 21: 93–124, 1989.
- 40 R. A. Kowalski Logic as a computer language, in K. L. Clark and S.-A. Tärnlund (eds.), Logic Programming, New York: Academic Press, 1982.
- 41
J. W. Lloyd
Foundations of Logic Programming,
2nd ed., New York:
Springer-Verlag,
1987.
10.1007/978-3-642-83189-8 Google Scholar
- 42 R. A. Kowalski Algorithm = logic + control, Commun. ACM, 22: 424–436, 1979.
- 43 R. J. Brachman H. J. Levesque A fundamental tradeoff in knowledge representation and reasoning, in R. J. Brachman and H. J. Levesque (eds.), Readings in Knowledge Representation and Reasoning, San Francisco: Morgan Kaufmann, 1985.
- 44
W. P. Dowling
J. H. Gallier
Linear-time algorithms for testing the satisfiability of propositional Horn formulae,
J. Logic Programming,
1:
267–284,
1984.
10.1016/0743-1066(84)90014-1 Google Scholar
- 45 A. Colmerauer et al. Un système de communication Homme-machine en Français (Rapport de recherche). Marseille: Groupe d’Intelligence Artificielle de l’Université Aix-Marseille II, 1973.
- 46 P. Roussel PROLOG, Manuel de référence et d’utilisation. Luminy: Groupe d’Intelligence Artificielle de l’Université Aix-Marseille II, 1975.
- 47 M. H. van Emden R. A. Kowalski The semantics of predicate logic as a programming language, J. ACM, 23: 733–742, 1976.
- 48 A. Colmeraurer PROLOG and Infinite Trees, in K. L. Clark and S.-A. Tärnlund (eds.), Logic Programming, London: Academic Press, 1982.
- 49 W. F. Clocksin C. S. Mellish Programming in PROLOG, Berlin: Springer-Verlag, 1981.
- 50 H. Gallaire C. Lasserre Metalevel control for logic programming, in K. L. Clark and S.-A. Tärnlund (eds.), Logic Programming, London: Academic Press, 1982.
- 51 E. L. Post Formal reductions of the general combinatorial decision problem, Amer. J. Math., 65: 197–268, 1943.
- 52 A. Markov Theory of Algorithms, Moscow: USSR National Academy of Sciences, 1954.
- 53 N. Chomsy Syntactic Structures, The Hague: Mouton, 1957.
- 54 A. I. Vermesan Foundation and application of expert system verification and validation, in J. Liebowitz (ed.), The Handbook of Applied Expert System, Boca Raton, FL: CRC Press LCC, 1998.
- 55 E. H. Shortliffe Computer-Based Medical Consultations: MYCIN, New York: American-Elsevier, 1976.
- 56 P. Norvig Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp, San Francisco: Morgan Kaufmann, 1992.
- 57 G. Shafer A Mathematical Theory of Evidence, Princeton, NJ: Princeton Univ. Press, 1976.
- 58 P. R. Harrison J. G. Kovalchik Expert Systems and Uncertainty, in J. Liebowitz (ed.), The Handbook of Applied Expert Systems, Boca Raton, FL: CRC Press, 1998.
- 59 C. L. Forgy Rete: A fast algorithm for the many pattern/many object match problem, Artif. Intell., 19: 17–37, 1982.
- 60 C. L. Forgy The OPS languages: A historical overview, PC AI, 9 (5): 16–21, 1995.
- 61 P. Graham Using the RETE algorithm, AI Expert, 5 (12): 46–51, 1990.
- 62 N. Fridman Noy C. D. Hafner The state of the art in ontology design-A survey and comparative review, AI Mag., 18 (3): 53–74, 1997.
- 63 A. Gomez-Perez Knowledge sharing and reuse, in J. Liebowitz (ed.), The Handbook of Applied Expert Systems, Boca Raton, FL: CRC Press LCC, 1998.
- 64 R. J. Brachman What IS-A is and isn’t: An analysis of taxonomic links in semantic network, IEEE Comput., 16 (10): 30–36, 1983.
- 65 R. Fikes T. Kehler The role of frame-based representations in reasoning, Commun. ACM, 28: 904–920, 1985.
- 66 D. B. Lenat et al. CYC: Toward programs with common sense, Commun. ACM, 33 (8): 30–49, 1990.
- 67 W. A. Woods What’s in a link: Foundations for semantic network, in D. G. Bobrow and A. M. Collins (eds.), Representation and Understanding: Studies in Cognitive Sciences, New York: Academic Press, 1975.
- 68 M. Minsky A framework for representing knowledge, in P. H. Winston (ed.), The Psychology of Computer Vision, New York: McGraw-Hill, 1975.
- 69 R. J. Brachman ‘I lied about the trees’ or, defaults and definitions in knowledge representation, AI Mag., 6 (3): 80–93, 1985a.
- 70 D. W. Etherington Formalizing nonmonotonic reasoning systems, Artif. Intell., 31: 41–85, 1987.
- 71 D. W. Etherington Reasoning with Incomplete Information. San Francisco: Morgan Kaufmann, 1988.
- 72 R. Nado R. Fikes Saying more with frames: Slots as classes, in F. Lehmann (ed.), Semantic Networks in Artificial Intelligence, Oxford, UK: Pergamon Press, 1992.
- 73 R. Reiter A logic for default reasoning, Artif. Intell., 13: 81–182, 1980.
- 74
R. Reiter
G. Criscuolo
Some representational issues in default reasoning, in N. J. Cercone (ed.),
Computational Linguistics,
Oxford, UK:
Pergamon Press,
1983.
10.1016/B978-0-08-030253-9.50007-X Google Scholar
- 75
S. E. Fahlman
NETL: A System for Representing and Using Real-World Knowledge,
Cambridge, MA:
MIT Press,
1979.
10.7551/mitpress/4917.001.0001 Google Scholar
- 76 D. S. Touretzky The Mathematics of Inheritance Systems, London: Pitman, 1986.
- 77 E. Sandewall Non-monotonic inference rules for multiple inheritance with exceptions, Proc. IEEE, 74: 1345–1353, 1986.
- 78 L. Padgham Defeasable inheritance: A lattice based approach, in F. Lehmann (ed.), Semantic Networks in Artificial Intelligence, Oxford, UK: Pergamon Press, 1992.
- 79 P. J. Hayes The logic of frames, in D. Metzing (ed.), Frame Conceptions and Text Understanding, Berlin: de Gruyter, 1979.
- 80 G. Ringland Structured object representation—Schemata and frames, in G. A. Ringland and D. A. Duce (eds.), Approaches to Knowledge Representation: An Introduction, Letchworth: Research Studies Press, 1988.
- 81 D. Skuce Conventions for reaching agreement on shared ontologies, Proc. 9th Banff Knowledge Acquisition for Knowledge-Based Syst. Workshop, 1995.
- 82 R. Wilensky Some Problems and Proposals for Knowledge Representation (UCB/CSD Report n° 87/351), Berkeley, CA: University of California Computer Science Division, 1987.
- 83 U. Schiel Abstractions in semantic networks: Axiom schemata for generalization, aggregation and grouping, ACM Sigart Newsl., (107): 25–26, 1989.
- 84 M. E. Winston R. Chaffin D. Herrmann A taxonomy of part-whole relations, Cognitive Sci., 11: 417–444, 1987.
- 85 A. Artale et al. Part-whole relations in object-centered systems: An overview, Data Knowledge Eng., 20: 347–383, 1996.
- 86 G. P. Zarri Semantic modeling of the content of (normative) natural language documents, in Actes des dizèmes journées int. d’Avignon ‘Les systèmes experts et leurs applications’-Conf. spécialisée sur le traitement du langage naturel, Paris, 1992.
- 87 G. P. Zarri Knowledge acquisition from complex narrative texts using the NKRL technology, Proc. 9th Banff Knowledge Acquisition for Knowledge-Based Syst. Workshop, 1995.
- 88 R. J. Brachman V. Pigman Gilbert H. J. Levesque An essential hybrid reasoning system: Knowledge and symbol level accounts in KRYPTON, Proc. 9th Int. Joint Conf. Artif. Intell., San Francisco, 1985.
- 89 T. S. Kaczmarek R. Bates G. Robins Recent developments in NIKL, Proc. 5th Natl. Conf. Artif. Intell., 1986.
- 90 R. MacGregor R. Bates The LOOM Knowledge Representation Language (Technical Report ISI/RS-87-188). Marina del Rey, CA: USC/Information Science Institute, 1987.
- 91
R. J. Brachman et al.
Living with CLASSIC: When and how to use a KL-ONE-Like language, in J. F. Sowa (ed.),
Principles of Semantic Networks,
San Francisco:
Morgan Kaufmann,
1991.
10.1016/B978-1-4832-0771-1.50022-9 Google Scholar
- 92 F. Baader B. Hollunder A terminological knowledge representation system with complete inference algorithm, Proc. Workshop on Processing Declarative Knowledge, 1991.
- 93 T. Hoppe et al. BACK V5 Tutorial and Manual (KIT Report 100). Berlin: Department of Computer Science of the Technische Universität, 1993.
- 94 R. J. Brachman J. G. Schmolze An overview of the KL-ONE knowledge representation system, Cognitive Sci., 9: 171–216, 1985.
- 95 M. Buchheit F. M. Donini A. Schaerf Decidable reasoning in terminological knowledge representation systems, J. Artif. Intell. Res., 1: 109–138, 1993.
- 96 H. J. Levesque Foundations of a functional approach to knowledge representation, Artif. Intell., 23: 155–212, 1984.
- 97 E. Bertino G. P. Zarri Intelligent Database Systems, London: Addison-Wesley, in press.
- 98 C.-K. Soh A.-K. Soh K.-Y. Lai An approach to embed knowledge in database systems, Eng. Appl. Artif. Intell., 5: 413–423, 1992.
- 99 S. Tsur LDL-A technology for the realization of tightly coupled expert database systems, IEEE Expert, 3 (3): 41–51, 1988.
- 100 S. Khoshafian Modeling with object-oriented databases, AI Expert, 6 (10): 27–33, 1991.
- 101
A. Al-Zobaidie
J. B. Grimson
Expert systems and database systems: How can they serve each other?,
Expert Syst.,
4 (1):
30–37,
1987.
10.1111/j.1468-0394.1987.tb00409.x Google Scholar
- 102 B. Cohen Merging expert systems and databases, AI Expert, 4 (2): 22–31, 1989.
- 103 J. Mylopoulos et al. TELOS: Representing knowledge about information systems, ACM Trans. Inf. Syst., 8: 325–362, 1990.
- 104 D. B. Lenat R. V. Guha Building Large Knowledge Based Systems, Reading, MA: Addison-Wesley, 1990.
- 105 J. Durkin Expert System Development Tools, in J. Liebowitz (ed.), The Handbook of Applied Expert Systems, Boca Raton, FL: CRC Press, 1998.
- 106 J. McDermott R1: The formative years, AI Mag., 2 (2): 21–29, 1981.
Wiley Encyclopedia of Electrical and Electronics Engineering
Browse other articles of this reference work:
