Skip to main content
SpringerLink
Log in
Book cover

Conference on Logic Programming

LP 1986: Logic Programming '86 pp 22–33Cite as

Kore : A hybrid knowledge programming environment for decision support based on a logic programming language

  • Conference paper
  • First Online:

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

Abstract

We discuss problems to construct intelligent decision support systems, and propose KORE (Knowledge Oriented Reasoning Environment) as an environment for developing such systems. KORE is a hybrid tool for assisting unified knowledge-based program construction, and is composed of four subsystems. Each of the subsystems provides a unique knowledge programming paradigm which is object-oriented (e.g., SMALLTALK), data-oriented (e.g., demons), rule-oriented (e.g., OPS5), network-oriented (e.g., semantic networks), or logic-oriented (e.g., Prolog) programming paradigm. These subsystems can be integrated by using a relational table based on a logic programming language, which is used as a common internal representation for information. The integration by the relational table enables to provide a unifying principle for the different programming paradigms. KORE can offer a hybrid environment to solve problems on intelligent decision support systems.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Alter SL (1980) Decision Support System: Current Practice and Continuing Challenges. Addison-Wesley, Mass., p316

    Google Scholar 

  • Astrahan MM (1975) Implementation of a Structured English Query Language. Communications of ACM, 18:580–589

    Google Scholar 

  • Bobrow DG, Stefik MJ (1983) The LOOPS Manual. KB-VLISI-81-13

    Google Scholar 

  • Bobrow DG (1984) IF PROLOG IS ANSWER WHAT IS THE QUESTION. Proc. The International Conference on Fifth Generation Computer System, 138–145

    Google Scholar 

  • Brachman RJ (1983) What IS-A is and isn't: An Analysis of Taxonomic Links in Semantic Networks. Computer 16 (October): 30–36

    Google Scholar 

  • Dahl V (1978) On Database Systems Development Through Logic. ACM Transactions on Database Systems 7:102–123

    Google Scholar 

  • Doyle J (1978) Truth Maintenance System for Problem Solving. MIT, AI-TR-419

    Google Scholar 

  • Fikes R, Kehler T (1985) The Role of Frame-Based Representation in Reasoning. Communication of the ACM 28: 904–920

    Google Scholar 

  • Forgy CL (1981) OPS5 User's Manual. CMU-CS-81-135, July

    Google Scholar 

  • Forgy CL (1982) Rete: A Fast Algorithm for the Many Pattern/ Many Object Pattern Match Problem. Artificial Intelligence 19: 17–37

    Google Scholar 

  • Goldberg I, Robson D (1983) Smalltalk-80: The Language and it's Implementation. Addison-Wesley, Mass., p714

    Google Scholar 

  • Gorry GA, Morton MSS (1971) A Framework for Management Information Systems. Sloan Management Review 13: 55–70

    Google Scholar 

  • Hayes-Roth F (1984) The Knowledge-Based Expert System: A tutorial. Computer 17 (September): 11–28

    Google Scholar 

  • Keen PGW, Morton MSS (1978) Decision Support Systems: An Organizational Perspective. Addison Wesley, Mass, p264

    Google Scholar 

  • Keeney RL, Raiffa H (1976) Decisions with Multiple Objectives: Preferences and Value Tradeoffs. Wiley, p569

    Google Scholar 

  • Kowalski R (1977) Logic for Problem Solving. Elservier North Holland, 31–44

    Google Scholar 

  • Kowalski R (1978) LOGIC FOR DATA DESCRIPTION. In: Gallaire H (ed) LOGIC AND DATA BASES, Plenum Press, New York

    Google Scholar 

  • McDermott D (1983) Contexts and Data Dependencies: A Synthesis. IEEE, PAMI-5: 237–246

    Google Scholar 

  • Sacerdoti ED (1974) Planning in a hierarchy of abstraction spaces. Artificial Intelligence 13: 81–132

    Google Scholar 

  • Schneider HJ, Whinston A (1985) Editorial. Decision Support Systems 1: 1–4

    Google Scholar 

  • Simon HA (1960) The New Science of Management Decision. New York: Harper & Row

    Google Scholar 

  • Shintani T (1986) Knowledge Table: An Approach to Knowledge Utilization Mechanism for Knowledge Base. FUJITSU IIAS-SIS Research Report No. 70, p32

    Google Scholar 

  • Stallman RM, Sussman GJ (1977) Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis. Artificial Intelligence 9: 135–196

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. International Institute for Advanced Study of Social Information Science (IIAS-SIS), Fujitsu Limited, 140 Miyamoto, 410-03, Numazu-shi, Shizuoka, Japan

    Toramatsu Shintani, Yoshinori Katayama, Kunihiko Hiraishi & Mitsuhiko Toda

Authors
  1. Toramatsu Shintani
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yoshinori Katayama
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kunihiko Hiraishi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Mitsuhiko Toda
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Eiiti Wada

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Shintani, T., Katayama, Y., Hiraishi, K., Toda, M. (1987). Kore : A hybrid knowledge programming environment for decision support based on a logic programming language. In: Wada, E. (eds) Logic Programming '86. LP 1986. Lecture Notes in Computer Science, vol 264. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18024-9_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-18024-9_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18024-1

  • Online ISBN: 978-3-540-47712-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation