{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T20:10:20Z","timestamp":1698005420595},"reference-count":39,"publisher":"Wiley","issue":"6","license":[{"start":{"date-parts":[[2007,3,21]],"date-time":"2007-03-21T00:00:00Z","timestamp":1174435200000},"content-version":"vor","delay-in-days":7384,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Systems &amp; Computers in Japan"],"published-print":{"date-parts":[[1987,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper discusses the conceptual design of a knowledge processing system. First, by means of knowledge processing technology, a new relationship is established between man and computers, and it becomes possible to adopt a new problem\u2010solving style. The paper discusses also the need to analyze the types of problems man has to solve, the manner of problem solving, and the limit to the capability of knowledge processing to design an effective computer\u2010aided problem\u2010solving system. It is concluded that the new problem\u2010solving system must be a knowledge processing system founded on the model\u2010based method. Then the requirements for the knowledge processing system and, in particular, for the knowledge representation language, are discussed. Finally, an example is used to show that a system satisfying these requirements is possible.<\/jats:p><jats:p>Here, the importance of the model building concept is stressed for establishing the new problem\u2010solving style and the declarative langauge including data structure for realizing the knowledge processing system that can aid the process. In general, the real problems are very complex, and it is impossible to solve them by a simple procedure. However, we have to approach the solution through a trial\u2010and\u2010error process. The knowledge processing system must be able to aid man in this process very naturally and without any restrictions on man's capability.<\/jats:p>","DOI":"10.1002\/scj.4690180607","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T13:52:26Z","timestamp":1183816346000},"page":"71-88","source":"Crossref","is-referenced-by-count":0,"title":["Intelligent problem\u2010solving system based on model building method"],"prefix":"10.1002","volume":"18","author":[{"given":"Setsuo","family":"Ohsuga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2007,3,21]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"The Handbook of Artificial Intelligence","author":"Barr A.","year":"1982"},{"issue":"5","key":"e_1_2_1_3_2","article-title":"Geometric Modelling, A Survey","volume":"11","author":"Bear A.","year":"1976","journal-title":"Computer Aided Design"},{"key":"e_1_2_1_4_2","first-page":"1","article-title":"Special Issue on Knowledge Representation","volume":"70","author":"Brackman S. L.","year":"1980","journal-title":"SIGART Newsletter"},{"key":"e_1_2_1_5_2","volume-title":"Databases and Programming Languages","author":"Brodie M. L.","year":"1984"},{"key":"e_1_2_1_6_2","series-title":"Acta Universitatis Tamperensis, Ser. B","first-page":"9","volume-title":"Information and Data Modelling: State of the Art and Research Directions","author":"Bubenko J. A.","year":"1983"},{"key":"e_1_2_1_7_2","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"Chang C. L.","year":"1972"},{"key":"e_1_2_1_8_2","first-page":"377","article-title":"A Relational Model of Data for Large Shared Data Banks","volume":"13","author":"Codd E. F.","year":"1980","journal-title":"Comm."},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90013-2"},{"key":"e_1_2_1_10_2","article-title":"A Glimpse of Truth Maintenance","volume":"232","author":"Doyle J.","year":"1979","journal-title":"Proc. 6th Int'l Joint Conf. on Artificial Intelligence"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/321978.321991"},{"key":"e_1_2_1_12_2","volume-title":"Mathematical Introduction to Logic","author":"Enderton H. B.","year":"1972"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/356924.356929"},{"key":"e_1_2_1_14_2","volume-title":"The Language and Its Implementation","author":"Goldberg A.","year":"1983"},{"key":"e_1_2_1_15_2","unstructured":"G.Han S.OhsugaandH.Yamauchi.The Application of Knowledge Base Technology to CAD Proc. IFIP W. G. 5.2 Expert Systems in Computer\u2010Aided Design (1987)."},{"key":"e_1_2_1_16_2","unstructured":"M.HaraguchiandS.Arikawa.Analogical Reasoning Based on the Theory of Analogy Research Report 105 Research Institute of Fundamental Information Science Kyushu Univ. (1985)."},{"key":"e_1_2_1_17_2","volume-title":"Building Expert Systems","author":"Hayes\u2010Roth F.","year":"1982"},{"key":"e_1_2_1_18_2","first-page":"228","volume-title":"The Art of Programming","author":"Knuth D. E.","year":"1973"},{"key":"e_1_2_1_19_2","first-page":"569","volume-title":"Predicate Logic as Programming Language","author":"Kowalski R. A.","year":"1974"},{"key":"e_1_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90008-7"},{"key":"e_1_2_1_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-3144-8"},{"key":"e_1_2_1_22_2","article-title":"Circumscription\u2010A Form of Non\u2010monotonic Reasoning","volume":"27","author":"McDermott D.","year":"1980","journal-title":"Artificial Intelligence 13\u20101 & 2"},{"key":"e_1_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90012-0"},{"key":"e_1_2_1_24_2","doi-asserted-by":"crossref","unstructured":"D.McLeod.Abstraction in Database Proc. of ACM Workshop on Data Abstraction Database and Conceptual Modelling19\u201325(1980).","DOI":"10.1145\/800227.806871"},{"key":"e_1_2_1_25_2","first-page":"291","volume-title":"Modeling by Computer","author":"Newell M.","year":"1977"},{"key":"e_1_2_1_26_2","first-page":"285","volume-title":"CAD System Framework","author":"Ohsuga S.","year":"1983"},{"key":"e_1_2_1_27_2","unstructured":"S.Ohsuga.A View to Knowledge Information System Design Proc. Int. Conf. on Computers Systems & Signal Processing I. E. E. E. Bangalore India (1984)."},{"issue":"1","key":"e_1_2_1_28_2","doi-asserted-by":"crossref","first-page":"121","DOI":"10.5109\/13363","article-title":"A Consideration to Knowledge Representation\u2010An Information Theoretic View","volume":"21","author":"Ohsuga S.","year":"1984","journal-title":"Bulletin of Informatics and Cybernetics"},{"key":"e_1_2_1_29_2","volume-title":"New Generation Computing","author":"Ohsuga S.","year":"1985"},{"key":"e_1_2_1_30_2","first-page":"29","volume-title":"Knowledge Engineering in Computer\u2010Aided Design","author":"Ohsuga S.","year":"1985"},{"key":"e_1_2_1_31_2","doi-asserted-by":"publisher","DOI":"10.1016\/0168-874X(85)90018-6"},{"issue":"7","key":"e_1_2_1_32_2","first-page":"1009","article-title":"Problem Solving System Based on Intelligent Model Building Method","volume":"69","author":"Ohsuga S.","year":"1986","journal-title":"Trans. I. E. C. E., Japan"},{"key":"e_1_2_1_33_2","volume-title":"Artificial Intelligence","author":"Rich E.","year":"1983"},{"key":"e_1_2_1_34_2","unstructured":"E. Y.Shapiro.Inductive inference of theories from facts Research Report 192 Yale Univ. (1981)."},{"key":"e_1_2_1_35_2","volume-title":"Computer\u2010Based Medical Consultations: MYCIN","author":"Shortliffe E. H.","year":"1976"},{"key":"e_1_2_1_36_2","volume-title":"Data Models","author":"Tsichirtzis D. C.","year":"1982"},{"key":"e_1_2_1_37_2","unstructured":"D.WeinrebandD.Moon.Flavors: Message Passing in the Lisp Machine MIT AI Memo No. 602 (1980)."},{"key":"e_1_2_1_38_2","doi-asserted-by":"publisher","DOI":"10.1145\/359038.359042"},{"key":"e_1_2_1_39_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90004-2"},{"key":"e_1_2_1_40_2","unstructured":"H.YamauchiandS.Ohsuga.KAUS as a Tool for Model Building and Evaluation Proc. 5th International Workshop on Expert Systems and Their Applications Avignon France May 13\u201315 (1985)."}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fscj.4690180607","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/scj.4690180607","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T02:30:03Z","timestamp":1697855403000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/scj.4690180607"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,1]]},"references-count":39,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1987,1]]}},"alternative-id":["10.1002\/scj.4690180607"],"URL":"https:\/\/doi.org\/10.1002\/scj.4690180607","archive":["Portico"],"relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,1]]}}}