Skip to main content
SpringerLink
Log in

Knowledge Representation Issues in Logic Programming

  • Chapter
Logic Programming

  • 106 Accesses

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

  1. Aida, H., Tanaka, H. and Moro-Oka, T., A Prolog Extension for Handling Negative Knowledge, New Generation Computing 1,(1983), Springer Verlag.

    Google Scholar 

  2. Attardi, G. and Simi, M., Consistency and Completeness of OMEGA, a Logic for Knowledge Representation, Proceedings of the Seventh International Joint Conference on Artificial Intelligence, Vancouver, Canada, 1981.

    Google Scholar 

  3. Bainbridge, S. and Skuce, D., Knowledge Acquisition and Representation Using Logic, Set Theory and Natural Language Structures, Proceedings of the Third National Conference of the Canadian Society for Computational Studies of Intelligence, 1980.

    Google Scholar 

  4. Bibel, W., On First-Order Reasoning about Knowledge and Belief, in Artificial Intelligence and Information-Control Systems of Robots, I. Plander, (ed.), Elsevier, 1984.

    Google Scholar 

  5. Blanking, R., Management Applications of Logic Programming, Technical Report, Owen Graduate School of Management, Vanderbilt University, Nashville, Tennessee, 1983.

    Google Scholar 

  6. Chouraqui, E., Construction of Data Structures for Representing Real World Knowledge, Proceedings of the IFIP, 1979.

    Google Scholar 

  7. Clark, M. J. N., Hayes, P. J., Marks, J. O., Petritt, P. and Reeder, M. W., Representation of Legislation & Aids for its Interpretation, International Conference On Fifth Generation Computer Systems, November 1984.

    Google Scholar 

  8. Dahl, V., Logic Programming as a Representation of Knowledge, Computer 16, 10 (October 1983).

    Article  Google Scholar 

  9. David, G., Problem Solving = Knowledge + Strategy, Proceedings of the International Conference on Artificial Intelligence and Information Control Systems of Robots, 1980.

    Google Scholar 

  10. Davis, R. E., Gallaire, H.and Lasserre, C., Controlling Knowledge Deduction in a Declarative Approach, Proceedings Sixth Joint Conference on Artificial Intelligence,1979. International Joint Conference on Artificial Intelligence.

    Google Scholar 

  11. Debenham, J. K., Knowledge Base Design, Australian Computer Journal 17, 1 (February 1985).

    Google Scholar 

  12. Dias, V. and Pereira, L. M., A Survey of Knowledge Based Systems in Prolog, Logic Programming Newsletter, Universidade Nova de Lisboa, Winter 1984.

    Google Scholar 

  13. Dincbas, M., A Knowledge-Based Expert System for Automatic Analysis and Synthesis in CAD, Proceedings IFIP 80,1980, 705–710. AFIPS Press.

    Google Scholar 

  14. Dwiggings, D. and Silva, G., A Knowledge-Based Automated Message Understanding Methodology for an Advanced Indications Systems, Technical Report R79–006, Operating Systems Division, Logicon, Woodland Hills, Ca, 1979.

    Google Scholar 

  15. Elcock, E. W., How Complete are Knowledge-Representation Systems?, Computer 16, 10 (October 1983).

    Article  Google Scholar 

  16. Enomoto, H., Yonezaki, N., Saeki, M. and Kunifuji, S., Paradigms of Knowledge Based Software System and Its Service Image, Technical Report TR-030, ICOT - Institute for New Generation Computer Technology, Tokyo, Japan, 1983. Also in 3th Seminar on Software Engineering, Florence, Italy, 1983.

    Google Scholar 

  17. Frey, W., Reyle, U. and Rohrer, C., Automatic Construction of a Knowledge Base by Analysing Texts in Natural Language, Proceedings of the International Joint Conference on Artificial Intelligence, Karlsruhe, Germany, 1983, 727–729.

    Google Scholar 

  18. Furukawa, K. and Fucl II, K., Knowledge Engineering and the Fifth Generation Computers, IEEE Database Engineering 6, 4 (December 1983).

    Google Scholar 

  19. Furukawa, K., Kunifuji, S., Takeuchi, A. and Ueda, K., The Conceptual Specification of the Kernel Language Version 1, Draft Paper, 1984.

    Google Scholar 

  20. Furukawa, K., Takeuchi, A. and Kunifuji, S., Mandala: A Knowledge Programming Language based on Concurrent Prolog, ICOT Technical Memorandum TM-0028 (in Japanese) ICOT Technical Report TR-029 (in English), 1983.

    Google Scholar 

  21. Furukawa, K., Takeuchi, A. and Kunifuji, S., Mandala: Knowledge Programming and System in the Logic-type Language, ICOT TR-043, February, 1984.

    Google Scholar 

  22. Furukawa, K., Takeuchi, A., Yasukawa, H. and Kunifuji, S., Mandala: A Logic Based Knowledge Programming System, International Conference On Fifth Generation Computer Systems, November 1984.

    Google Scholar 

  23. Futo, I., Combined Discrete/Continuous Modeling and Problem Solving, SCS MultiConference on AI, Graphics and Simulation, San Diego, California, January, 1985.

    Google Scholar 

  24. Futo, I. and Gergely, T., Planning Activity Of Cooperative I-Actors, IPAC International Symposium on AI, Leningrad, USSR, October, 1983.

    Google Scholar 

  25. Futo, I. and Gergely, T., A Logic Simulation Language For Modeling Cooperative Problem Solving System, AFCNET Information Congress, Hardware and Software Components and Architecture for the 5th Generation, Paris, France, March, 1985.

    Google Scholar 

  26. Goebel, R. G., Dlog: A Logic-Based Data Model for the Machine Representation of Knowledge, Technical Report, Department of Computer Science, University of Waterloo,Canada, 1983. A Summary was published in SigArt 87, January 1984.

    Google Scholar 

  27. Green, C. C. and Wesfold, S. J., Knowledge-Based Programming Self-Applied, in Introductory Readings in Expert Systems, D. Michie, (ed.), Gordon and Breach, New York, 1982, 339–359.

    Google Scholar 

  28. Grumbach, A., Knowledge Acquisition in Logic Programming, Proceedings of the First International Logic Programming Conference, Marseille, France, September, 1982.

    Google Scholar 

  29. Irani, K. B. and Shih, Y., Implementation of Very Large Prolog-Based Knowledge Bases on Data Flow Architectures, Proceedings of the First IEEE/AAAI Conference on Artificial Intelligence Applications, Denver, Colorado, December, 1984.

    Google Scholar 

  30. Kahn, K. M., The Implementation of Uniform: A Knowledge-Representation and Programming Language Based upon Equivalence of Descriptions, UPMAIL Technical Report 9, Uppsala University, 1982.

    Google Scholar 

  31. Kellog, C., Knowledge Management: A Practical Amalgam of Knowledge and Data Base Technology, Proceedings of the National Conference on Artificial Intelligence, Carnegie-Mellon University, August 1982.

    Google Scholar 

  32. Kitakami, H. and Others, A Method of Realizing a Knowledge Assimilation Mechanism, Technical Report TR-010, ICOT - Institute for New Generation Computer Technology, Tokyo, Japan, 1983. In Japanese.

    Google Scholar 

  33. Kitakami, H., Miyachi, T., Kunifuji, S. and Furukawa, K., A Methodology for Implementation of a Knowledge Acquisition System, Technical Memorandum TM-0024, ICOT - Institute for New Generation Computer Technology, Tokyo, Japan, 1983. Also in Proceedings of the International IEEE Logic Programming Conference, 1984.

    Google Scholar 

  34. Kogan, D. and Freiling, M., SIDUR-Structure Formalism For Knowledge Information Processing, International Conference On Fifth Generation Computer Systems, November 1984.

    Google Scholar 

  35. Konagaya, A. and Unemura, M., Knowledge.Information Processing Language: Shapeup, Technical Report, NEC Corporation, Japan, 1983.

    Google Scholar 

  36. Kunifuji, S., Asou, M., Takeuchi, A., Miyachi, T., Kitakami, H., Yokota, H., Yasakuwa, H. and Furukawa, K., Amalgamation of Object Knowledge and Meta Knowledge by Prolog and Its Applications, Knowledge Engineering and Artificial Intelligence Working Group of the Information Processing Society of Japan,June, 1983. preprint 30–1, TR009.

    Google Scholar 

  37. Kunifuji, S., Takeuchi, A., Furukawa, K., Ueda, K. and Kurukawa, T., A Logic Programming Language for Knowledge Utilization and Realization, Proceedings of the Prolog Conference,Tukuba, Japan, 1982. In Japanese.

    Google Scholar 

  38. Lee, R. M., Applications Software and Organizational Change: Issues in the Representation of Knowledge, Information Systems 8, 3 (1983), 187–194.

    Article  Google Scholar 

  39. Lieberman, H., Programming Descriptive Analogies by Example, Internal Paper, AI Laboratory, MIT, December 1983.

    Google Scholar 

  40. Markusz, Z. S., Knowledge Representation of Design in Many-Sorted Logic, Proceedings Seventh International Joint Conference on Artificial Intelligence, August 1981.

    Google Scholar 

  41. Miyachi, T., Kunifuji, S., Kitakami, H., Furukawa, K., Takeuchi, A. and Yokota, H., A Proposed Knowledge Assimilation Method for Logic Databases, Technical Memorandum TM-0004 (In Japanese), ICOT - Institute for New Generation Computer Technology, Tokyo, Japan, 1983. English Version in Proceedings of the International IEEE Logic Programming Conference, 1984.

    Google Scholar 

  42. Mizoguchi, F., A Software Environment for Developing Knowledge-Based Systems, in Computer Science and Technologies: 1982, T. Kitagawa, (ed.), Elsevier North-Holland, New-York, 1982, 334–349.

    Google Scholar 

  43. Mizoguchi, F., Katayama, Y. and Owada, H., Looks: Knowledge Representation System For Designing Expert System In The Framework of Logic Programming, International Conference On Fifth Generation Computer Systems,November 1984.

    Google Scholar 

  44. Motoda, H., Yamada, N. and Yoshida, K., A Knowledge Based System For Plant Diagnosis, International Conference On Fifth’ Generation Computer Systems, November 1984.

    Google Scholar 

  45. Mozetic, I., Bratkö, I. and Navrao, L., An Experiment in Automatic Synthesis of Expert Knowledge through Qualitative Modelling, Proceedings of Workshop on Logic Programming, Algarve, Portugal, 1983.

    Google Scholar 

  46. Nakashima, H., A Knowledge Representation System: Prolog/KR, Doctoral Dissertation, University of Tokyo, 1983.

    Google Scholar 

  47. Nakashima, H., Knowledge Representation in Prolog/KR, Proceedings of the International IEEE Conference on Logic Programming, Atlantic City, 1984.

    Google Scholar 

  48. Nilsson, M., A Logical Model of Knowledge and Belief, UPMAIL Technical Report 28, Uppsala University, 1984.

    Google Scholar 

  49. Ogawa, Y. and Others, Knowledge Representation and The Inference Environment:KRINE, an Approach to Integration of Frame, Prolog and Graphics, International Conference On Fifth Generation Computer Systems, November 1984.

    Google Scholar 

  50. Ohsuga, S., Knowledge-Based Systems as a New Interactive Computer System of the Next Generation, in Computer Science and Technologies: 1982, T. Kitagawa, (ed.), Elsevier North-Holland, New-York, 1982, 227–249.

    Google Scholar 

  51. Parsaye, K., Database Management, Knowledge Base Management and Expert System Development in Prolog, Proceedings of Workshop on Logic Programming, Algarve, Portugal, 1983.

    Google Scholar 

  52. Rich, C., Knowledge Representation Languages and Predicate Calculus: How to Have Your Cake and Eating it Too, Proceedings of the National Conference on Artificial Intelligence Carnegie-Mellon University, August 1982. AAAI82.

    Google Scholar 

  53. Sakai, K. and Miyachi, T., Incorporating Naive Negation into Prolog, Technical Report TR-0028, ICOT - Institute for New Generation Computer Technology, Tokyo, Japan, 1983.

    Google Scholar 

  54. Sandewall, E., PCF-2, A First-Order Calculus for Expressing Conceptual Information, Technical Report, Computer Science Department, Uppsala University, 1972.

    Google Scholar 

  55. Schoppers, M. J., Logic-programming production systems with Metalog, Software Practice and Experience 13, (1983).

    Google Scholar 

  56. Schoppers, M. J. and Harandi, M. T., Metalog: a language for knowledge representation and manipulation, Conference on Artificial Intelligence, Rochester, Michigan, April, 1983.

    Google Scholar 

  57. Shapiro, S. C., Representing and Locating Deduction Rules in a Semantic Network, SIGART Newsletter, June 1977.

    Google Scholar 

  58. Shapiro, S. C., The SNePS Semantic Network Processing System, in Associative Networks, N. V. Finder, (ed.), Academic Press, 1979, 179–203.

    Google Scholar 

  59. Shapiro, S. C., Mckay, D. P., Martins, J. and Mogado, E., Snepslog: A Higher Order Logic Programming Language, Technical Report No. 8, Computer Science Department, SUNY at Buffalo, Amherst, NY, 1981.

    Google Scholar 

  60. Skuce, D., Towards Communicating Qualitative Knowledge between Scientists and Machines, Ph.D. Dissertation, Department of Computer Science, McGill University, Montreal, 1977.

    Google Scholar 

  61. Skuce, D., An Approach to Defining and Communicating the Conceptual Structure of Data, Technical Report TR-79–05, Department of Computer Science, University of Ottawa, Canada, 1979.

    Google Scholar 

  62. Skuce, D., Expressing Qualitative Biomedical Knowledge Exactly Using the Language LESK, International Journal of Computing in Biology and Medecine 15, 1 (1982), 57–69.

    Article  Google Scholar 

  63. Skuce, D., Lesk: A Language Synthesizing Natural Language, Computer Language and Logic, Proceedings Annual Conference on Computational Linguistics COLING-82, Prague, July 1982.

    Google Scholar 

  64. Skuce, D., Lesk Tutorial, Technical Report TR-83–12, Department of Computer Science, University of Ottawa, Canada, 1983.

    Google Scholar 

  65. Skuce, D., Expressing Academic Regulations in LESK, Technical Report TR-83–13, Department of Computer Science, University of Ottawa, Canada, 1983.

    Google Scholar 

  66. Skuce, D., Expressing UNIX Knowledge in LESK, Technical Report TR-83–14, Department of Computer Science, University of Ottawa, Canada, 1983.

    Google Scholar 

  67. Skuce, D., Formal Semantics of Knowlog, Technical Report TR-83–15, Department of Computer Science, University of Ottawa, Canada, 1983.

    Google Scholar 

  68. Skuce, D., Knowlog: A Prolog Extension for Implementing Expert Knowledge Systems, Technical Report TR-83–05, Department of Computer Science, University of Ottawa, Canada, 1983.

    Google Scholar 

  69. Stabler, E. P. and Elcock, E. W., Knowledge Representation in an Efficient Deductive Inference System, Proceedings of Workshop on Logic Programming, Algarve, Portugal, 1983.

    Google Scholar 

  70. Sterling, L., Logical Levels of Problem Solving, Proceedings of the Second International Logic Programming Conference, S. A. Tarnlund, ed., Uppsala University, Uppsala, Sweden, July 2–6, 1984, 231–242.

    Google Scholar 

  71. Stolfo, S. J., Knowledge Engineering: Theory and Practice, IEEE 1988 Proceedings of Trends and Applications in Artificial Intelligence, 1983.

    Google Scholar 

  72. Sugiyama, K., Kameda, M., Akiyama, K. and Makinouchi, A., A Knowledge Representation System in Prolog, Technical Report TR-0024, ICOT - Institute for New Generation Computer Technology, Tokyo, Japan, 1983.

    Google Scholar 

  73. Suwa, M. and Others, Knowledge Base Mechanisms, in Fifth Generation Computer Systems, T. Moto-Oka, (ed.), North-Holland, New York, 1981. Proceedings of the First International Conference on Fifth Generation Computer Systems.

    Google Scholar 

  74. Tokoro, M., Ishikawa, Y., Maruichi, T. and Kawamura, M., An Object Oriented Approach To Knowledge Systems, International Conference On Fifth Generation Computer Systems, November 1984.

    Google Scholar 

  75. Vassiliou, Y., Clifford, J. and Jarke, M., Access to Specific Declarative Knowledge by Expert Systems: The Impact of Logic Programming, Technical Report, School of Business, University of New York, 1983.

    Google Scholar 

  76. Walker, A., Syllog: A Knowledge-Based Data Management System From Knowledge, 034–3481, Department of Computer Science, New York University, 1981.

    Google Scholar 

  77. Walker, A., Automatic Generation of Explanations of Results From Knowledge Bases, RJ-3481, Ibm T.J. Watson Research Center, 1982.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Melbourne, 3052, Parkville, Victoria, Australia

    Isaac Balbin

  2. Computer Science Department, University of California, 90024, Los Angeles, California, USA

    Koenraad Lecot

Authors
  1. Isaac Balbin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Koenraad Lecot
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Isaac Balbin and Koenraad Lecot

About this chapter

Cite this chapter

Balbin, I., Lecot, K. (1985). Knowledge Representation Issues in Logic Programming. In: Logic Programming. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-5044-3_17

Download citation

  • DOI: https://doi.org/10.1007/978-94-009-5044-3_17

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-0-908069-15-6

  • Online ISBN: 978-94-009-5044-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation