PROBLEM SOLVING AND INFERENCE MECHANISMS
作者： Koichi FURUKAWA , Reiji NAKAJIMA , Akinori YONEZAWA , Shigeki GOTO , Akio AOYAMA
DOI: 10.1016/B978-0-444-86440-6.50008-6
关键词:
摘要: The heart of the fifth generation computer in prospect is powerful mechanisms for problem solving and inference. A deduction-oriented language planned to be designed, which, with its processor, will form core whole computing system. based on predicate logic extended features structuring facilities, meta structures relational data base interfaces. Parallel computation specialized hardware architectures are extensively investigated make possible efficient realization features. project includes an intelligent programming system, a knowledge representation inference system built core.
elsevier.com
sci-hub.st 参考文章(16)
Kurt Konoligc, A metalanguage representation of relational databases for deductive question-answering systems international joint conference on artificial intelligence. pp. 496- 503 ,(1981)
Akinari Masuyama, Yukoo Nozaka, Yuzuru Tanaka, Pipeline Searching and Sorting Modules as Components of a Data Flow Database Computer. ifip congress. pp. 427- 432 ,(1980)
Reiji Nakajima, Keiji Kojima, Taiichi Yuasa, The iota-Programming System - A Support System for Hieratchical and Modular Programming. ifip congress. pp. 299- 304 ,(1980)
Michael Georgeff, A framework for control in production systems international joint conference on artificial intelligence. pp. 328- 334 ,(1979) , 10.21236/ADA066561
Mehmet Dincbas, A Knowledge-Based Expert System for Automatic Analysis and Synthesis in CAD. ifip congress. pp. 705- 710 ,(1980)
Koji Okada, Kokichi Futatsugi, Specification Writing as Construction of Hierarchically Structured Clusters of Operators. ifip congress. pp. 287- 292 ,(1980)
Raymond Reiter, An Approach to Deductive Question-Answering Defense Technical Information Center. ,(1977) , 10.21236/ADA046550
Kenneth M Kahn, None, Uniform: a language based upon unification which unifies (much of) LISP, Prolog, and Act 1 international joint conference on artificial intelligence. pp. 933- 939 ,(1981)
Herve Gallaire, Claudine Lasserre, Controlling knowledge deduction in a declarative approach international joint conference on artificial intelligence. pp. 1- 6 ,(1979)
Kurt Konolige, A First-Order Formalization of Knowledge and Action for a Multiagent Planning System. ,(1980)