IJBTT

Multiple Inheritance Mechanisms in Logic Objects Approach Based on Multiple Specializations of Objects
	© 2021 by IJCTT Journal
	Volume-69 Issue-10
	Year of Publication : 2021
	Authors : Macaire Ngomo
	DOI :  10.14445/22312803/IJCTT-V69I10P101

How to Cite?

Macaire Ngomo, "Multiple Inheritance Mechanisms in Logic Objects Approach Based on Multiple Specializations of Objects," International Journal of Computer Trends and Technology, vol. 69, no. 10, pp. 1-11, 2021. Crossref, https://doi.org/10.14445/22312803/IJCTT-V69I10P101

Abstract
This study takes place within the representation of knowledge by objects and, particularly, within the framework of our work on the marriage of logic and objects. On the one hand, object-oriented programming has proved to be appropriate for constructing complex software systems. On the other hand, logic programming is distinguished by its declarative nature, integrated inference, and well-defined semantic capabilities. In particular, inheritance is a refinement mechanism whose mode of application leaves a number of design choices. In the context of this marriage, we describe the semantics of multiple inheritances in a non-deterministic approach based on multiple specifications of logical objects. We also describe the conceptual choices for integrating multiple inheritances made for the design of the OO-Prolog language (an objectoriented extension of the Prolog language respecting logical semantics).

Keywords
Object-oriented logic programming, Object-oriented representation, Multiple inheritances, Multi-point of view, The semantics of multiple inheritances.

Reference

[1] Ait-Kaci, H. & Podelski, A. Towards a Meaning of LIFE. Proc. of the Third Int`l Conf. on Programming Language Implementation and Logic Programming, Lectures Notes in Comp. Sciences, Passaü, Aug. (1991).
[2] Ait-Kaci, H. &Podelski, A. Towards a Meaning of LIFE. Journal of Logic Programming, 16 (1993) 195-234.
[3] H. A ??t-Kaci, B. Dumant, R. Meyer, A. Podelski, P. Van Roy. The Wild LIFE Handbook, Paris Research Laboratory, prepublication edition, March (1994).
[4] V. Alexiev. Mutable Object State for Object-Oriented Logic Programming: A Survey. Technical Report TR 93-15, Dept. of Comp. Science, Univ. of Alberta, (1993).
[5] J.M.Andreoli, R.Pareschi, Linear objects: A logic framework for open system programming, In A. Voronkov, editor, Inter. Conference on Logic Programming and Automated Reasoning LPAR`92, St. Petersburg, Russia, 448-450 (1992).
[6] Daniel G. Bobrow, Linda G. DeMichiel, Richard P. Gabriel, Sonya E.Keene, GregorKiczales, and David A. Moon. Common Lisp Object System Specification, ACM SIGPLAN Notices, (1988).
[7] G. Booch, Object-Oriented Design with applications, The Benjamin/Cummings Publishing Company, Inc., Redwood City, California, (1992).
[8] Bouché M., The object approach. concepts and tools., AFNOR, 1994.
[9] Bowen, K.A. et Weinberg, T. A Meta Level Extension of Prolog, IEEE InttlSymp. on Logic Prog. `B5 (1985) 48- 53.
[10] Brachman R. J. and Schmolze J. G. An overview of the KL-ONE Knowledge representation system, Cognitive Science, 9(2) (1985) 171-216.
[11] Cardelli L., A semantics of Multiple Inheritance, LNCS, Springer-Verlag, 137 (1984) 51-67.
[12] Cardelli L., Type checking Dependent Types and Subtypes, in Foundations of Logic and Functional Programming Workshop, LNCS, Springer-Verlag, 306 (1985) 44-57.
[13] Cardoso R., Mariño O., Quintero A., Corrección y completud of the multi-point classification of TROPES vista, Internal report, Computer Science department, University of the Andes, Bogotá, (1992).
[14] Capponi C., Chaillot M., Incremental construction of a type-correct class base, Actes Journée Acquisition-Validation-Apprentissage, Saint-Raphael, (1993).
[15] Chouraqui E., Dugerdil Ph., Conflict solving in a Frame-like Multiple Inheritance System, ECAI, Munich, (1988) 226-232.
[16] Clancey W.J., Heuristic Classification, Artificial Intelligence Journal, 27 (4) (1985).
[17] Cruypenninck F., Visualization interface and explanation of reasoning by classification of complex objects, Thesis of computer engineer, National Conservatory of Arts and Crafts, CNAM, (1992).
[18] W. Chen and D. S. Warren. Objects as intensions. In Logic Programming: Proc. 5th Int`l Conf. and Symp., Seattle, WA, USA, 15 19 Aug 1988, pages 404 19. The MIT Press, Cambridge, MA, 1988.
[19] J. Conery. Logical Objects. Proc. of the Fifth Int`l Conf. on Logic Prog., (1988) 20-443.
[20] Davison, A. A Survey of Logic Programming-based Object-Oriented Languages. In Research Directions in Concurrent Object-Oriented Programming. The MIT Press, Cambridge, MA, (1993).
[21] L. Dekker, Frome: multiple representation and classification of objects with points of view, Doctoral thesis in Applied Sciences, Under the direction of Gérard Comyn. Supported in (1994) , à Lille 1.
[22] Linda G. DeMichiel and Richard P. Gabriel, The Common Lisp Object System: An Overview, ECOOP, (1987).
[23] Doma, A. Object-Prolog: Dynamic Object-Oriented Representation of Knowledge. In T. Henson, editor, SCS Multiconference on Artificial Intelligence and Simulation: The Diversity of Applications, pages 83-88, San Diego, CA, Feb. (1988).
[24] O. M. Drews. Classificatory reasoning in a representation with multi-points of view objects. Interface homme-machine [cs.HC]. Joseph-Fourier University - Grenoble I, 1993. France. tel-00005133
[25] DUCOURNAU R., HABIB M., The Multiplicity of Inheritance in Object-Based Languages. TSI, 8(1) (1989), janvier, 41-62.
[26] DUCOURNAU R., Legacies and representations, Memory, Diploma of Habilitation to direct research, specialty: IT, Montpellier University II, (1993).
[27] DUGERDIL P., Contribution to the study of object-based knowledge representation. The OBJLOG language. Thesis from the University of Aix-Marseille II, (1988).
[28] DUGERDIL P., Inheritance Mechanisms in the OBJLOG language: Multiple Selective and Multiple Vertical with Points of View in Inheritance Hierarchies in Knowledge Representation, M.Lenzerini, D.Nardi and M.Simi (éd.), John Wiley & Sons Ltd., (1991) 245-256.
[29] ESCAMILLA J., JEAN P., Relationships in an Object Knowledge Representation Model, Proceedings IEEE. 2nd Conference on Tools for Artificial Intelligence, Washington D.C. USA, (1990) 632-638.
[30] EUZENAT J., Classification dans les représentations par objets : produits de systèmes classificatoires, Rapport interne, Equipe SHERPA, INRIA, (1993).
[31] A. A. Fernandes, N. W. Paton, M. H. Williams, A. Bowles. Approaches to Deductive Object-Oriented Databases, Information and Software Technology, 34(12) (1992) 787–803.
[32] Gallaire, H. Merging Objects and Logic Programming: Relational Semantics, Performance, and Standardization. In Proc. AAAI`86, Philadelphia, Pennsylvania, (1986) 754-758.
[33] Gandilhon T. Proposal for a minimal object extension for Prolog., Proceedings of the Logical Programming Seminar, Trégastel (mai 1987) 483-506.
[34] Gandriau, M. CIEL: classes and instances in logic. Doctoral thesis, ENSEEIHT (1988) 151.
[35] Gloess, P.Y. Contribution to the optimization of reasoning mechanism in specialized knowledge representation structures. State thesis, Univ. of TechnWorld Logie of Compiegne, January. (1990).
[36] Gloess, P.Y. M. Oros, C.M. LI, U-Log3 = DataLog + Constraints, (Prototype) Actes des JFPL95, Dijon (France), 369-372.
[37] Goldberg, A. and Robson, D. Smalltalk-80: The language and its implementation. Addison-Wesley, (1983).
[38] J. Grant and T. K. Sellis. Extended database logic. Complex objects and deduction. Information Sciences, 52(1) (1990) 85 110.
[39] Ishikawa, Y. etTokoro, M. Orient84/K: An Object Oriented Concurrent Programming Language for Knowledge Representation, Object-Oriented Concurrent Programming (1987), W 159 198.
[40] R. Iwanaga and O. Nakazawa. Development of the object-oriented logic programming language CESP. Oki Technical Review, 58(142) (1991) 39 44.
[41] R. Jungclaus. Logic-Based Modeling of Dynamic Object Systems. Ph.D. thesis, Technical University Braunschweig, Germany, (1993).
[42] K. M. Kahn, E. D. Tribble, M. S. Miller, and D. G. Bobrow. VULCAN: Logical concurrent objects. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 75 112, Cambridge, MA, 1987. MIT Press. (Also Chap. 30 in [86a])
[43] Sonja E. Keene, Object-Oriented Programming in Common Lisp: a Programmer’s Guide to CLOS, Addison-Wesley, (1989).
[44] Kowalski, R. Algorithm = Logic + Control, Comm. ACM 22, 7 (1979) 424-436.
[45] Kowalski, R. Logic for problem solving. North-Holland, Amsterdam, (1979).
[46] L. Leonardi and P. Mello, Combining logic- and object-oriented programming language paradigms, in Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track, Kailua-Kona, HI, USA, (1988) 376-385. doi: 10.1109/HICSS.1988.11828
[47] Prolog++ toolkit is an expressive and powerful object-oriented programming system that combines the best of AI and OOPs. 47. http://www.lpa.co.uk/ppp.htm
[48] Malenfant, J. ObjVProlog-V: a uniform model of metaclasses, classes and Instances suitable for logic programming, Montreal university, Dep. I.R.O., Pap. from Pech. 671 (January 1989) 58.
[49] J. Malenfant, G. Lapalme, and J. Vaucher. OBJVPROLOG: Metaclasses in logic. In S. Cook, editor, European Conference on Object-Oriented Programming (ECOOP`89), Nottingham, UK, (1989) 257-269.
[50] Malenfant, J. Design and implementation of a programming language integrating three paradigms: logic programming, object-based programming and distributed programming . PhD thesis, University of Montreal, March (1990).
[51] P. Mancarella, A. Raffaetà, et F. Turini LOO: An Object-Oriented Logic Programming Language . Proceedings of the 1995 Joint GULP-PRODE Conference on Declarative Programming (MI Sessa et M. AlpuenteFrasnedo, eds), (1995) 271-282.
[52] MARIÑO O., Classification of objects in a multi-point of view model, DEA report in computer science , INPG, Grenoble, (1989).
[53] MARIÑO O., RECHENMANN F., UVIETTA P. Multiple perspectives and classification mechanism in object-oriented representation, 9th ECAI, Stockholm (1990) 425-430.
[54] MARIÑO O., Classification of composite objects in a multi-viewpoint knowledge representation system, RFIA’91, Lyon-Villeurbanne, (1991) 233-242.
[55] MASINI G., NAPOLI A. COLNET D. LEONARD D., TOMBRE K., object languages. Inter-editions, Paris, (1989).
[56] F. G. McCabe. Logic&Objects. International Series in Computer Science. Prentice-Hall, (1992).
[57] MAC GREGOR R.M., BURSTEIN M.H. Using a Description Classifier to Enhance Knowledge Representation, IEEE Expert Intelligent Systems, and Applications, juin, (1991).
[58] MAC GREGOR R.M., BRILL D., Recognition Algorithms for the LOOM Classifier, AAAI, San José, CA, Juillet, (1992) 774-779.
[59] Meyer B. Eiffel: Programming for reusability and extendibility., ACM SIGPLAN Notices, 22(2) (1987) 85-94.
[60] B. Meyer, Reusability: The Case for object-oriented Design, IEEESoftware 4, 2 (1987) 50-64.
[61] B. Meyer. Object-Oriented Software Construction. Prentice-Hall, New York, (1988).
[62] Meyer B. Design and programming by objects, for quality software engineering, Inter Editions, Paris (1990).
[63] Alexei A. Morozov, Actor Prolog: An object-oriented language with the classical declarative semantics, In Sagonas K, Tarau P, eds. Proc IDL Workshop, Paris, France: (1999) 39-53. Source: http://www.cplire.ru/Lab144/paris.pdf.
[64] Alexei A. Morozov, Actor Prolog: an object-oriented language with the classical declarative semantics, ResearchGate, (2001) (https://www.researchgate.net/scientific-contributions/28317372_Alexey_A_Morozov)
[65] Alexei A. Morozov, Olga Sushkova, Development of Agent Logic Programming Means for Heterogeneous Multichannel Intelligent Visual Surveillance, Proceedings of the 16th Ibero-American Conference on AI, Trujillo, Peru, 13-16 (2018).
[66] Moss C., Prolog++: The Power of Object-Oriented and Logic Programming, Addison-Wesley, (1994).
[67] P. Moura. Logtalk Object-oriented Programming in Prolog. Centre for Informatics and Systems, University of Coimbra, Coimbra, Portugal, (1999). (http://www.ci.uc.pt/logtalk/logtalk.html).
[68] A. Napoli, Object representations and reasoning by classification in artificial intelligence, Doctoral thesis in Computer Science. Defended in 1992, CRIN - Computer Science Research Center of Nancy, France.
[69] NAPOLI A., DUCOURNAU R., Subsumption in Object-Based Representations, Proceedings ERCIM Workshop on theoretical and practical aspects of knowledge representation, (rapport ERCIM 92-W001), Pisa (IT) 1-9 (1992).
[70] NEBEL B., Reasoning and Revision in Hybrid Representation Systems, Lecture Notes in Artificial Intelligence, LNCS, Springer-Verlag, Berlin, 422(1990).
[71] NEWELL A., The Knowledge Level, Artificial Intelligence, 2(2) (1981) 1-20.
[72] Ngomo M., Pécuchet J-P. & Drissi-Talbi A. A declarative and non-deterministic approach to logic programming by mutable objects. Proceedings of the 4th Francophone Days of Logical Programming and Study Days Constraint programming and industrial applications, Prototype JFPLC`95, , Dijon, France (1995) 391-396.
[73] Ngomo M. , Pécuchet J-P. & Drissi-Talbi A. Managing multiple inheritance in ObjTL. RPO’95 in the Proceedings of the 15th Days Internationales IA’95,(1995) 261-270, Montpellier, France.
[74] Ngomo M., Pécuchet J-P., Drissi-Talbi A. Integration of logic programming and object-oriented programming paradigms: a declarative and non-deterministic approach. Proceedings of the 2nd Biennial Congress of the French Association for Information and Systems Sciences and Technologies, AFCET - Object Technology - 95, Toulouse, (1995) 85-94.
[75] Ngomo M. Integration of logic programming and object-based programming: study, design and implementation. Computer Science Doctoral Thesis, University of Rouen - INSA Rouen, December (1996).
[76] Macaire Ngomo and Habib Abdulrab, A declarative approach of dynamic logic objects, International Journal of Engineering Sciences& Research Technology (IJESRT), ISSN: 2277-9655, 7(4) (2018) 764-785, DOI: 10.5281/zenodo.1228893
[77] Macaire Ngomo and Habib Abdulrab, A Declarative Approach of Dynamic Logic Objects, International Research Journal of Advanced Engineering and Science (IRJAES), ISSN: 2455-9024, 3(2) (2018) 101-115.
[78] Macaire Ngomo and Habib Abdulrab, A full declarative approach of dynamic logic objects, International Journal of Current Research in Life Sciences (IJCRL), ISSN: 2319-9490, 07(05) (2018) 2036-2051.
[79] Macaire Ngomo and Habib Abdulrab, Modelling And Implementation Of Dynamic Logic Objects In The Complete Declarative Approach`, Global Journal of Engineering Science and Research Management (GJES), ISSN 2349-4506, 77-785, 25(4): April 2018, DOI: 10.5281/zenodo.1238633
[80] D. Pountain. Adding Objects to Prolog, Byte, 15(8), 1990.
[81] QUINTERO A., Parallelization of object classification in a multi-viewpoint knowledge model, Computer science thesis, Joseph Fourier University, Grenoble, juin (1993).
[82] ROSSAZZA Jean-Paul, Use of fuzzy class hierarchies for the representation of imprecise knowledge subject to exceptions: the SORCIER system, Computer science thesis, Paul Sabatier University of Toulouse, (1990).
[83] SCHMOLZE J.G., LIPKIS T.A, Classification in the KL-ONE Knowledge Representation System, in Proceedings of the 8th. IJCAI, Karlsruhe, Germany, (1983).
[84] VOGEL C., Génie Cognitif, Collection Sciences cognitives, MASSON, PAris, 97 (1988).
[85] Shapiro, E. Concurrent Prolog: A progress report. IEEE Computer 19, (1986) 44-58. (Also Chap. 5 in)
[86] E. Shapiro, (Ed.), Concurrent Prolog, 1&2(1987), MIT Press.
[87] E. Shapiro, The family of Concurrent logic programming languages, Technical Report CS89-08, Depart. of Applied Mathematics and Computer Science, The Wietzmann Institute, Rehovot, (1989).
[88] SICStus Prolog, state-of-the-art, ISO standard compliant, Prolog development system. https://sicstus.sics.se/
[89] Steele G. L. Common Lisp: the language, second edition, Digital Press, (1990).
[90] Sterling, L. et Shapiro, E. L`Art de Prolog. MASSON (1990).
[91] SWI-Prolog for (sémantic) web, (2017).
[92] T. Uustalu. Combining object-oriented and logic paradigms: A model logic programming approach. In O. L. Madsen, editor, European Conference on Object-Oriented Programming (ECOOP`92), (1992) 98-113.
[93] WEGNER, P., The Object-Oriented Classification Paradigm, Dans Research Directions in Object-Oriented Programming, Bruce Shiver, Peter Wegner (éd.), The MIT Press, Cambridge, MA, (1987).
[94] Zaniolo, C. Object-Oriented Programming in Prolog. In Proc. of the IEEE International Symposium on Logic Programming, (1984) 265-270, Atlantic City, New Jersey.
[95] F. Rechenmann, A. Bensaid et D. Granier. SHIRKA: object-centered expert systems. Proceedings 4th international days on expert systems and their applications, mimeographed acts, Avignon, FR, (1984).
[96] F. Rechenmann et M.-S. Doize. SAFIR-SHIRKA: an object-centered knowledge-based system for financial analysis. Proceedings 7th international days on expert systems and their applications, Avignon, FR, (1987) 949-967.
[97] F. Rechenmann, P. Fontanille et P. Uvietta. S H I R K A: user manual. Internal report, INRIA — ARTEMIS Laboratory, Grenoble, FR, (1988).
[98] P. Barras, J. Blum, J.-C. Paumier, F. Rechenmann et P. Witomski. EVE: an object-centered knowledge-based PDE solver. Dans J. Rice, R. Vichnevetsky (éds.). Actes 2nd international conference on expert systems for numerical computing. rapport de recherché CSD-TR-963, Purdueuniversity, West-Lafayette, IN US, (1990) 1-3.