Current research trends in possibilistic logic: Multiple agent reasoning, preference representation, and uncertain databases

Studies in Computational Intelligence

Volumn 223, Issue , 2009, Pages 311-330

  Prade, Henri ^a  

^a UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 67651243669     PISSN: 1860949X     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-02190-9_15     Document Type: Article

References (77)

1. Alsinet, T., Chesñevar, C., Godo, L.: A level-based approach to computing warranted arguments in possibilistic defeasible logic programming. In: Proc. 2nd Inter. Conf. on Computational Models of Argument (COMMA 2008), Toulouse, May 28-30, pp. 1-12. IOS Press, Amsterdam (2008)
2. Alsinet, T., Godo, L.: A complete calculus for possibilistic logic programming with fuzzy propositional variables. In: Proc. 16th Conf. on Uncertainty in Artificial Intelligence (UAI 2000), Stanford, CA, pp. 1-10. Morgan Kaufmann, San Francisco (2000)
3. Alsinet, T., Godo, L., Sandri, S.: Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: A comparative description. Elec. Notes in Theor. Computer Sci. 66(5) (2002)
4. Amgoud, L., Prade, H.: Explaining qualitative decision under uncertainty by argumentation. In: Yolanda, G., Moo, R. (eds.) Proc. Conf. on Artificial Intelligence (AAAI 2006), Boston, USA, July 16-20, pp. 219-224. AAAI Press, Menlo Park (2006)
5. Ben Amor, N., Benferhat, S., Mellouli, K.: Anytime propagation algorithm for minbased possibilistic graphs. Soft Computing 8, 150-161 (2003)
6. Benferhat, S., Brewka, G., Le Berre, D.: On the relation between qualitative choice logic and possibilistic logic. In: Proc. 10th Inter. Conf. Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004), Perugia, July 4-9, pp. 951-957 (2004)
7. Benferhat, S., Dubois, D., Garcia, L., Prade, H.: On the transformation between possibilistic logic bases and possibilistic causal networks. Inter. J. of Approximate Reasoning 29, 135-173 (2002)
8. Benferhat, S., Dubois, D., Kaci, S., Prade, H.: Bridging logical, comparative and graphical possibilistic representation frameworks. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol. 2143, pp. 422-431. Springer, Heidelberg (2001)
9. Benferhat, S., Dubois, D., Kaci, S., Prade, H.: Possibilistic merging and distancebased fusion of propositional information. Annals of Mathematics and Artificial Intelligence 34, 217-252 (2002)
10. Benferhat, S., Dubois, D., Kaci, S., Prade, H.: Bipolar possibility theory in preference modeling: Representation, fusion and optimal solutions. Information Fusion 7, 135-150 (2006)
11. Benferhat, S., Dubois, D., Kaci, S., Prade, H.: Modeling positive and negative information in possibility theory. Int. J. of Intelligent Systems 23, 1094-1118 (2008)
12. Benferhat, S., Dubois, D., Lang, J., Prade, H.: Hypothetical reasoning in possibilistic logic: Basic notions and implementation issues. In:WAng, P.Z., Loe, K.F. (eds.) Between Mind and Computer, Fuzzy Science and Engineering, pp. 1-29. World Scientific Publ., Singapore (1994)
13. Benferhat, S., Dubois, D., Prade, H.: Practical handling of exception-tainted rules and independence information in possibilistic logic. Applied Intelligence 9, 101-127 (1998)
14. Benferhat, S., Dubois, D., Prade, H.: Towards a possibilistic logic handling of preferences. Applied Intelligence 14, 303-317 (2001)
15. Benferhat, S., Dubois, D., Prade, H.: Nonmonotonic reasoning, conditional objects and possibility theory. Artificial Intelligence 92, 259-276 (1997)
16. Benferhat, S., Dubois, D., Prade, H.: From semantic to syntactic approaches to information combination in possibilistic logic. In: Bouchon-Meunier, B. (ed.) Aggregation and Fusion of Imperfect Information, pp. 141-161. Physica-Verlag, Heidelberg (1998)
17. Benferhat, S., Dubois, D., Prade, H.: An overview of inconsistency-tolerant inferences in prioritized knowledge bases. In: Dubois, D., Klement, E.P., Prade, H. (eds.) Fuzzy Sets, Logic and Reasoning about Knowledge. Applied Logic Series, vol. 15, pp. 395-417. Kluwer, Dordrecht (1999)
18. Benferhat, S., Dubois, D., Prade, H., Williams, M.A.: A practical approach to revising prioritized knowledge bases. Studia Logica 70, 105-130 (2002)
19. Benferhat, S., Kaci, S.: Logical representation and fusion of prioritized information based on guaranteed possibility measures: Application to the distance-based merging of classical bases. Artificial Intelligence 148, 291-333 (2003)
20. Benferhat, S., Khellaf, F., Mokhtari, A.: Product-based causal networks and quantitative possibilistic bases. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 13, 469-493 (2005)
21. Benferhat, S., Lagrue, S., Papini, O.: Reasoning with partially ordered information in a possibilistic framework. Fuzzy Sets and Systems 144, 25-41 (2004)
22. Benferhat, S., Prade, H.: Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic. In: Proc. of the 9th Inter. Joint Conf. on Artificiel Intelligence (IJCAI 2005), Edinburgh, Scotland, pp. 1281-1286 (2005)
23. Benferhat, S., Prade, H.: Compiling possibilistic knowledge bases. In: Proc. of the 17th European Conference on Artificial Intelligence (ECAI 2006), pp. 337-341. IOS Press, Riva del Gardia (2006)
24. Benferhat, S., Sedki, K.: Two alternatives for handling preferences in qualitative choice logic. Fuzzy Sets and Systems 159, 1889-1912 (2008)
25. Benferhat, S., Smaoui, S.: Possibilistic causal networks for handling interventions: A new propagation algorithm. In: Proc. 22nd AAAI Conf. on Artificial Intelligence (AAAI 2007), Vancouver, Canada, July 22-26, pp. 373-378. AAAI Press, Menlo Park (2007)
26. Benferhat, S., Smaoui, S.: Hybrid possibilistic networks. Inter. J. of Approximate Reasoning 44, 224-243 (2007)
27. Benferhat, S., Titouna, F.: Min-based fusion of possibilistic networks. In: Proc. 4th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2005), Aachen, pp. 553-558 (2005)
28. Benferhat, S., Titouna, F.: Fusion and normalization of quantitative possibilistic networks. Applied Intelligence (2008) (to appear)
29. Benjelloun, O., Das Sarma, A., Halevy, A., Theobald, M., Widom, J.: Databases with uncertainty and lineage. The VLDB Journal 17, 243-264 (2008)
30. Blackburn, P.: Representation, reasoning, and reAational structures: a hybrid logic manifesto. Logic Journal of the IGPL 8, 339-625 (2000)
31. Boldrin, L.: A substructural connective for possibilistic logic. In: Froidevaux, C., Kohlas, J. (eds.) ECSQARU 1995. LNCS, vol. 946, pp. 60-68. Springer, Heidelberg (1995)
32. Bonnefon, J.F., Da Silva Neves, R., Dubois, D., Prade, H.: Predicting causality ascriptions from background knowledge: Model and experimental validation. International Journal of Approximate Reasoning 48, 752-765 (2008)
33. Bosc, P., Pivert, O.: About projection-selection-join queries addressed to possibilistic relational databases. IEEE Trans. on Fuzzy Systems 13, 124-139 (2005)
34. Boutilier, C., Brafman, R., Domshlak, C., Hoos, H., Poole, D.: CPnets: A tool for representing and reasoning with conditional ceteris paribus preference statements. Journal of Artificial Intelligence Research 21, 135-191 (2004)
35. Brewka, G., Benferhat, S., Le Berre, D.: Qualitative choice logic. In: Proc. 8th Inter. Conf. on Knowledge Representation and Reasoning, KR 2002, Toulouse, pp. 158-169 (2002); Final version in Artificial Intelligence 157, 203-237 (2004)
36. Chesñevar, C.I., Simari, G.R., Godo, L., Alsinet, T.: Argument-based expansion operators in possibilistic defeasible logic programming: Characterization and logical properties. In: Godo, L. (ed.) ECSQARU 2005. LNCS, vol. 3571, pp. 353-365. Springer, Heidelberg (2005)
37. Dubois, D., Hajek, P., Prade, H.: Knowledge-driven versus data-driven logics. Journal of Logic, Language, and Information 9, 65-89 (2000)
38. Dubois, D., Konieczny, S., Prade, H.: Quasi-possibilistic logic and its measures of information and conflict. Fundamenta Informaticae 57, 101-125 (2003)
39. Dubois, D., Lang, J., Prade, H.: Timed possibilistic logic. Fundamenta Informaticae 15, 211-234 (1991)
40. Dubois, D., Lang, J., Prade, H.: Dealing with multi-source information in possibilistic logic. In: Neumann, B. (ed.) Proc. of the 10th Europ. Conf. on Artificial Intelligence (ECAI 1992), Vienna, Austria, August 3-7, pp. 38-42 (1992)
41. Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Gabbay, D.M., et al. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 439-513. Oxford University Press, Oxford (1994)
42. Dubois, D., Lang, J., Prade, H.: Automated reasoning using possibilistic logic: Semantics, belief revision and variable certainty weights. IEEE Trans. on Data and Knowledge Engineering 6(1), 64-71 (1994)
43. Dubois, D., Le Berre, D., Prade, H., Sabbadin, R.: Using possibilistic logic for modeling qualitative decision: ATMS-based algorithms. Fundamenta Informaticae 37, 1-30 (1999)
44. Dubois, D., Prade, H.: Resolution principles in possibilistic logic. Int. J. of Approximate Reasoning 4(1), 1-21 (1990)
45. Dubois, D., Prade, H.: Epistemic entrenchment and possibilistic logic. Artificial Intelligence 50, 223-239 (1991)
46. Dubois, D., Prade, H.: Combining hypothetical reasoning and plausible inference in possibilistic logic. J. of Multiple Valued Logic 1, 219-239 (1996)
47. Dubois, D., Prade, H.: A synthetic view of belief revision with uncertain inputs in the framework of possibility theory. Int. J. Approx. Reasoning 17, 295-324 (1997)
48. Dubois, D., Prade, H.: Informations bipolaires: Une introduction. Information, Interaction, Intelligence (Revue I3) 3(1), 89-106 (2003)
49. Dubois, D., PraAe, H.: Possibilistic logic: a retrospective and prospective view. Fuzzy Sets and Systems 144, 3-23 (2004)
50. Dubois, D., Prade, H.: A bipolar possibilistic representation of knowledge and preferences and Its applications. In: Bloch, I., Petrosino, A., Tettamanzi, A.G.B. (eds.) WILF 2005. LNCS (LNAI), vol. 3849, pp. 1-10. Springer, Heidelberg (2006)
51. Dubois, D., Prade, H.: Toward multiple-agent extensions of possibilistic logic. In: Proc. IEEE Inter. Conf. on Fuzzy Systems (FUZZ-IEEE 2007), London (UK), July 23-26, pp. 187-192 (2007)
52. Dubois, D., Prade, H., Sandri, S.: A possibilistic logic with fuzzy constants and fuzzily restricted quantifiers. In: Martin, T.P., Arcelli-Fontana, F. (eds.) Logic Programming and Soft Computing, pp. 69-90. Research Studies Press, Baldock (1998)
53. Dupin de Saint-Cyr, F., Prade, H.: Possibilistic handling of uncertain default rules with applications to persistence modeling and fuzzy default reasoning. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proc. 10th Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District, UK, June 2-5, pp. 440-451. AAAI Press, Menlo Park (2006)
54. Fariñas del Cerro, L., Herzig, A.: A modal analysis of possibility theory. In: Jorrand, P., Kelemen, J. (eds.) FAIR 1991. LNCS, vol. 535, pp. 11-18. Springer, Heidelberg (1991)
55. Gabbay, D.: Labelled Deductive Systems, vol. 1. Oxford University Press, Oxford (1996)
56. Garcia, L., Sabbadin, R.: Possibilistic influence diagrams. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) Proc. 17th Europ. Conf. on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, August 29 - September 1, pp. 372-376. IOS Press, Amsterdam (2006)
57. Gardenförs, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. The MIT Press, Cambridge (1988)
58. HadjAli, A., Kaci, S., Prade, H.: Database preferences queries - A possibilistic logic approach with symbolic priorities. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol. 4932, pp. 291-310. Springer, Heidelberg (2008)
59. Imielinski, T., Lipski Jr., W.: Incomplete information in relational databases. J. of ACM 31, 761-791 (1984)
60. Kaci, S., Prade, H.: Mastering the processing of preferences by using symbolic priorities in possibilistic logic. In: Proc. 18th Europ. Conf. in Artificial Intelligence, Patras, Greece, July 21-25, p. 376, 380 (2008)
61. Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, 167-207 (1990)
62. Lang, J.: Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints. In: Jorrand, P., Kelemen, J. (eds.) FAIR 1991. LNCS, vol. 535, pp. 112-126. Springer, Heidelberg (1991)
63. Lang, J.: PossiCilistic logic: complexity and algorithms. In: Gabbay, D., Smets, P. (eds.) Algorithms for Uncertainty and Defeasible Reasoning. Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 5, pp. 179-220. Kluwer Academic Publishers, Dordrecht (2001)
64. Motro, A., Smets, P. (eds.): Uncertainty Management in Information Systems. Kluwer Acad. Publ., Dordrecht (1997)
65. Nicolas, P., Garcia, L., Stephan, I., Lefevre, C.: Possibilistic uncertainty handling for answer set programming. Ann. Math. Artif. Intellig. 47, 139-181 (2006)
66. Nieves, J.C., Cortes, U.: Modality Argumentation Programming. In: Torra, V., Narukawa, Y., Valls, A., Domingo-Ferrer, J. (eds.) MDAI 2006. LNCS, vol. 3885, pp. 295-306. Springer, Heidelberg (2006)
67. Nieves, J.C., Osorio, M., Cortes, U.: Semantics for Possibilistic Disjunctive Programs. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS, vol. 4483, pp. 315-320. Springer, Heidelberg (2007)
68. Prade, H.: Lipski's approach to incomplete information databases restated and generalized in the setting of Zadeh's possibility theory. Inf. Syst. 9, 27-42 (1984)
69. Prade, H.: Handling (un)awareness and related issues in possibilistic logic: A preliminary discussion. In: Dix, J., Hunter, A. (eds.) Proc. 11th International Workshop on Non-Monotonic Reasoning (NMR 2006), Lake District, UK, May 30-June 1, pp. 219-225. Clausthal University of Technology (2006)
70. Prade, H., Serrurier,M.: Bipolar version space learning. Int. J. of Intelligent Systems 23, 1135-1152 (2008)
71. Re, C., Suciu, D.: Managing probabilistic data with MystiQ: The can-do, the could-do, and the can't-do. In: Greco, S., Lukasiewicz, T. (eds.) SUM 2008. LNCS, vol. 5291, pp. 5-18. Springer, Heidelberg (2008)
72. Richardson, M., Domingos, P.: Markov logic networks. Machine Learning 62, 107-136 (2006)
73. Sen, P., Deshpande, A.: Representing and querying correlated tuples in probabilistic databases. In: Proc. 23rd IEEE Inter. Conf. on Data Engineering (ICDE 2007), Istanbul, Turkey, pp. 596-605 (2007)
74. Serrurier, M., Prade, H.: Introducing possibilistic logic in ILP for dealing with exceptions. Artificial Intelligence 171, 939-950 (2007)
75. Tamargo, L.H., Garcia, A.J., Falappa, M.A., Simari, G.R.: Consistency maintenance of plausible belief bases based on agents credibility. In: Pagnucco, M., Thielscher (eds.) Proc. 12th International Workshop on Non-Monotonic Reasoning (NMR 2008). Technical Report UNSW-CSE-TR-0819, pp. 50-58 (2008)
76. Wong, E.: A statistical approach to incomplete information in database systems. ACM Trans. Database Syst. 7, 470-488 (1982)
77. Zadeh, L.A.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems 1, 3-28 (1978)