This document discusses methods for handling conditional preference queries using possibilistic logic. It presents three methods: 1) Weak comparative preferences which uses a minimum specificity principle to provide a well-ordered partition of preference levels. 2) Lexicographic comparison which encodes preferences as vectors and uses a leximin order. 3) A hybrid method which first uses weak comparative preferences to determine the initial levels and then applies lexicographic comparison on those levels. The document also compares these approaches and discusses using symbolic weights to capture order relations between preferences.
Handout: Argumentation in Artificial Intelligence: From Theory to PracticeFederico Cerutti
Handouts for the IJCAI 2017 tutorial on Argumentation. This document is a collection of technical definitions as well as examples of various topics addressed in the tutorial. It is not supposed to be an exhaustive compendium of twenty years of research in argumentation theory.
This material is derived from a variety of publications from many researchers who hold the copyright and any other intellectual property of their work. Original publications are thoroughly cited and reported in the bibliography at the end of the document. Errors and misunderstandings rest with the author of this tutorial: please send an email to federico.cerutti@acm.org for reporting any.
An overview of Rademacher Averages, a fundamental concept from statistical learning theory that can be used to derive uniform sample-dependent bounds to the deviation of samples averages from their expectations.
Handout: Argumentation in Artificial Intelligence: From Theory to PracticeFederico Cerutti
Handouts for the IJCAI 2017 tutorial on Argumentation. This document is a collection of technical definitions as well as examples of various topics addressed in the tutorial. It is not supposed to be an exhaustive compendium of twenty years of research in argumentation theory.
This material is derived from a variety of publications from many researchers who hold the copyright and any other intellectual property of their work. Original publications are thoroughly cited and reported in the bibliography at the end of the document. Errors and misunderstandings rest with the author of this tutorial: please send an email to federico.cerutti@acm.org for reporting any.
An overview of Rademacher Averages, a fundamental concept from statistical learning theory that can be used to derive uniform sample-dependent bounds to the deviation of samples averages from their expectations.
Linear Discriminant Analysis and Its Generalization일상 온
The brief introduction to the linear discriminant analysis and some extended methods. Much of the materials are taken from The Elements of Statistical Learning by Hastie et al. (2008).
Designing a Software Application for Fiber Fano Planesinventionjournals
In this work, a computer program is designed to determine all fibered projective planes with base projective plane which is Fano plane. By applying this program we obtain the fiber points and lines of all these fibered projective planes using membership degrees of the points.
One of the fewest Evolutionary algorithms with proof about the Expected number of parents for a certain Schema. The slides have been updated with a better proof, however, the proof still have some problems... I seriously believe that we need a topology stochastic process to really understand what is going on in Genetic Algorithms. This quite tough because of mixing of topology and probability to define a realistic model of populations in Genetic Algorithms.
Linear Discriminant Analysis and Its Generalization일상 온
The brief introduction to the linear discriminant analysis and some extended methods. Much of the materials are taken from The Elements of Statistical Learning by Hastie et al. (2008).
Designing a Software Application for Fiber Fano Planesinventionjournals
In this work, a computer program is designed to determine all fibered projective planes with base projective plane which is Fano plane. By applying this program we obtain the fiber points and lines of all these fibered projective planes using membership degrees of the points.
One of the fewest Evolutionary algorithms with proof about the Expected number of parents for a certain Schema. The slides have been updated with a better proof, however, the proof still have some problems... I seriously believe that we need a topology stochastic process to really understand what is going on in Genetic Algorithms. This quite tough because of mixing of topology and probability to define a realistic model of populations in Genetic Algorithms.
International Journal of Engineering Research and Applications (IJERA) is an open access online peer reviewed international journal that publishes research and review articles in the fields of Computer Science, Neural Networks, Electrical Engineering, Software Engineering, Information Technology, Mechanical Engineering, Chemical Engineering, Plastic Engineering, Food Technology, Textile Engineering, Nano Technology & science, Power Electronics, Electronics & Communication Engineering, Computational mathematics, Image processing, Civil Engineering, Structural Engineering, Environmental Engineering, VLSI Testing & Low Power VLSI Design etc.
Similar to Conditional preference queries and possibilistic logic (20)
hematic appreciation test is a psychological assessment tool used to measure an individual's appreciation and understanding of specific themes or topics. This test helps to evaluate an individual's ability to connect different ideas and concepts within a given theme, as well as their overall comprehension and interpretation skills. The results of the test can provide valuable insights into an individual's cognitive abilities, creativity, and critical thinking skills
What is greenhouse gasses and how many gasses are there to affect the Earth.moosaasad1975
What are greenhouse gasses how they affect the earth and its environment what is the future of the environment and earth how the weather and the climate effects.
ESR spectroscopy in liquid food and beverages.pptxPRIYANKA PATEL
With increasing population, people need to rely on packaged food stuffs. Packaging of food materials requires the preservation of food. There are various methods for the treatment of food to preserve them and irradiation treatment of food is one of them. It is the most common and the most harmless method for the food preservation as it does not alter the necessary micronutrients of food materials. Although irradiated food doesn’t cause any harm to the human health but still the quality assessment of food is required to provide consumers with necessary information about the food. ESR spectroscopy is the most sophisticated way to investigate the quality of the food and the free radicals induced during the processing of the food. ESR spin trapping technique is useful for the detection of highly unstable radicals in the food. The antioxidant capability of liquid food and beverages in mainly performed by spin trapping technique.
Seminar of U.V. Spectroscopy by SAMIR PANDASAMIR PANDA
Spectroscopy is a branch of science dealing the study of interaction of electromagnetic radiation with matter.
Ultraviolet-visible spectroscopy refers to absorption spectroscopy or reflect spectroscopy in the UV-VIS spectral region.
Ultraviolet-visible spectroscopy is an analytical method that can measure the amount of light received by the analyte.
Remote Sensing and Computational, Evolutionary, Supercomputing, and Intellige...University of Maribor
Slides from talk:
Aleš Zamuda: Remote Sensing and Computational, Evolutionary, Supercomputing, and Intelligent Systems.
11th International Conference on Electrical, Electronics and Computer Engineering (IcETRAN), Niš, 3-6 June 2024
Inter-Society Networking Panel GRSS/MTT-S/CIS Panel Session: Promoting Connection and Cooperation
https://www.etran.rs/2024/en/home-english/
The ability to recreate computational results with minimal effort and actionable metrics provides a solid foundation for scientific research and software development. When people can replicate an analysis at the touch of a button using open-source software, open data, and methods to assess and compare proposals, it significantly eases verification of results, engagement with a diverse range of contributors, and progress. However, we have yet to fully achieve this; there are still many sociotechnical frictions.
Inspired by David Donoho's vision, this talk aims to revisit the three crucial pillars of frictionless reproducibility (data sharing, code sharing, and competitive challenges) with the perspective of deep software variability.
Our observation is that multiple layers — hardware, operating systems, third-party libraries, software versions, input data, compile-time options, and parameters — are subject to variability that exacerbates frictions but is also essential for achieving robust, generalizable results and fostering innovation. I will first review the literature, providing evidence of how the complex variability interactions across these layers affect qualitative and quantitative software properties, thereby complicating the reproduction and replication of scientific studies in various fields.
I will then present some software engineering and AI techniques that can support the strategic exploration of variability spaces. These include the use of abstractions and models (e.g., feature models), sampling strategies (e.g., uniform, random), cost-effective measurements (e.g., incremental build of software configurations), and dimensionality reduction methods (e.g., transfer learning, feature selection, software debloating).
I will finally argue that deep variability is both the problem and solution of frictionless reproducibility, calling the software science community to develop new methods and tools to manage variability and foster reproducibility in software systems.
Exposé invité Journées Nationales du GDR GPL 2024
ANAMOLOUS SECONDARY GROWTH IN DICOT ROOTS.pptxRASHMI M G
Abnormal or anomalous secondary growth in plants. It defines secondary growth as an increase in plant girth due to vascular cambium or cork cambium. Anomalous secondary growth does not follow the normal pattern of a single vascular cambium producing xylem internally and phloem externally.
Professional air quality monitoring systems provide immediate, on-site data for analysis, compliance, and decision-making.
Monitor common gases, weather parameters, particulates.
Richard's aventures in two entangled wonderlandsRichard Gill
Since the loophole-free Bell experiments of 2020 and the Nobel prizes in physics of 2022, critics of Bell's work have retreated to the fortress of super-determinism. Now, super-determinism is a derogatory word - it just means "determinism". Palmer, Hance and Hossenfelder argue that quantum mechanics and determinism are not incompatible, using a sophisticated mathematical construction based on a subtle thinning of allowed states and measurements in quantum mechanics, such that what is left appears to make Bell's argument fail, without altering the empirical predictions of quantum mechanics. I think however that it is a smoke screen, and the slogan "lost in math" comes to my mind. I will discuss some other recent disproofs of Bell's theorem using the language of causality based on causal graphs. Causal thinking is also central to law and justice. I will mention surprising connections to my work on serial killer nurse cases, in particular the Dutch case of Lucia de Berk and the current UK case of Lucy Letby.
Toxic effects of heavy metals : Lead and Arsenicsanjana502982
Heavy metals are naturally occuring metallic chemical elements that have relatively high density, and are toxic at even low concentrations. All toxic metals are termed as heavy metals irrespective of their atomic mass and density, eg. arsenic, lead, mercury, cadmium, thallium, chromium, etc.
The use of Nauplii and metanauplii artemia in aquaculture (brine shrimp).pptxMAGOTI ERNEST
Although Artemia has been known to man for centuries, its use as a food for the culture of larval organisms apparently began only in the 1930s, when several investigators found that it made an excellent food for newly hatched fish larvae (Litvinenko et al., 2023). As aquaculture developed in the 1960s and ‘70s, the use of Artemia also became more widespread, due both to its convenience and to its nutritional value for larval organisms (Arenas-Pardo et al., 2024). The fact that Artemia dormant cysts can be stored for long periods in cans, and then used as an off-the-shelf food requiring only 24 h of incubation makes them the most convenient, least labor-intensive, live food available for aquaculture (Sorgeloos & Roubach, 2021). The nutritional value of Artemia, especially for marine organisms, is not constant, but varies both geographically and temporally. During the last decade, however, both the causes of Artemia nutritional variability and methods to improve poorquality Artemia have been identified (Loufi et al., 2024).
Brine shrimp (Artemia spp.) are used in marine aquaculture worldwide. Annually, more than 2,000 metric tons of dry cysts are used for cultivation of fish, crustacean, and shellfish larva. Brine shrimp are important to aquaculture because newly hatched brine shrimp nauplii (larvae) provide a food source for many fish fry (Mozanzadeh et al., 2021). Culture and harvesting of brine shrimp eggs represents another aspect of the aquaculture industry. Nauplii and metanauplii of Artemia, commonly known as brine shrimp, play a crucial role in aquaculture due to their nutritional value and suitability as live feed for many aquatic species, particularly in larval stages (Sorgeloos & Roubach, 2021).
Nutraceutical market, scope and growth: Herbal drug technologyLokesh Patil
As consumer awareness of health and wellness rises, the nutraceutical market—which includes goods like functional meals, drinks, and dietary supplements that provide health advantages beyond basic nutrition—is growing significantly. As healthcare expenses rise, the population ages, and people want natural and preventative health solutions more and more, this industry is increasing quickly. Further driving market expansion are product formulation innovations and the use of cutting-edge technology for customized nutrition. With its worldwide reach, the nutraceutical industry is expected to keep growing and provide significant chances for research and investment in a number of categories, including vitamins, minerals, probiotics, and herbal supplements.
Nutraceutical market, scope and growth: Herbal drug technology
Conditional preference queries and possibilistic logic
1. Conditional preference queries and possibilistic logic
Didier Dubois Henri Prade Fayçal Touazi
IRIT, University of Toulouse, France.
September 2013
FQAS
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 1 September 2013 1 / 21
2. Outlines
1 Background
Possibilistic logic
Running example
2 Preference representation
Preference formats
Preference encoding in possibilistic logic
3 Handling preference queries
Weak Comparative Preferences
Lexicographic comparison
Adding constraints between symbolic weights
Hybrid method
4 Conclusion
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 2 September 2013 2 / 21
3. Background Possibilistic logic
Possibilistic logic
Weighted extension of classical logic : (Φ, α) with Φ a proposition and
1>α>0
(Φ, α) is interpreted as N(Φ) ≥ α where :
N(Φ) = 1 − Π(¬Φ)
(Φ, α) is viewed as a constraint : it means Φ must be satisfied with
priority α
The degree of preference of a model of Φ is 1
The degree of preference of a model of ¬Φ is 1 − α
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 3 September 2013 3 / 21
4. Background Running example
Running example
Let us consider a data base storing pieces of information about houses to
let that are described in terms of 25 attributes.
Example
We want to express the following preferences :
The number of persons accommodated should be more than 10,
imperatively.
It is preferred to have a house where animals are allowed,
It is preferred to be close to the sea by a distance between 1 and 20
km ;
If the house is far from the sea by more than 20 km, it is preferred to
have a tennis court at less than 4 km
If moreover the distance of the house to the tennis court is more than
4 km, it is desirable to have a swimming pool be at a distance less
than 6 km
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 4 September 2013 4 / 21
5. Preference representation Preference formats
Preference formats
two types of preferences :
Unconditional preference
“q is preferred to ¬q”
Example It is preferred to have a house where animals are allowed.
Conditional preference
“in context p, q is preferred to ¬q"
Example If the house is far from the sea by more than 20 km, it is
preferred to have a tennis court at less than 4 km.
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 5 September 2013 5 / 21
6. Preference representation Preference encoding in possibilistic logic
Representing preferences in Possibilistic logic
“in context p, q is preferred to ¬q" ⇒ Π(p ∧ q) > Π(p ∧ ¬q)
of the form Π(L(p ∧ q)) > Π(R(p ∧ q)).
Example
We want to express the following preferences :
The number of persons accommodated should be more than 10
- Π(Accomod. ≥ 10) > Π(¬(Accomod. ≥ 10))
If the house is far from the sea by more than 20 km, it is preferred to
have a tennis court at less than 4 km
- Π((Sea > 20) ∧ Tennis ≤ 4) > Π((Sea > 20) ∧ ¬(Tennis ≤ 4))
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 6 September 2013 6 / 21
7. Handling preference queries Weak Comparative Preferences
Weak Comparative Preferences
Based on applying the minimum specificity principle.
Minimum specificity principle
consider the least informative possibility distribution ensuring all the
constraints are satisfied.
The ordering is given as a well-ordered partition (E1, ..., Em).
Algorithm WCP
The most satisfactory set Em is made of the interpretations that do
not satisfy any R(φj ).
Constraints whose left part L(φi ) is satisfied by an interpretation of
Em are deleted.
Repeat until all constraints are deleted.
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 7 September 2013 7 / 21
8. Handling preference queries Weak Comparative Preferences
We have shown :
Proposition
Let a query Q composed of n preference constraints. The number of
elements of the well-ordered partition {E1, · · · , Em} is AT MOST
m = n + 1.
Example
Let 4 preference constraints be given as follows (L(φi ),R(φi ) are replaced
by sets of interpretations) :
φ1 = ({t1, t2, t3}, {t4, t5, t6, t7, t8}) ;
φ2 = ({t4, t5}, {t6, t7, t8}) ;
φ3 = ({t6}, {t7}) ;
φ4 = ({t7}, {t8}).
Applying Algorithm WCP gives 5 preference levels :
E1 = {t1, t2, t3}, E2 = {t4, t5}, E3 = {t6}, E4 = {t7} and E5 = {t8}.
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 8 September 2013 8 / 21
9. Handling preference queries Lexicographic comparison
Lexicographic comparison method
Vector comparison based method
Constraints of the form Π(p ∧ q) > Π(p ∧ ¬q) can also be encoded by
constraints of the form (¬p ∨ q, αi ), the weights αi are supposed
incomparable.
Vector construction
Let Σ = {(Φ1, αi ), ..., (Φn, αn)} be a possibilistic base. For each
interpretation ω, we can build a vector ω(Σ) as follows.
For each preference constraint φi for i = 1, · · · , n :
ith
component = π((Φi , αi )) =
1, if ω |= Φi ;
1 − αi , else.
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 9 September 2013 9 / 21
10. Handling preference queries Lexicographic comparison
Leximin order
Definition (leximin)
Let v and v be two vectors having the same number of components.
Find permuation f so as to delete the maximal number of pairs
(vi , vf (i)) such that vi = vf (i) in v and v
v leximin v iff min(r(v) ∪ r(v )) ⊆ r(v ), where r(v) contains
remaining components in v.
Example
v = (1, 1 − α2, 1, 1), v = (1, 1 − α2, 1 − α3, 1)
r = (1) and r = (1 − α3). We have v leximin v .
Proposition
If a query Q is composed of n preference constraints, then the maximal
number of levels generated by leximin is n + 1.
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 10 September 2013 10 / 21
11. Handling preference queries Lexicographic comparison
Example (continue)
The number of persons accommodated should be more than 10 :
φ0 = (Accomod. ≥ 10, 1)
It is preferred to have a house where animals are allowed,
φ1 = (Animal, α1)
If the house is far from the sea by more than 20 km, it is preferred to
have a tennis court at less than 4 km
φ3 = (¬(Sea > 20) ∨ Tennis ≤ 4, α3)
After applying the leximin, we get 3 levels of preference ranking.
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 11 September 2013 11 / 21
12. Handling preference queries Lexicographic comparison
Background on CP-nets
A CP-net N is a directed acyclic graph on a set of variables
V = {X1, ·, Xn} (numbered in accordance with the graph)
A CP-net preference is of the form u : xi > ¬xi (or u : ¬xi > xi ) where
u is conjunction of instances of parent variables of Xi (called a
context)
In the final preference graph, father nodes Pa(xi ) seem to be more
important than children nodes Xi
Every CP-net preference u : xi > ¬xi is encoded by (¬u ∨ xi , αi ).
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 12 September 2013 12 / 21
13. Handling preference queries Adding constraints between symbolic weights
Constraints between weights in CP-net style
This method is inspired from CP-nets :
Idea
For each pair of formulas of the form (¬u ∨ xi , αi ) and
(¬u ∨ ¬xi ∨ xj , αj ) such that u is a context, Xi plays the role of the
father of Xj in a CP-net.
We add a constraint αi > αj
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 13 September 2013 13 / 21
14. Handling preference queries Adding constraints between symbolic weights
Example (continue)
Let us consider the previous running example, the preference constraints
are encoded as follows :
φ0 = (Accomod. ≥ 10, 1)
φ1 = (Animal, α1)
φ2 = (1 ≤ Sea ≤ 20, α2)
φ3 = (¬(Sea > 20) ∨ Tennis ≤ 4, α3)
φ4 = (¬(Sea > 20) ∨ ¬(Tennis ≤ 4) ∨ Pool ≤ 5, α4)
We add the following constraints : α2 > α3 and α3 > α4
After applying the leximin, we get 4 levels of preference ranking.
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 14 September 2013 14 / 21
15. Handling preference queries Adding constraints between symbolic weights
Constraints between weights in CP-theories style
This method is inspired from CP-theories a generalization of CP-nets :
idea
Preference constraint is of the form : u : xi > ¬xi [W ] (irrespective of
values of w ∈ W ).
The same encoding of CP-net is used.
If we have :(¬u ∨ xi , αi ), we add αi > αj for any αj , such that
(¬u ∨ w, αj ) is a possibilistic preference statement, w ∈ W .
Proposition
Let Q be a query made of n preference constraints, then the maximal
number of levels generated by leximin with additional constraints over
weights is 2n.
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 15 September 2013 15 / 21
16. Handling preference queries Adding constraints between symbolic weights
Example (continue)
In addition to the previous preference constraints, let us consider the
preference for animals allowance holds irrespectively of the preference
concerning the distance to the sea :
Animals > ¬Animals[Sea]
In addition of the previous constraints added inspiring from CP-nets :
α2 > α3 and α3 > α4. We add the following constraint : α1 > α2
After applying the leximin, we get 5 levels of preference ranking.
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 16 September 2013 16 / 21
17. Handling preference queries Hybrid method
Hybridizing weak comparative preferences and lexicographic
methods
Complexity results
Based on theoretical complexity and a small experimental results we have
noticed :
Weak preference comparison : Polynomial ;
Lexicographic method ΠP
2 − complete.
We have shown that the first level is the same for the both methods.
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 17 September 2013 17 / 21
18. Handling preference queries Hybrid method
Hybridizing Algorithm
Hybride method
First, we use Weak preference comparison
Use the levels except the first one as a data base and apply the
Lexicographic method on them.
The use of these methods
WPC is perfectly adapted to capture the Skyline order
The hybrid method is adapted to Top − K order
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 18 September 2013 18 / 21
19. Handling preference queries Hybrid method
Comparison between different existing approaches
Table : Comparative Table of different approaches dealing with preference queries
Formulation Context Ranking
Quali. Quanti. Uncond. Cond. Skyli. Top-k
Lacroix Lavency
Chomicki 2002
Kießling 2002
Fagin et al 2001
Fuzzy logic
Symbolic PL
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 19 September 2013 19 / 21
20. Conclusion
Conclusion
One merit of the possibilistic approach lies in its logical nature
The use of symbolic weights gives more freedom to introduce order
relation between preference contraints.
The three proposed methods are characterized by an increasing
refinement power with manageable complexity.
Future works
The use of symbolic weights is really advantageous but we still miss
some properties of numerical weights. One may think of combining
these two formats to be as much expressive as possible.
this approach should be able to deal with null values, which create
specific difficulties in preference queries.
Didier Dubois, Henri Prade, Fayçal Touazi (IRIT) 20 September 2013 20 / 21