Representing Uncertainty in RuleML

• Autorzy: Damásio C.V. , Pan J.Z. , Stoilos G. , Straccia U.
• Języki publikacji: EN

Abstrakty

EN

The RuleML initiative defines a normalized markup for expressing and exchange rules in the Semantic Web. However, the syntax of the language is still limited and lacks features for representing rule-based languages capable of handling uncertainty and vagueness. It is desirable to have a general extension of RuleML which accommodates major existing languages proposed in the latest two decades. The main contribution of the paper is to propose such a general extension, showing how to encode many of the existing languages in this extension. It is detailed the important case of fuzzy rule languages. We hope this work can also provide some insights on how to cover uncertainty in the RIF framework.

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 82, nr 3
• Strony: 265--288
• Opis fizyczny: bibliogr. 49 poz.

Twórcy

autor

Damásio C.V.

autor

Pan J.Z.

autor

Stoilos G.

autor

Straccia U.

• Departmento de Informatica, Faculdade de Cincias e Tecnologia, Universidade Nova de Lisboa, Quinta da Torre, 2829-516 Caparica, Portugal,

Bibliografia

• [1] Alcântara, J., Damásio, C. V., Pereira, L. M.: An encompassing framework for Paraconsistent Logic Programs., J. Applied Logic, 3(1), 2005, 67-95.
• [2] Alsinet, T., Godo, L.: A Complete Calcultis for Possibilistic Logic Programming with Fuzzy Propositional Variables., UAI '00: Proceedings of the 16th Conference in Uncertainty in Artificial Intelligence, Stanford University, Stanford, California, USA, June 30 - July 3, 2000 (C. Boutilier, M. Goldszmidt, Eds.), Morgan Kaufmann, 2000.
• [3] Alsinet, T., Godo, L.: Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants., Int. J. Intell. Syst., 17(9), 2002, 887-924.
• [4] Alsinet, T., Godo, L.: Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants., Fuzzy Sets and Systems, 144(1), 2004, 43-65.
• [5] Baldwin, J. F., Martin, T. P., Pilsworth, B.W.: Fril - Fuzzy and Evidential Reasoning in Artificial Intelligence, Research Studies Press Ltd, 1995.
• [6] Boley, H., Bhavsar, V., Yang, L.: A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in Ebusiness Environments, Business Agents and the SemanticWeb 2004 (In conjunctionwith the 2003 Canadian AI Conference), number 47089 in NRC, 2003.
• [7] Boley, H., Kifer, M.: RIF Core Design.W3C Working Draft 30 March 2007, Available at http://www.w3.org/TR/2007/WD-rif-core-20070330.
• [8] Calmet, J., Lu, J., Rodriguez, M., Schü, J.: Signed formula logic programming: operational semantics and applications, Proceedings of the Ninth International Symposium on Foundations of Intelligent Systems (Z.W.Rás, M. Michalewicz, Eds.), 1079, Springer, Berlin, June 9-13 1996, ISBN 3-540-61286-6.
• [9] Cao, T.: Annotated fuzzy logic programs, Fuzzy Sets and Systems, 113(2), 2000, 277-298.
• [10] Cussens, J.: Parameter Estimation in Stochastic Logic Programs., Machine Learning, 44(3), 2001, 245-271.
• [11] Damásio, C. V., Medina, J., Ojeda-Aciego, M.: Sorted multi-adjoint logic programs: termination results and applications, Proceedings of JELIA'04, LNAI 3229, 2004.
• [12] Damásio, C. V., Medina, J., Ojeda-Aciego, M.: A tabulation procedure for first-order residuated logic programs: soundness, completeness and optimisations, Proceedings of FUZZ-IEEE'06, 2006, To appear.
• [13] Damásio, C. V., Pereira, L. M.: Monotonic and residuated logic programs, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings (S. Benferhat, P. Besnard, Eds.), 2143, Springer, 2001, ISBN 3-540-42464-4.
• [14] Damásio, C. V., Pereira, L. M.: Sorted monotonic logic programs and their embeddings, Proc. IPMU'04, 2004.
• [15] Dekhtyar, A., Dekhtyar, M. I., Subrahmanian, V. S.: Temporal Probabilistic Logic Programs, Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4 (D. D. Schreye, Ed.), 1999, ISBN 0-262-54104-1.
• [16] Dekhtyar, A., Subrahmanian, V. S.: Hybrid probabilistic programs, Journal of Logic Programming, 43(3), 2000, 187-250.
• [17] Dubois, D., Lang, J., Prade, H.: Towards Possibilistic Logic Programming, Proceedings of the 8th International Conference on Logic Programming (K. Furukawa, Ed.), MIT, June 1991, ISBN 3-540-55038-0.
• [18] Dubois, D., Lang, J., Prade, H.: Possibilistic Logic, in: Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning (D. Gabbay, C. J. Hogger, J. A. Robinson, Eds.), Oxford University Press, Oxford, 1994, 439-513.
• [19] Dubois, D., Prade, H., Eds.: Fudamentals of Fuzzy Sets, Kluwer Academic Publishers, 2000.
• [20] Dubois, D., Prade, H., Sandri, S.: Possibilistic logic with fuzzy constants and fuzzy quantifiers, Logic Programming and Soft Computing (F. Arcelli, T. Martin, Eds.),Wiley, 1998.
• [21] van Emden, M. H.: Quantitative Deduction and its Fixpoint Theory, The Journal of Logic Programming, 3(1), April 1986, 37-54.
• [22] Fitting, M.: Bilattices and the Semantics of Logic Programs, Journal of Logic Programming, 11, 1991, 91-116.
• [23] Guadarrama, S., Munoz-Hernandez, S., Vaucheret, C.: Fuzzy Prolog: a new approach using soft constraints propagation, Fuzzy Sets and Systems, 1(144), 2004, 127-150.
• [24] Hirtle, D.: RuleML 0.9 content models, 2006, http://www.ruleml.org/0.9/xsd/ content_models_09.pdf.
• [25] Kersting, K., Raedt, L. D.: Bayesian Logic Programs., ILP Work-in-progress reports (J. Cussens, A. M. Frisch, Eds.), 35, CEUR-WS.org, 2000.
• [26] Kifer, M., Subrahmanian, V. S.: Theory of Generalized Annotated Logic Programming and its Applications, The Journal of Logic Programming, 12(1, 2, 3 & 4), 1992, 335-367.
• [27] Lakshmanan, L. V. S., Sadri, F.: On a theory of probabilistic deductive databases, Theory and Practice of Logic Programming, 1(1), January 2001, 5-42.
• [28] Lakshmanan, L. V. S., Shiri, N.: A Parametric Approach to Deductive Databases with Uncertainty, IEEE Transactions Knowledge Data Engineering, 13(4), 2001, 554-570.
• [29] Loyer, Y., Straccia, U.: Default Knowledge in Logic Programs with Uncertainty, Proc. of the 19th Int. Conf. on Logic Programming (ICLP-03), number 2916 in Lecture Notes in Computer Science, Springer Verlag, Mumbai, India, 2003.
• [30] Lu, J. J.: Logic Programming with Signs and Annotations, Journal of Logic and Computation, 6(6), December 1996, 755-778.
• [31] Lukasiewicz, T.: Probabilistic logic programming with conditional constraints, ACM Transactions on Computational Logic, 2(3), 2001, 289-339, ISSN 1529-3785.
• [32] Lukasiewicz, T.: Probabilistic logic programming with conditional constraints, ACM Trans. Comput. Logic, 2(3), 2001, 289-339, ISSN 1529-3785.
• [33] Lukasiewicz, T.: Probabilistic Description Logic Programs., Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings (L. Godo, Ed.), 3571, Springer, 2005.
• [34] Lukasiewicz, T.: Fuzzy Description Logic Programs under the Answer Set Semantics for the SemanticWeb., Rules and Rule Markup Languages for the Semantic Web, Second International Conference, RuleML 2006, Athens, Georgia, USA, November 10-11, 2006, Proceedings (T. Eiter, E. Franconi, R. Hodgson, S. Stephens, Eds.), IEEE Computer Society, 2006.
• [35] McGuiness, D. L., van Harmelen, F.: OWL Web Ontology Language Overview, 2004, W3C Recommendation http://www.w3.org/TR/owl-features/.
• [36] Medina, J., Ojeda-Aciego, M., Vojt´aˇs, P.: Multi-adjoint Logic Programming with Continuous Semantics, Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings (T. Eiter, W. Faber, M. Truszczynski, Eds.), 2173, 2001, ISSN 0302-9743.
• [37] Muggleton, S.: Stochastic Logic Programs, Journal of Logic Programming, 2001, Accepted subject to revision.
• [38] Pan, J. Z., Stoilos, G., Stamou, G., Tzouvaras, V., Horrocks, I.: f-SWRL: A Fuzzy Extension of SWRL, Journal of Data Semantic, special issue on Emergent Semantics, 4090, 2006, 28-46.
• [39] Poole, D.: The Independent Choice Logic for Modelling Multiple Agents Under Uncertainty., Artif. Intell., 94(1-2), 1997, 7-56.
• [40] Sessa, M. I.: Approximate reasoning by similarity-based SLD resolution, Theoretical Computer Science, 275, 2002, 389-426.
• [41] Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J.: Uncertainty and RuleML Rulebases:A Preliminary Report, Proceedings of the International Conference on Rules and Rule Markup Languages for the Semantic Web (A. Adi, Ed.), 3791, Springer-Verlag, 2005.
• [42] Straccia, U.: Transforming fuzzy description logics into classical description logics, Proc. of the 9th European Conf. on Logics in Artificial Intelligence (JELIA-04), 2004.
• [43] Straccia, U.: Query Answering in Normal Logic Programs under Uncertainty, 8th European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-05), number 3571 in Lecture Notes in Computer Science, Springer Verlag, Barcelona, Spain, 2005.
• [44] Straccia, U.: Fuzzy Description Logic Programs, Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-06), 2006.
• [45] Straccia, U.: Query Answering under the Any-World Assumption for Normal Logic Programs, Proceedings of the 10th International Conference on Knowledge Representation (KR-06), 2006.
• [46] Vennekens, J., Verbaeten, S., Bruynooghe,M.: Logic Programs with Annotated Disjunctions., Proc. of ICLP 2004 (B. Demoen, V. Lifschitz, Eds.), 3132, Springer, 2004.
• [47] Vojtáš, P.: Fuzzy logic programming, Fuzzy sets and systems, 124(3), 2001, 361-370.
• [48] Vojtáš, P., Paul´ık, L.: Soundness and Completeness of Non-classical SLD-Resolution, Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings (R. Dyckhoff, H. Herre, P. Schroeder-Heister, Eds.), 1050, Springer, 1996, ISBN 3-540-60983-0.
• [49] Wagner, G.: A logical reconstruction of fuzzy inference in databases and logic programs, Proc. of 7th Int. Fuzzy Systems Association World Congress (IFSA'97), 1997.