Skip to main content
Springer Nature Link
Log in

Knowledge representation: Features of knowledge

  • Part One Knowledge Representation
  • Chapter
  • First Online:
Fundamentals of Artificial Intelligence

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 232))

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • American Association for Artifical Intelligence, Non-Monotonic Reasoning Workshop, New Paltz. New York, Oct. 1984

    Google Scholar 

  • A.R. Anderson and N.D. Belnap Jr., Entailment: The Logic of Relevance and Necessity, Vol. I, Princeton University Press, 1975.

    Google Scholar 

  • D. Angluin and C.H. Smith, "A Survey of Inductive Inference: Theory and Methods", Technical Report 250, Department of Computer Science, Yale University, 1982.

    Google Scholar 

  • A. Barr and J. Davidson, "Representation of Knowledge", Stanford Heuristic Programming Project, Memo HPP-80-3, Stanford University, 1980.

    Google Scholar 

  • N.D. Belnap, "A Useful Four-Valued Logic" in Modern Uses of Multiple-Valued Logic, J.M. Dunn and G. Epstein eds., D. Reidel Pub. Co., 1975.

    Google Scholar 

  • W. Bibel, "First-Order Reasoning About Knowledge and Belief", ATP-21-IX-83, Technical University of Munich, 1983.

    Google Scholar 

  • A. Borgida and T. Imielinski, "Decision Making in Committees — A Framework for Dealing with Inconsistency and Non-Monotonicity", Workshop on Non-Monotonic Reasoning, New Paltz, 1984.

    Google Scholar 

  • A. Borgida, "Language Features For Flexible Handling Of Exceptions In Information Systems", Transactions on Database Systems, to appear.

    Google Scholar 

  • R.J. Brachman, "On the Epistemological Status of Semantic Networks", in Associative Networks: Representation and Use of Knowledge by Computers, N.V. Findler (ed.), Academic Press, 1979, pp 3–50.

    Google Scholar 

  • R.J. Brachman and H.J. Levesque, "Competence in Knowledge Representation" Proc. AAAI-82, Pittsburgh. 1982, pp 189–192.

    Google Scholar 

  • R.J. Brachman and H.J. Levesque, "The Tractability of Subsumption in Frame-Based Description Languages" Proc. AAAI-84, Austin, 1984, pp 34–37.

    Google Scholar 

  • R.J. Brachman and H.J. Levesque (eds.), Readings in Knowledge Representation, Morgan Kaufmann Publishers, Inc., 1985

    Google Scholar 

  • R.J. Brachman and B.C. Smith (eds.), Special Issue on Knowledge Representation, SIGART Newsletter No. 70, Feb. 1980.

    Google Scholar 

  • P. Cheeseman, "In Defense of Probability", Proc. IJCAI-85, Los Angeles, 1985, pp 1002–1009

    Google Scholar 

  • J.P. Delgrande, "A Foundational Approach to Conjecture and Knowledge in Knowledge Bases", Ph.D. Thesis, Department of Computer Science, University of Toronto, 1985.

    Google Scholar 

  • A. P. Dempster, "A Generalization Of Bayesian Inference", Journal of the Royal Statistical Society, Vol. 30, pp 205–247, 1968.

    Google Scholar 

  • J. Doyle, "A Truth Maintenance System", Artificial Intelligence 12, 1979, pp 231–272.

    Article  Google Scholar 

  • J. Doyle and P. London, "A Selected Descriptor-Indexed Bibliography to the Literature on Belief Revision". SIGART Newsletter #71, Apr. 1980, pp 7–23.

    Google Scholar 

  • F.I. Dretske, Knowledge and the Flow of Information, Bradford Books, the MIT Press, 1981.

    Google Scholar 

  • D. Dubois and H. Prade, "Combination and Propagation of Uncertainty with Belief Functions", Proc. IJCAI-85, Los Angeles, 1985, pp 111–113

    Google Scholar 

  • R.O. Duda, P.E. Hart, N.J. Nilsson, and G.L. Sutherland, "Semantic Network Representations in Rule-Based Inference Systems", in Pattern-Directed Inference Systems, D.A. Waterman and F. Hayes-Roth eds., Academic Press, 1978.

    Google Scholar 

  • D.W. Etherington, R.E. Mercer, and R. Reiter, "On the Adequacy of Predicate Circumscription for Closed-World Reasoning", Computational Intelligence, Vol. 1, No. 1, 1985, pp 11–15.

    Google Scholar 

  • D.W. Etherington and R. Reiter, "On Inheritance Hierarchies with Exceptions", Proc. AAAI-83, 1983, pp 104–108.

    Google Scholar 

  • R. Fagin, J.Y. Halpern, and M.Y. Vardi, "A Model-Theoretic Analysis of Knowledge: Preliminary Report", Proceedings of the Twenty-Fifth IEEE Symposium on Foundations of Computer Science, Florida, 1984.

    Google Scholar 

  • S.E. Fahlman, NETL: A System for Representing and Using Real-World Knowledge, MIT Press, 1979.

    Google Scholar 

  • I. Goldstein and S. Papert, "Artificial Intelligence, Language, and the Study of Knowledge". Cognitive Science, Vol. 1, No. 1, 1977.

    Google Scholar 

  • N. Goodman, Fact, Fiction and Forecast, 3rd ed., Hackett Publishing Co., 1979.

    Google Scholar 

  • R.F. Hadley, "Two Solutions to Logical Omniscience: A Critique with an Alternative", TR 85-21, School of Computing Science, Simon Fraser University, B.C., 1985

    Google Scholar 

  • J.Y. Halpern and Y.O. Moses, "A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft", Proc IJCAI-85, Los Angeles, 1985.

    Google Scholar 

  • P. J. Hayes, "Some problems and Non-Problems in Representation Theory", Proceedings AISB Summer Conference, 1974, pp 63–79.

    Google Scholar 

  • P.J. Hayes, "In Defense of Logic", Proc. IJCAI-77, Cambridge, 1977, pp 559–565.

    Google Scholar 

  • P. J. Hayes, "The Naive Physics Manifesto", Machine Intelligence 9, D. Michie (ed.), Edinburgh University Press, 1979, pp 243–270.

    Google Scholar 

  • C. Hewitt, "PLANNER: A Language for Proving Theorems in Robots", Proceedings IJCAI-71, London, 1971.

    Google Scholar 

  • J. Hintikka, Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, 1962.

    Google Scholar 

  • G.E. Hughes and M.J. Cresswell, An Introduction to Modal Logic, Methuen and Co., 1968.

    Google Scholar 

  • D.J. Israel and R.J. Brachman, "Distinctions and Confusions: A Catalogue Raisonne", Proceedings of the Seventh International Conference on Artificial Intelligence, Vancouver, B.C., 1981, pp 252–259.

    Google Scholar 

  • N.A. Khan and R. Jain, "Uncertainty Management in a Distributed Knowledge Based System", Proc. IJCAI-85, Los Angeles, 1985, pp 318–320

    Google Scholar 

  • K. Konolige, "A Metalanguage Representation of Relational Databases for Deductive Question-Answering Systems", Proceedings of the Seventh International Conference on Artificial Intelligence, Vancouver, B.C., 1981, pp 496–503.

    Google Scholar 

  • K. Konolige, "Circumscriptive Ignorance", Proc. AAAI-82, Pittsburgh, 1982

    Google Scholar 

  • K. Konolige, "A Deductive Model of Belief", Ph.D. Thesis, Department of Computer Science, Stanford University, 1984.

    Google Scholar 

  • B. Kramer and J. Mylopoulos, "Knowledge Representation: Knowledge Organization", to appear.

    Google Scholar 

  • G. Lakemeyer, Internal Memo, Department of Computer Science, University of Toronto, 1984.

    Google Scholar 

  • H.J. Levesque, "A Formal Treatment of Incomplete Knowledge Bases", Ph.D. thesis, Department of Computer Science, University of Toronto, 1981.

    Google Scholar 

  • H.J. Levesque, "A Logic of Implicit and Explicit Belief", Proc. AAAI-84, Austin, 1984.

    Google Scholar 

  • D. Lewis, Counter factuals, Harvard University Press, 1973.

    Google Scholar 

  • J. D. Lowrence, "Dependency-Graph Models of Evidence Support", COINS technical report 82-26, University of Massachusetts at Amherst, 1982.

    Google Scholar 

  • G. McCalla and N. Cercone (eds.), IEEE Computer (Special Issue on Knowledge Representation) Vol. 16, No. 10, October 1983.

    Google Scholar 

  • J. McCarthy, "First Order Theories of Individual Concepts and Propositions", in Machine Intelligence 9, D. Michie (ed.), Edinburgh University Press, 1979, pp 129–147.

    Google Scholar 

  • J. McCarthy, "Circumscription — A Form of Non-Monotonic Reasoning", Artificial Intelligence 13, pp 27–39, 1980.

    Article  Google Scholar 

  • J. McCarthy, "Applications of Circumscription to Formalizing Common Sense Knowledge", Non-Monotonic Reasoning Workshop, New Paltz, New York, 1984, pp 295–324.

    Google Scholar 

  • J. McCarthy and P.J. Hayes, "Some Philosophical Problems from the Standpoint of Artificial Intelligence", in Machine Intelligence 4, D. Michie and B. Meltzer (eds.), Edinburgh University Press, 1969, pp 463–502.

    Google Scholar 

  • J.P. Martins and S.C. Shapiro, "A Model for Belief Revision", Non-Monotonic Reasoning Workshop, New Paltz, 1984.

    Google Scholar 

  • D. McDermott, "The Last Survey of Representation of Knowledge", Proceedings AISB/GI Conference, 1978, 206–221.

    Google Scholar 

  • D. McDermott, "Monmonotonic Logic II: Nonmonotonic Modal Theories" JACM 29, 1, 1982, pp 33–57

    Article  Google Scholar 

  • D. McDermott and J. Doyle, "Non-Monotonic Logic I", Artificial Intelligence 13, 1980, pp 41–72

    Article  Google Scholar 

  • M. Minsky, "A Framework for Representing Knowledge" in The Psychology of Computer Vision, P.H. Winston (ed.), McGraw-Hill, 1975, pp 211–277.

    Google Scholar 

  • R. Montague, Formal Philosophy, Yale University Press, 1974.

    Google Scholar 

  • R.C. Moore, "Reasoning About Knowledge and Action", Technical Note 284, Artificial Intelligence Centre, SRI International, 1980.

    Google Scholar 

  • R.C. Moore, "Semantical Considerations on Nonmonotonic Logic", Proc. IJCAI-83, Karlsruhe, 1983, pp 272–279.

    Google Scholar 

  • R.C. Moore and G. Hendrix, "Computational Models of Beliefs and the Semantics of Belief-Sentences", Technical Note 187, SRI International, Menlo Park, 1979.

    Google Scholar 

  • J. Mylopoulos and H.J. Levesque, "An Overview of Knowledge Representation" in On Conceptual Modelling, M.L. Brodie, J. Mylopoulos, and J.W. Schmidt (eds.), Springer-Verlag, 1984.

    Google Scholar 

  • A. Newell, "The Knowledge Level", AI Magazine 2(2), 1981, pp 1–20.

    Google Scholar 

  • D.N. Osherson and E.E. Smith, "On the Adequacy of Prototype Theory as a Theory of Concepts", Cognition 9, 1981, pp 35–58.

    Article  PubMed  Google Scholar 

  • M. Papalaskaris and A. Bundy, "Topics for Circumscription", Non-Monotonic Reasoning Workshop, New Paltz, New York, 1984, pp 355–362.

    Google Scholar 

  • H.E. Pople, "On the Mechanisation of Abductive Logic", Proceedings of the Third International Conference on Artificial Intelligence, Stanford, Ca., 1973, pp 147–152.

    Google Scholar 

  • H. Prade, "A Computational Approach to Approximate and Plausible Reasoning with Applications to Expert Systems", IEEE Transactions on Pattern Analysis and Machine Intelligence, Vol. 7, No. 3, May 1985.

    Google Scholar 

  • H. Putnam, "Is Semantics Possible?" in Mind, Language and Reality: Philosophical Papers Volume II, Cambridge University Press, 1975, pp 215–271.

    Google Scholar 

  • H. Putnam, "The ‘Corroboration’ of Theories", in Mathematics, Matter, and Method: Philosophical Papers Volume I, 2nd ed., Cambridge University Press, 1979, pp 250–269.

    Google Scholar 

  • W.V.O. Quine and J.S. Ullian, The Web of Belief, 2nd ed., Random House, 1978.

    Google Scholar 

  • R. Reiter, "On Closed World Data Bases", in Logic and Databases, H. Gallaire and J. Minker eds., Plenum Press, 1978.

    Google Scholar 

  • R. Reiter, "A Logic for Default Reasoning", Artificial Intelligence 13, 1980, pp 81–132.

    Article  Google Scholar 

  • E. Rosch, "Principles of Categorisation" in Cognition and Categorisation, E. Rosch and B.B. Lloyds eds., Lawrence Erlbaum Associates, 1978.

    Google Scholar 

  • I. Scheffler, The Anatomy of Inquiry: Philosophical Studies in the Theory of Science, Hackett Publishing Co., 1981.

    Google Scholar 

  • S.P. Schwartz (ed.), Naming, Necessity, and Natural Kinds, Cornell University Press, 1977.

    Google Scholar 

  • E.Y. Shapiro, "Inductive Inference of Theories from Facts", Research Report 192, Department of Computer Science, Yale University, 1981.

    Google Scholar 

  • S. Shapiro and R. Bechtel, "The Logic of Semantic Networks", TR-47, Department of Computer Science, Indiana University, 1976.

    Google Scholar 

  • E.H. Shortliffe, Computer-Based Medical Consultation: MYCIN, American Elsevier, 1976.

    Google Scholar 

  • T.R. Thompson, "Parallel Formulation of Evidential-Reasoning Theories" Proc. IJCAI-85, Los Angeles, 1985, pp 321–327

    Google Scholar 

  • D.S. Touretzky, "Implicit Ordering of Defaults in Inheritance Systems" Proc. AAAI-84, Austin, Texas, 1984, pp 322–325.

    Google Scholar 

  • J.K. Tsotsos, "Temporal Event Recognition: An Application to Left Ventriculat Performance", Proc. IJCAI-81, Vancouver, 1981, pp 900–905

    Google Scholar 

  • Y. Vassiliou, "A Formal Treatment of Imperfect Information in Database Management", Ph.D. Thesis, Department of Computer Science, University of Toronto, 1980.

    Google Scholar 

  • W.A. Woods, "What's in a Link: Foundations for Semantic Networks" in Representation and Understanding, D.G. Bobrow and A. Collins eds., Academic Press, 1975.

    Google Scholar 

  • L.A. Zadeh, "Fuzzy Logic and Approximate Reasoning", Synthese 30, 1975, pp 407–428.

    Article  Google Scholar 

  • L.A. Zadeh, "Commonsense Knowledge Representation Based on Fuzzy Logic", IEEE Computer, Vol. 16, No. 10, October 1983, 61–66.

    Google Scholar 

  • S.W. Zucker, "Production Systems with Feedback", in Pattern-Directed Inference Systems, D.A. Waterman and F. Hayes-Roth eds., Academic Press, 1978.

    Google Scholar 

Download references

Author information

Author notes

  1. James P. Delgrande

    Present address: Department of Computing Science, Simon Fraser University, Burnaby, BC

Authors and Affiliations

  1. Department of Computer Science, University of Toronto, Canada

    James P. Delgrande & John Mylopoulos (Senior fellow)

  2. Canadian Institute for Advanced Research, Canada

    John Mylopoulos (Senior fellow)

Authors
  1. James P. Delgrande
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. John Mylopoulos
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wolfgang Bibel Philippe Jorrand

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Delgrande, J.P., Mylopoulos, J. (1986). Knowledge representation: Features of knowledge. In: Bibel, W., Jorrand, P. (eds) Fundamentals of Artificial Intelligence. Lecture Notes in Computer Science, vol 232. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022679

Download citation

  • DOI: https://doi.org/10.1007/BFb0022679

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16782-2

  • Online ISBN: 978-3-540-39875-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation