Skip to main content
SpringerLink
Log in

Some fundamental issues in knowledge representation

  • Conference paper
GWAI-82

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 58))

Abstract

Fundamental issues of “knowledge representation” appear to be rather obscured by a terminological confusion prevailing in and across subfields of computer science involved, namely Artificial Intelligence, Date Bases, and Programming Languages. Accordingly, the different understanding of “knowledge representation” in these areas is investigated resulting in an explanation proposal for the heading term: knowledge reconstruction and its organisation. Some epistemological, formal and computational requirements to be met for achieving this task are given. The epistemological requirements are illustrated by an attempt to model a natural language utterance adequately. Formal and computational issues are addressed by considering some recently proposed “knowledge representation languages”, namely OMEGA [Hewitt et al. 1980]. It is concluded that there are three lines of research that should be pursued or adopted: the philosophically profound investigation of epistemological primitives, the elaboration of model-theoretic semantics, and the investigation of organisational and engineering principles of database and language design.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • E. Bergmann, H. Noll, 1977: Mathematische Logik mit Informatik-Anwendungen, Berlin (Springer)

    Book  MATH  Google Scholar 

  • D. Barstow, 1979: Knowledge-based program construction, New York (North Holland)

    Google Scholar 

  • D.G. Bobrow, 1975: Dimensions of representation, in D. Bobrow, A. Collins (eds.), Representation and understanding, New York (Academic)

    Google Scholar 

  • D.G. Bobrow (chair), 1977: A panel on knowledge representation, 5th IJCAI, Cambridge (Mass.) USA, 983–992

    Google Scholar 

  • D.G. Bobrow, A. Collins (eds.), 1975: Representation and under-standing, New York (Academic)

    Google Scholar 

  • D.G. Bobrow, T. Winograd, 1977: An overview of KRL-O, a knowledge representation language, Cognitive Science 1, No. 1

    Google Scholar 

  • A. Bolour, T.L. Anderson, L.J. Dekeyser, H.K.T. Wong, 1982: The role of time in information processing. SIGART Newsletter 80, 28 -48

    Google Scholar 

  • R.S. Boyer, J.S. Moore, 1979: A computational logic, New York (Academic)

    MATH  Google Scholar 

  • R. Brachman: On the epistemological status of semantic networks, in Findler 1979

    Google Scholar 

  • R.J. Brachman, B.C. Smith (eds.), 1980: SIGART Newsletter 70, Special issue on knowledge representation

    Google Scholar 

  • M.L. Brodie, S.N. Zilles (eds.), 1981: Proceedings of workshop on data abstraction, data bases and conceptual modelling, SIGART Newsletter 74

    Google Scholar 

  • E. Charniak, 1981: A common representation for problem solving and language-comprehension information, in: Artificial Intelli-gence 16, 225 -255

    Article  MathSciNet  Google Scholar 

  • H.L. Dreyfus, 1979: What computers can’t do, New York (Harper & Row)

    Google Scholar 

  • N.V. Findler (ed.), 1979: Associative networks: representation and use of knowledge by computer, New York (Academic)

    MATH  Google Scholar 

  • H. Gallaire, J. Minker (eds.), 1978: Logic and databases (Plenum)

    Google Scholar 

  • C.C. Green, D. Barstow, 1978: On program synthesis knowledge, Artificial Intelligence 10, 241 -279

    Article  Google Scholar 

  • R. Greiner, D.B. Lenat, 1980: A representation language language, Proc. 1rst Ann. Nat. Conf. in Art. Int., Stanford

    Google Scholar 

  • P.J. Hayes, 1978: The logic of frames. In: D. Metzing (Ed.), The frame reader, Berlin (De Gruyter)

    Google Scholar 

  • P.J. Hayes, 1979: The naive physics manifesto, in Michie 1979, 235 -241

    Google Scholar 

  • G. Hendrix, 1975: Expanding the utility of semantic networks through partitioning, Proc. 4th IJCAI, Tbilisi, USSR

    Google Scholar 

  • C. Hewitt, 1971 PLANNER: a language for proving theorems in robots, Proc. 2nd IJCAI, Longon, England

    Google Scholar 

  • C. Hewitt, G. Attardi, M. Simi, 1980: Knowledge embedding in the description system Omega, in: Proc. 1rst Ann. Nat. Conf. on Art. Int., Stanford

    Google Scholar 

  • C.A.R. Hoare, 1972: Proof of correctness of data representations, Acta Informatica 11, 271 -281

    Article  Google Scholar 

  • P.N. Johnson-Laird, 1981: Mental models of meaning, in A. Joshi et al. 1981, 106 -126

    Google Scholar 

  • A.K. Joshi, B.L. Webber, I.A. Sag (Eds.), 1981: Elements of dis-course understanding, Cambridge (University Press)

    Google Scholar 

  • W. Kent, 1978: Data and reality, Amsterdam (North Holland)

    Google Scholar 

  • J.J. Katz, 1966: The philosophy of language, New York (Harper & Row)

    Google Scholar 

  • R. Kowalski, 1974: Predicate logic as a programming language, Proc. IFIP Congress 74, 569 -574

    Google Scholar 

  • R. LeFaivre, 1977: FUZZY reference manual, Comp. Sc. Dept., Rutgers University, New Brunswick

    Google Scholar 

  • H. Levesque, J. Mylopoulos, 1979: A procedural semantics for seman-tic networks, in Findler 1979

    Google Scholar 

  • B.L. Liskow, 1976: An Introduction to CLU, MIT Comp. struct, group, MEMO 136

    Google Scholar 

  • J. McCarthy, 1979: First-order theories of individual concepts and propositions, in: Michie 1979, 271 -287

    Google Scholar 

  • J. McCarthy, P.J. Hayes, 1969: Some philosophical problems from the standpoint of Artificial Intelligence, in: Machine Intelligence 4, 463 -502

    MATH  Google Scholar 

  • D. McDermott, 1978: The last survey of representation of knowledge, in Proc. AISB/GI Conf. on Art. Int., Hamburg 1978, 206 -221

    Google Scholar 

  • D. McDermott, J. Doyle, 1979: An introduction to non-monotonic logic, 6th IJCAI, Tokyo, 562 -576

    Google Scholar 

  • D. McLeod, J.M. Smith, 1981: Abstraction in databases, in: Brodie/ Zilles 1981, 19 -25

    Google Scholar 

  • D. Michie (Ed.), 1979: Expert systems in the micro-electronic age, Edinburgh University Press

    Google Scholar 

  • M. Minsky, 1975: A framework for representing knowledge, in P. Winston (Ed.) The Psychology of Computer Vision, New York (McGraw Hill)

    Google Scholar 

  • J. Mylopoulos, 1981: An overview of knowledge representation, in: Brodie/Zilles, 1981, 5–12

    Google Scholar 

  • A. Oberschelp, 1974: Elementare Logik und Mengenlehre, Band I: Grundlagen, Mannheim (B.I. Wissenschaftsverlag)

    Google Scholar 

  • P. Raulefs, 1981: Expert systems: state of the art and future prospects, Bonn (Institut für Informatik, Memo Seki-BN-81–03)

    Google Scholar 

  • G. Ritchie, 1982: Conflicting design requirements for a knowledge representation language, AISB Quarterly 44, 20 -22

    Google Scholar 

  • R.B. Roberts, I.P. Goldstein: The FRL primer, MIT Art. Int. Lab., Memo 408 St.J. Rosenschein: Abstract theories of discourse and the formal specification of programs that converse, in Joshi et al. 1981

    Google Scholar 

  • L.A. Rowe, 1981: Data abstraction from a Programming Language viewpoint, in: Brodie/Zilles 1981

    Google Scholar 

  • R. Schank, 1975: Conceptual information processing, Amsterdam (North-Holland)

    MATH  Google Scholar 

  • L. Schubert, 1976: Extending the expressive power of semantic networks, Artificial Intelligence 7, no. 2

    Google Scholar 

  • J.M. Smith, D.C.P. Smith, 1977a: Database abstractions: aggregation, CACM 20, 405 -413

    Google Scholar 

  • J.M. Smith, D.C.P. Smith, 1977b: Database abstractions: aggregation and generalisation, ACM TODS 2, 105 -133

    Article  Google Scholar 

  • N.S. Sridharan, 1977: Knowledge representation in AIMDS and its use in BELIEVER, IJCAI V (1977), 990 -91

    Google Scholar 

  • P. Szolowitz, L. Hawkinson, W.A. Martin, 1977: An overview of OWL, a language for knowledge representation, MIT-LCS-TM-86, MIT Lab. for Comp. Science

    Google Scholar 

  • D. Weinreb, D. Moon, 1981: Lisp machine manual, MIT, Cambridge (Mass.)

    Google Scholar 

  • R.W. Weyhrauch, 1978: Prolegomena to a theory of mechanized formal reasoning, Stanford AI lab., Memo 315

    Google Scholar 

  • J. Wilks, 1977: Good and bad arguments about semantic primitives. Memo 42, Art. Int. Dept., Edinburgh University

    Google Scholar 

  • J. Wilks, 1978: Parsing English I, in: E. Charniak, J. Wilks (Eds.), Computational Semantics, New York (North Holland)

    Google Scholar 

  • T. Winograd, 1975: Frame representation and the declarative-proce-dural controversy, in: Bobrow/Collins

    Google Scholar 

  • W.A. Woods, 1981: Procedural semantics as a theory of meaning, in: Joshi et al., 300 -334

    Google Scholar 

  • W.A. Woods, 1975: What’s in a link: foundations for semantic net-works, in: Bobrow/Collins

    Google Scholar 

  • W.A. Wulf, R.L. London, M. Shaw, 1976: An introduction to the construction and verification of ALPHARD programme, IEEE Trans. on Soft. Eng., vol. SE-2, no. 4

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Universitaet Hamburg, Germany

    Peter Schefe

Authors
  1. Peter Schefe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Forschungsstelle für Informationswissenschaft und Künstliche Intelligenz, Universität Hamburg, Mittelweg 179, 2000, Hamburg 13, Germany

    Wolfgang Wahlster (Vorsitzender des Programmkomitees) (Vorsitzender des Programmkomitees)

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schefe, P. (1982). Some fundamental issues in knowledge representation. In: Wahlster, W. (eds) GWAI-82. Informatik-Fachberichte, vol 58. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68826-3_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-68826-3_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11960-9

  • Online ISBN: 978-3-642-68826-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation