Skip to main content
SpringerLink
Log in

Criticism of Logical Approaches

  • Chapter
Modeling Design Objects and Processes

Part of the book series: Computer Graphics: Systems and Applications ((COMPUTER GRAPH.))

  • 68 Accesses

Abstract

The relationship between logic and computer sciences and applications is deep and broad. At the most basic end of the spectrum, we have the functional description of a circuit as a combination of AND, OR and NOT gates, and the boolean data type in most programming languages. The generationof sentences by repeated applications of production rules is equivalent to theenumeration of theorems of the form S → (sequence of terminal symbols). A more specialized case is the formulation of the functional and multivalued dependencies of a relational database in terms of implications between the propositional variables, each corresponding to an attribute domain of a relation ([Fag], [Sag]). While these instances are all within the realm of propositional logic, the use of first order predicate logic (FOPL) has become prevalent in recent years. This trend is probably explained by the following reasons:

  • the far richer contents of FOPL than those of propositional logic,

  • the high degree of maturity and refinement it has attained as a theoretical discipline,

  • the ease of the intuitive understanding of an interpretation for such a purely formal system of symbols, without impairing the rigor of the system, and

  • that it has reached a sort of natural boundary as a framework for describing information systems in view of the precise and profound results concerning decidability and computability.

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

Access this chapter

Log in via an institution
eBook
USD 16.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

  1. Abiteboul, S., Hull, R., IFO: A Formal Semantic Database Model. ACM TODS, Vol. 12, No.4, Dec. 1987

    Article  MathSciNet  Google Scholar 

  2. Arbab, F., Wing, J.M.: Geometric Reasoning: A New Paradigm for Processing Geometric Information. In: Yoshikawa, H., Warman, E.A. (eds.): Design Theory for CAD. North-Holland, 1987

    Google Scholar 

  3. Brachman, R.J.: On the Epistemological Status of Semantic Networks. In: [Fin]

    Google Scholar 

  4. Brachman, R.J.: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9, 1985

    Google Scholar 

  5. Brodie, M.L. et al. (eds.): On Conceptual Modelling. Springer, 1984

    MATH  Google Scholar 

  6. Clark, K.L.: Negation as Failure. In: [Gal(1)]

    Google Scholar 

  7. Codd, E.F.: Extending the Database Relational Model to Capture More Meaning. ACM TODS, Vol. 4, No.4, Dec. 1979

    Article  Google Scholar 

  8. Fagin, It.: Functional Dependencies in a Relational Database and Propositional Logic. IBM J. It & D, Nov. 1977

    Google Scholar 

  9. Fillmore, C.: The Case for Case. In: Bach, E., Harms, It. (eds.): Universals in Linguistic Theory. Holt, 1968

    Google Scholar 

  10. Findler, N.V. (ed.): Associative Networks: Representation and Use of Knowledge by Computer. Academic Press, 1979

    MATH  Google Scholar 

  11. Gallaire, H., Minker, J. (eds.): Logic and Databases. Plenum, 1978

    Google Scholar 

  12. Gallaire, H. et al, (eds.): Logic and Databases: A Deductive Approach. ACM Computing Surveys, Vol. 16, No.2, June 1984

    Google Scholar 

  13. Gries, D.: The Science of Programming. Springer, 1981

    MATH  Google Scholar 

  14. Heiler, S. et al.: An Object-oriented Approach to Data Management: Why Design Databases Need It. Proc. 24th Design Automation Conf., 1987

    Google Scholar 

  15. Hull, R., King, It.: Semantic Database Modeling: Survey, Applications and Research Issues. ACM Computing Surveys, Vol. 19, No.3, Sep. 1987

    Article  Google Scholar 

  16. Israrel, D.J., Brachman, It.J.: Some Remarks on the Semantics of Representation Languages. In: [Bro]

    Google Scholar 

  17. Kowalski, R.A.: Predicate Logic as a Programming Language. Information Processing 74, North-Holland, 1974

    Google Scholar 

  18. Kowalski, It.A.: Logic for Data Description. In: [Gal(1)]

    Google Scholar 

  19. Levesque, H.J., Brachman, R.J.: A. Fundamental Tradeoff in Knowledge Representation and Reasoning. Proc. CSCSI-84, 1984

    Google Scholar 

  20. Lloyd, J.W.: Foundations of Logic Programming. 2nd ed., Springer, 1987

    Book  MATH  Google Scholar 

  21. Maida, A.S., Shapiro, S.C.: Intensional Concepts in Propositional Semantic Networks. Cognitive Science 6 (4), 1982

    Google Scholar 

  22. Mallgren, W.R.: Formal Specification of Interactive Graphics Programming Languages. MIT Press, 1982

    Google Scholar 

  23. Manna, Z.: Mathematical Theory of Computation. McGraw-Hill, 1974

    MATH  Google Scholar 

  24. McCarthy, J.: First Order Theories of Individual Concepts and Propositions. In: Hayes, J.E. et al, (eds.): Machine Intelligence 9.1979

    Google Scholar 

  25. McCarthy, J.: Circumscription — A Form of Non-Monotonic Reasoning. Artificial Intelligence 13, 1980

    Google Scholar 

  26. Mylopoulos, J., Levesque, H.J.: An Overview of Knowledge Representation. In: [Bro]

    Google Scholar 

  27. Quillian, M.R.: Semantic Memory. In: Minsky, M. (ed.): Semantic Information Processing. MIT Press, 1968

    Google Scholar 

  28. Reiter, R.: On Closed World Databases. In: [Gal(l)]

    Google Scholar 

  29. Reiter, R.: A logic for Default Reasoning. Artificial Intelligence 13, 1980

    Google Scholar 

  30. Reiter, R.: Towards a Logical Reconstruction of Relational Database Theory. In: [Bro]

    Google Scholar 

  31. Rumelhart, D.E. et al.: A Process Model for Long-term Memory. In: Tulving, E., Donaldson, W. (eds.): Organization of Memory. Academic Press, 1972

    Google Scholar 

  32. Sagiv, Y. et al.: An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic. JACM, Vol. 28, No.3, July 1981

    Article  Google Scholar 

  33. Schank, R.C.: Conceptual Information Processing. North-Holland, 1975

    MATH  Google Scholar 

  34. Schubert, L.K.: Extending the Expressive Power of Semantic Networks. Artificial Intelligence, Vol. 7, No.2, Summer 1976

    Article  Google Scholar 

  35. Schubert, L.K. et al.: The Structure and Organization of a Semantic Net for Comprehension and Inference. In: [Fin]

    Google Scholar 

  36. Schwartz, L.: Theorie des Distributions. Herman, 1950

    MATH  Google Scholar 

  37. Schwartz, L.: Methodes Mathematiques pour les Sciences Physiques. Hermann, 1961

    MATH  Google Scholar 

  38. Shapiro, S.C.: A Net Structure for Semantic Information Storage, Deduction and Retrieval. Proc. 2nd Int’l Conf. on AI, 1971

    Google Scholar 

  39. Shapiro, S.C.: The SNePs Semantic Network Processing System. In: [Fin]

    Google Scholar 

  40. Simmons, R.F.: Semantic Networks: Their Computation and Use for Understanding English Sentences. In: Schank, R.C., Colby, K.M. (eds.): Computer Models of Thought and Language, Freeman, 1973

    Google Scholar 

  41. Stonebraker, M.: Adding Semantic Knowledge to a Relational Database System. In: [Bro]

    Google Scholar 

  42. Thomason, R. (ed.): Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, 1974

    Google Scholar 

  43. Webster’s Third New International Dictionary. G & C Merriam Company, 1969

    Google Scholar 

  44. Woods, W.A.: What’s in a Link: Foundations for Semantic Networks. In: Bobrow, D.G., Collins, A.M. (eds.): Representation and Understanding: Studiesin Cognitive Science. Academic Press, 1975

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Nihon Unisys, Ltd., 2-17-51 Akasaka, Minato-ku, Tokyo 107, Japan

    Takaaki Yagiu

Authors
  1. Takaaki Yagiu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Nihon Unisys, Ltd., 2-17-51 Akasaka, Minato-ku, Tokyo 107, Japan

    Takaaki Yagiu

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Yagiu, T. (1991). Criticism of Logical Approaches. In: Yagiu, T. (eds) Modeling Design Objects and Processes. Computer Graphics: Systems and Applications. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-84420-1_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-84420-1_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-84422-5

  • Online ISBN: 978-3-642-84420-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation