Scalable multiple representation and dynamic classification by multiple specialization of objects in OO-Prolog

  IJCTT-book-cover
 
         
 
© 2020 by IJCTT Journal
Volume-68 Issue-11
Year of Publication : 2020
Authors : Macaire Ngomo
DOI :  10.14445/22312803/IJCTT-V68I11P104

How to Cite?

Macaire Ngomo, "Scalable multiple representation and dynamic classification by multiple specialization of objects in OO-Prolog," International Journal of Computer Trends and Technology, vol. 68, no. 11, pp. 24-42, 2020. Crossref, 10.14445/22312803/IJCTT-V68I11P104

Abstract
This study takes place within the framework of the representation of knowledge by objects and 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 several design choices. In the context of this marriage, we describe the semantics of multiple inheritances in a non-deterministic approach, the conceptual choices of integration of multiple inheritances made for the design of the OO-Prolog language (an object-oriented extension of the Prolog language respecting logical semantics) as well as its application to multiple evolutionary representations that support classificatory reasoning and to dynamic classification by multiple specifications of logical objects.

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:195-234, 1993.
[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, 16 Aug 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, pp 448 450, St. Petersburg, Russia, July 1992.
[6] Daniel G. Bobrow, Linda G. DeMichiel, Richard P. Gabriel, Sonya E.Keene, Gregor Kiczales, 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., "La démarche objet. Concepts et outils.", AFNOR, 1994.
[9] Bowen, K.A. et Weinberg, T. A Meta Level Extension of Prolog, IEEE Inttl Symp. on Logic Prog. `B5 (1985), pp.48 53.
[10] Brachman R. J. and Schmolze J. G. "An overview of the KL-ONE Knowledge representation system," Cognitive Science, 9(2):171-216, 1985.
[11] CARDELLI L., “A semantics of Multiple Inheritance, LNCS”, Vol.137, Springer-Verlag, pp.51-67, 1984.
[12] CARDELLI L., “Typechecking Dependent Types and Subtypes, in Foundations of Logic and Functional Programming Workshop”, LNCS, vol. 306, Springer-Verlag, pp.44-57, 1985.
[13] CARDOSO R., MARIÑO O., QUINTERO A., Corrección y completud de la classification multi-puntos de vista de TROPES, Rapport Interne, Département d’Informatique, Université des Andes, Bogotá, 1992.
[14] CAPPONI C., CHAILLOT M., Construction incrémentale d’une base de classes correcte du point de vue des types, 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, pp.226-232, 1988.
[16] CLANCEY W.J., Heuristic Classification, Artificial Intelligence Journal, Vol. 27, n°. 4, 1985.
[17] CRUYPENNINCK F., Interface de visualisation et explication du raisonnement par classification d’objets complexes, Mémoire d’Ingénieur en Informatique, Conservatoire National d’Arts et Métiers, 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. , p.p. `20-443, 1988.
[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 : représentation multiple et classification d`objets avec points de vue », Thèse de doctorat en Sciences appliquées, Sous la direction de Gérard Comyn. Soutenue en 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. Raisonnement classificatoire dans une représentation à objets multi-points devue. Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1993. Français. tel-00005133
[25] DUCOURNAU R., HABIB M., La Multiplicité de l’héritage dans Les Langages à Objets. TSI, vol. 8, n°.1, janvier, pp. 41-62, 1989.
[26] DUCOURNAU R., Héritages et représentations, Mémoire, Diplôme d’Habilitation à diriger des recherches, spécialité : Informatique, Université Montpellier II, 1993.
[27] DUGERDIL P., Contribution à l’étude de la représentation des connaissances fondée sur les objets. Le langage OBJLOG. Thèse de l’Université d’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., pp. 245-256, 1991.
[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, pp.632-638, 1990.
[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):787–803, 1992.
[32] Gallaire, H. "Merging Objects and Logic Programming: Relational Semantics, Performance and Standardization". In Proc. AAAI`86, pp.754-758, Philadelphia, Pensylrania, 1986.
[33] Gandilhon T. “Proposition d’une extension objet minimale pour Prolog.”, Actes du séminaire de Programmation logique, Trégastel (mai 1987), pp. 483-506.
[34] [34] Gandriau, M. "CIEL: classes et instances en logique". Thèse de Doctorat, ENSEEIHT 1988, 151p.
[35] [35] Gloess, P.Y. "Contribution à l`optimisation de mécanisme de raisonnement dans des structures spécialisées de représentation de connaissances". Thèse d`état, Univ. de TechnWorldLogie de Compiègne, Janv. 1990.
[36] [36] Gloess, P.Y. M. Oros, C.M. LI, “U-Log3 = DataLog + Constraints”, (Prototype) Actes des JFPL95, Dijon (France), pp. 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):85 110, Oct. 1990.
[39] Ishikawa, Y. et Tokoro, 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):39 44, Nov. 1991.
[41] R. Jungclaus. Logic-Based Modeling of Dynamic Object Systems. PhD thesis, Technical University Braunschweig, Germany, 1993.
[42] [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 pp.376-385. doi: 10.1109/HICSS.1988.11828
[47] Prolog++ toolkit, an expressive and powerful object-oriented programming system, which combines the best of AI and OOPs. 47. http://www.lpa.co.uk/ppp.htm
[48] Malenfant, J. ObjVProlog-V: un modèle uniforme de métaclasses, classes et Instances adapté à la programmation logique, Université de Montréal, Dép. I.R.O., Pap. de Pech. 671 (Janvier 1989), 58 p.
[49] J. Malenfant, G. Lapalme, and J. Vaucher. OBJVPROLOG: Metaclasses in logic. In S. Cook, editor, European Conference on Object-Oriented Programming (ECOOP`89), pages 257 269, Nottingham, UK, July 1989.
[50] Malenfant, J. "Conception et Implantation d`un langage de programmation intégrant trois paradigmes: la programmation logique, la programmation par objets et la programmation répartie". Thèse de PhD, Univ. de Montréal, Mars 1990.
[51] P. Mancarella, A. Raffaetà, et F. Turini LOO: Un langage orienté objet Programmation Logique . Actes de 1995 conjointe GULP-PRODE Conférence sur la programmation déclarative (MI Sessa et M. Alpuente Frasnedo, eds), pp271-282, 1995.
[52] MARIÑO O., Classification d’objets dans un modèle multi-points de vue, Rapport de DEA d’informatique, INPG, Grenoble, 1989.
[53] MARIÑO O., RECHENMANN F., UVIETTA P. Multiple perspectives and classification mechanism in object-oriented representation, 9th ECAI, pp.425-430, Stockholm 1990.
[54] MARIÑO O., Classification d’objets composites dans un système de représentation de connaissances multi-points de vue, RFIA’91, Lyon-Villeurbanne, pp. 233-242, 1991.
[55] MASINI G., NAPOLI A. COLNET D. LEONARD D., TOMBRE K., Les langages à objets. Intereditions, 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, pp.774-779, 1992.
[59] Meyer B. “Eiffel: Programming for reusability and extendibility.”, ACM SIGPLAN Notices, 22(2):85-94, 1987.
[60] B. Meyer, “Reusability: The Case for object-oriented Design”, IEEESoftware 4, 2 (Mars 1987), pp.50 64.
[61] B. Meyer. “Object-Oriented Software Construction”. Prentice-Hall, New York, 1988.
[62] Meyer B. “Conception et programmation par objets, pour le génie logiciel de qualité”, InterEditions, 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, Jul 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, November 13-16, Jan 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, July 1999. (http://www.ci.uc.pt/logtalk/logtalk.html).
[68] A. Napoli, « Représentations à objets et raisonnement par classification en intelligence artificielle », Thèse de doctorat en Informatique. Soutenue en 1992, au CRIN - Centre de Recherche en Informatique de Nancy, France.
[69] [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) pp1-9, Pisa (IT), 1992.
[70] [70] NEBEL B., Reasoning and Revision in Hybrid Representation Systems, Lecture Notes in Artificial Intelligence, LNCS, vol. 422, Springer-Verlag, Berlin, 1990.
[71] NEWELL A., The Knowledge Level, Artificial Intelligence, Vol. 2 n°. 2, pp. 1-20, 1981.
[72] Ngomo M. , Pécuchet J-P. & Drissi-Talbi A. "Une approche déclarative et non-déterministe de la programmation logique par objets mutables". Actes des 4èmes Journées Francophones de Programmation Logique et Journées d’étude Programmation par contraintes et applications industrielles, Prototype JFPLC`95, pp.391-396, Dijon, 1995, France.
[73] Ngomo M. , Pécuchet J-P. & Drissi-Talbi A. "La gestion de l`héritage multiple en ObjTL". RPO’95 dans les Actes des 15èmes Journées Internationales IA’95, pp.261-270, Montpellier 1995, France.
[74] Ngomo M., Pécuchet J-P., Drissi-Talbi A. "Intégration des paradigmes de programmation logique et de programmation par objets : une approche déclarative et non-déterministe". Actes du 2ème Congrès bienal de l’Association Française des Sciences et Technologies de l’Information et des Systèmes, AFCET - Technologie Objet - 95, pp.85-94, Toulouse 1995, France.
[75] Ngomo M. "Intégration de la programmation logique et de la programmation par objets : étude, conception et implantation". Thèse de Doctorat d’Informatique, Université - INSA de Rouen, Décembre 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): April, pp.764-785, 2018, 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, (Vol.3, No. 2), pp.101-115, 2018.
[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, Vol. 07, No. 05, pp.2036-2051, May 2018.
[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, pp.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., Parallélisation de la classification d’objets dans un modèle de connaissances multi-points de vue, Thèse d’informatique, Université Joseph Fourier, Grenoble, juin 1993.
[82] ROSSAZZA Jean-Paul,Utilisation de hiérarchies de classes floues pour la représentation de connaissances imprécises et sujettes à exceptions : le système SORCIER, Thèse d’Informatique, Université Paul Sabatier de 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, pp.97 1988.
[85] Shapiro, E. "Concurrent Prolog: A progress report". IEEE Computer 19, pp. 44-58, Aug. 1986. (Also Chap. 5 in
[86] E. Shapiro, (Editor), "Concurrent Prolog", Vol. 1 and 2, MIT Press, 1987.
[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 pour le web sémantic / SWI-Prolog for (sémantic) web, 2017.
[92] T. Uustalu. Combining object-oriented and logic paradigms: A modal logic programming approach. In O. L. Madsen, editor, European Conference on Object-Oriented Programming (ECOOP`92), pages 98 113, June 1992.
[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, pp. 265-270, Atlantic City, New Jersey, 1984.

Keywords
Object-oriented logic programming, object-oriented representation, multiple inheritances, multi-point of view, classificatory reasoning.