{"type":"ScholarlyArticle","title":"Theoretical Basis for a Knowledge Representation System","authors":[{"name":"Setsuo Ohsuga","slug":"setsuo-ohsuga","given":"Setsuo","family":"Ohsuga","affiliation":"Institute of Space and Aerona utical Science University of Tokyo 4-6-1 Komaba Meguro-ku Tokyo 153 Japan"}],"abstract":"Theoretical basis for a system named the SBDS (Structure Based Deduction System) including a formalism for representation of knowledge and an inferential algorithm is presented. This system is designed as a part of an intelligen t interactive system to support man carrying out such the intelligent activities as engineering design, decision making, scientific research and so forth. The major emphases on the s y stem are : (1) high processing efficiency, (2) high expressive power so that user can repres e nt any knowledge he wishes and (3) easy access to databases.","doi":null,"url":"https://ijcai.org/proceedings/1979/148","pdf":"https://ijcai.org/proceedings/1979/0148.pdf","markdown":"https://ijcai.org/proceedings/1979/148.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/148","volume":{"slug":"1979","title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1979","url":"https://ijcai.org/proceedings/1979/","year":1979,"location":"Tokyo, Japan","dates":"August 20-23, 1979","editors":"Bruce G. Buchanan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":148,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Bobrow, D.G.(chaired) \"A Panel on Knowledge Representation.\" In Proc. 5th IJCAI,l977,pp.983 -992. ----- (2","title":"A Panel on Knowledge Representation","authors":"D G Bobrow","year":null,"venue":"Proc. 5th IJCAI,l977","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Chang,C.L.& Lee,R,C.T. \"Symbol Logic and Mechanical Theorem Proving.\" Academic Press, 1973.","title":"Symbol Logic and Mechanical Theorem Proving","authors":"C L Chang, R Lee, C T","year":"1973","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"Codd,E.F. \"Recent [nvestigations in Rela- tional Data Base Systems\", Proc. IFIP Congress, Aug. 1974.","title":"Recent [nvestigations in Relational Data Base Systems","authors":"E F Codd","year":"1974","venue":"Proc. IFIP Congress","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Date C.J. \"An Introduction to Database Sys- terns\", Addison-Wesley, 1975.","title":"An Introduction to Database Sys-terns","authors":"C J Date","year":"1975","venue":null,"doi":null,"url":null,"internal_url":null},{"position":5,"raw":"Emden Van \"Programming with Resolution Log- ic\", Machine .!_I_!_tegigenc_ e 8, pp266-299.","title":"Programming with Resolution Logic","authors":"Emden Van","year":null,"venue":"Machine .!_I_!_tegigenc_ e","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"Feigenbaum E.A. \"The Art of Artlficlal In- telligence, Themes and Case Studies of Knowl- edge Engineering\", 5th IJCAI_ ppl014-1029.","title":"The Art of Artlficlal Intelligence","authors":"E A Feigenbaum","year":null,"venue":"Themes and Case Studies of Knowledge Engineering","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Green C. \"The Use of Theorem Proving Tech- niques in Question Answering System\", Proc. 23..:_ rd Nat. Conf. ACM, 1968.","title":"The Use of Theorem Proving Techniques in Question Answering System","authors":"C Green","year":"1968","venue":"Nat. Conf. ACM","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Huet G.P. \"A Mechanization of Type Theory\" 3rd IJCAI 1973. pp.l39-146.","title":"A Mechanization of Type Theory\" 3rd IJCAI","authors":"G P Huet","year":"1973","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"Kellog C.H. & Klahr P. \"Adding a Deductive Capability to a Data Management System\", Second y_~D~ Sept. 1976.","title":"Adding a Deductive Capability to a Data Management System","authors":"C H Kellog, P Klahr","year":"1976","venue":"Second","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"Kowalski R.A. \"Predicate Logic as Pro- granuning Language\". Proc. IFIP-74. pp569-574.","title":"Predicate Logic as Progranuning Language","authors":"R A Kowalski","year":null,"venue":"Proc. IFIP-74","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"Krivine J. \"Introduction to Axiomatic Set Theory\", D.Reidel Pub. Co. 1971.","title":"Introduction to Axiomatic Set Theory","authors":"J Krivine","year":"1971","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"Ohsuga S. \"Semantic Information Processing in Man-Machine Systems\", Proc. 1977 IEEE Con- ference on Decision ~ Coptr~ PR1351-1358, Dec. 1977.","title":"Semantic Information Processing in Man-Machine Systems","authors":"S Ohsuga","year":"1977","venue":"Proc. 1977 IEEE Conference on Decision ~ Coptr~ PR","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"Ohsuga S. \"Towards Intelligent Interact.ive Systems\", Proc. the IFIP ~G.5.2 Worksho.E. Seillac II on Methodorogy of Interaction (to appear) North-Holland Pub. Co. 1979.","title":"Towards Intelligent Interact.ive Systems","authors":"S Ohsuga","year":"1979","venue":"Proc. the IFIP ~G.5.2 Worksho.E. Seillac II on Methodorogy of Interaction","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"Robinson J.A. \"A Machine Oriented Logic Based on the Resolution Principle\", JACM Vol.l2 Jan. 1965.","title":"A Machine Oriented Logic Based on the Resolution Principle","authors":"J A Robinson","year":"1965","venue":"JACM","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"Shapiro S.C. \"Path-Based and Node-Based Inference in Semantic Networks\", TINLAP-2. Jan. 1978 pp219-225.","title":"Path-Based and Node-Based Inference in Semantic Networks","authors":"S C Shapiro","year":"1978","venue":null,"doi":null,"url":null,"internal_url":null},{"position":16,"raw":"S-V-Direct Object 2) S-V-to-Infinitive 3) S-V-Noun-to-Infinitive 4) S-V-Noun-(to be) -Complement 5) S-V-Noun-Tnfinitive 6) S-V- Noun-Present Particle 7) S-V-Object-Adgective 8) S-V-Noun 9) S-V-Past Particle 10) S-V- Adjective 11) S-V-that clause 12) S-V-Noun- that clause 13) S-V-Conjunctive-to-Infinitive 14) S-V-Noun-Conjunctive-to-Infinitive 15) S- V-Conjunctive Clause 16) S-V-Noun- Conjunctive Clause 17) S-V-Gerund 18) S-V- Direct Object-Preposition-Prep.Object 19) S-V -Indirect Object-Direct Object 20) S-V-(for)- Complement 21) S-V 22) S-V-Predicative 23) S-V-Adverbial Adjunct 24) S-V-Preposition -Prepositional Object 25) S-V-to-Infinitive Examples: 1) X likes Y :(LIKE X Y) 2) X intends to do\" :(INTEND X (DO X .. ))","title":"S-V-Direct Object 2) S-V-to-Infinitive 3) S-V-Noun-to-Infinitive 4) S-V-Noun-(to be) -Complement 5) S-V-Noun-Tnfinitive 6) S-V-Noun-Present Particle 7) S-V-Object-Adgective 8) S-V-Noun 9) S-V-Past Particle 10) S-V-Adjective 11) S-V-that clause 12) S-V-Nounthat clause 13) S-V-Conjunctive-to-Infinitive 14) S-V-Noun-Conjunctive-to-Infinitive 15) S-V-Conjunctive Clause 16) S-V-Noun-Conjunctive Clause 17) S-V-Gerund 18) S-V-Direct Object-Preposition-Prep.Object 19) S-V -Indirect Object-Direct Object 20) S-V-(for)-Complement 21) S-V 22) S-V-Predicative 23) S-V-Adverbial Adjunct 24) S-V-Preposition -Prepositional Object 25) S-V-to-Infinitive Examples: 1) X likes Y :(LIKE X Y) 2) X intends to do","authors":null,"year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":17,"raw":"X tells Y that Z does••• :(TELL X Y (DO Z ... ))","title":"TELL X Y","authors":"Does","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":18,"raw":"X enjoys doing Y • • :(ENJOY X (DO X Y • •)) 19) X gives Y Z :(GIVE X Y Z) Table 1 Basic patterns of sentences","title":"X gives Y Z :(GIVE X Y Z) Table 1 Basic patterns of sentences","authors":null,"year":null,"venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}