Submind YouTube summaries
Thumbnail for Computable philosophy #RB21

Computable philosophy #RB21

Watch on YouTube

Video summary

The video introduces "computable philosophy," a framework proposed by the speakers to bridge computer science, information theory, and moral philosophy. This approach rests on three interconnected axes: computation and judgment, learning through inference, and probabilistic thinking. The central argument is that traditional methods of programming rules and making explicit judgments do not scale effectively for complex modern problems. Instead, systems must be complemented by learning mechanisms that infer laws and rules from observations, allowing them to adapt over time. Furthermore, because the world is inherently uncertain and data is often incomplete, probabilistic thinking becomes essential for robust decision-making, moving away from binary certainties toward managing degrees of likelihood and uncertainty. A key illustration of these concepts involves the nature of law and algorithms as tools for judgment. Historically, humans preferred being judged by transparent, written algorithms—such as ancient codes or modern statutes—over the chaotic, unpredictable "mood of the crowd" represented by individual human judges. Written rules offer procedural fairness and allow for analysis and improvement, which is why they are generally superior to opaque human discretion. However, a limitation arises when the world becomes too complex for any written text to cover every possible scenario; this is where the concept of learning takes over. Just as science evolved from static axioms to the scientific method of inferring laws from observations, jurisprudence similarly relies on observing cases and refining rules based on outcomes, acknowledging that a perfect, exhaustive algorithm cannot be hand-coded by humans. The discussion extends to the critical role of probabilistic thinking in addressing issues like privacy, fairness, and reward hacking. The speakers explain that concepts like differential privacy are not merely technical specifications but involve trade-offs between protecting individual data and enabling useful societal insights, such as tracking pandemic spread. Similarly, fairness cannot be defined by a single binary rule; often, different definitions of fairness (e.g., group fairness versus individual fairness) are mathematically incompatible, requiring probabilistic reasoning to navigate these conflicts. The video emphasizes that relying solely on specifications or "if-then" rules leads to dead ends where no solution satisfies all constraints, whereas learning algorithms and probabilistic models allow for continuous adaptation and a more nuanced understanding of complex dilemmas like vaccine misinformation or algorithmic bias. In conclusion, the speakers advocate for a shift from trying to hand-program every rule to embracing systems that learn from data and reason with probabilities. They highlight that while human intuition is limited by cognitive biases and an inability to imagine unseen scenarios, learning algorithms can scale beyond these limitations, provided they are designed with transparency and auditability in mind. The ultimate takeaway is that good judgment requires a combination of clear, step-by-step reasoning where possible, but also the humility to rely on inference from observations when rules cannot cover every case. By integrating probabilistic thinking into our approach to law, science, and AI, we can better navigate moral dilemmas, avoid extreme reactions to uncertain evidence, and create systems that are both reliable and adaptable to an ever-changing world.
Read the full video transcript
hello everyone today we will discuss computable philosophy a proposal Flanagan Wong and me made out of our book so in this proposal there are three key ideas that and computing judgments and information are more interlinked than people think of them the second proposal is that computing and making judgments by programming and setting rules does not scale so we need to complement them with learning with inference from observations so that is like first axis is computation judgment and information the second axis is learning how to how to infer laws and rules from observations and the third axis is probabilistic thinking which will see is inevitable if we want to do correct inference and robust inference those those three axes are when studied within computer science and and and information science what we believe is that there as we discussed in the video on put on paper is that there are more philosophically aspects to be discussed in particular when it comes to questions like AI a text or or law itself if we look at it from an algorithmic perspective and even the scientific method from an algorithmic perspective there are many illustrations we have in the book or why these three tools could help us discuss aspects like moral philosophy the value alignment problem we want to align the objective function of an AI with human preferences etc the side effects of algorithmic decision making the good heart slows what happens what goes wrong when we maximize a metric and preference and volition learning how to learn not only once people prefer but what they would want to prefer if they had more time and an information social choice theory which was researched by game theory and economics in the past century but that is increasingly important in algorithmic decision-making aggregation of preferences between many users adversarial computing decentralization also isin a stack that means a new toolbox of probabilistic thing in learning and how to look at computation as a form of judgment and finally I like all questions that are relevant for a city like reward hacking credibility etc we will not discuss all of these so we'll discuss just the three key aspects of computation judgment information learning and pervasive thinking and in the end to illustrate how they could be useful just by discussing privacy and furs which are two important questions in algorithmic decision making yep yes so this is I think a big program that we have in mind and I think it's very interesting like it's really an interesting insight that computer computer science can give us into what it means huge provider judgment good judgment the reliable judgment and to command this with molecules of inserts like this and in particular maybe you can just cry a bit by what you mean by computationally in general but one important feature is that we need this idea of of step by step reasoning like very clear steps and also if you explain ahead of time what all this is what the steps are going to be then this can allow them to analyze the step by step procedure of the algorithm that will be used and you can analyze them in in many many respects and arguably also this is something that has been extremely popular in the history of mankind that really has changed a lot of the way we do a lot of things so maybe watch which case like something people don't think of as a moral issue if you just type in a search engine go with 19 boxing so Kane's first as a result of like what games in the first 10 pages of results what to show you in the first 10 pages of results is a decision that is algorithmic algorithmically made with the search engine ranking algorithm but which entails enormous moral consequences because how you would not astray billion people about resisting or accepting vaccines for coated it would have consequences on human life so this is this is a moral question this is the philosophical question and it has a very short deadline half a second like a few milliseconds the search engine should answer it in a few milliseconds and we tend not to think we tend to think of this as a technical question oh yeah we'll just show what's most relevant or we just show what what most people are discussing what we want - for example there is a minority of people initiating a conspiracy against vaccine should we amplify it just because this minority of people are super super active on the platform yeah and also an interesting thing is that when we raise this sort of of dilemmas like I think a very common we are trying to all of this is to say that these are if it's like a very difficult dilemma like we tend to postpone the decision for this we just say that it's a difficult diet in mind we need to be discussing this and like it's a good point that we cannot make a decision right now but what we can do as of right now is try to think of how we're going to come up with a decision just like saying we'll have to discuss it is not really a algorithm that will has the right properties of of coming up with a eventually a decision and good decision impossible when we have this dilemma is important not just to leave the question open like this but to and it's also important not to just take this decision like padam institution like right like now but instead like we should try to think of as a future step by step one algorithm and propose different algorithms that will eventually make a decision because we need to eventually make a decision especially for times like here so results to search to search queries yeah I think a good illustrative example of that is something we discussed previously concerning and medium-bodied problems and the clinical trials so here we are a case where continuing as as as algorithms are right now is an ethical problem because all these decision by algorithms have ethical implications and also the solution we intend to to figure out how to do better will have to be done so we'll have to come up to a satisfactory answer as quickly as possible while certainly making modification to this algorithms so it's very important to correctly decide what procedure we implement to to which this is interestingly historically this has been like for a long time we could you could imagine that this was difficult you to think about these things because I can algorithm has to be described at least and should be explained to one another so okay I guess back in the old days I was more like transferred as transitions from one to another but at some point like mankind invented writing and the invention of writing completely proportion as the game in the sense that people would be able to write down the algorithms to be followed these algorithms by now we call them the text off flow so they are not like up like very rigorous algorithms as the one you would tell your computer to execute like the beginning of this algorithmic approach to decision-making in particular to judgments in the case of the law what by having this algorithm written down you have several nice properties that one of them is that the same row can apply to different settings so you have and look see sometimes called the procedural fairness okay the same algorithm to different people but you also have other properties are concerns now that the role is written like the algorithm is written you can analyze it you can verify it so you can say to the judge well wait a minute you did not judge me according to the algorithm you can also improve upon it I can say oh yeah the current version of the law has this flaw that this makes this decision in this case and like most people maybe think it's not good so we can change the law we can improve the algorithm so these are all features of written laws and algorithms that have been a major breakthrough in the history of judgment so maybe the takeaway message from this part is that if someone tells you they don't want to be judged by an algorithm ask them if they prefer to be judged by law or by the mood of the judge that does not tell them on which basis they judged like the judge tells you like you are guilty because I think you're guilty and if a judge tells you you're guilty because in the law of this country if you put your car in front of the police station for more than three hours and then there is an accident in the police station then you want to go to jail so this is an algorithm if it's then you realize like most people prefer to be judged by an algorithm his transparents stated public that you can know in advance ideally or that you are assumed to know in advance so actually being judged by an algorithm is historically a progress that we made thousands of years ago so just like now maybe the problem is being judged by algorithms that are that you can't read that are too too big or you read and to audit and to assess but that's the read that's the real problem it's not being judged by module it's being judged by an intractable by a non readable very long complex algorithm and we already the case the on the low as well like the tests of low have become like they are transparent in the sense that the text is fully returned somewhere but they're not transparent in a sense that it's very hard to interpret the law correctly and also just because it's long but also that because it's easy and by the way like even we go to the this example we like to give thousands of years ago in all cases you were judged by an algorithm this awkward is either either the if-else it hughes teamed one cow you have to pay the equivalent money of one cow so this is an this is an algorithm and then there is the other algorithm which we call the mood mood of the crowd the moves on the judge it's not transparent it is a mugwort it is a decision making process it's very chaotic you can't predict it you can't anticipate it so you always prefer the short clear transparent algorithm if this then this this then this then country there is nothing new we always preferred transparent here states and algorithms to obscure chaotic non transparent algorithms yeah yeah and also reject sometimes our foreign algorithms you can prove properties so for instance if you take it the game shape layer algorithm that's used to judge whether student will go to this university or this or the university then we know like my fans have been studying this algorithm and we know that finds and it has some some nice properties constant is it leads to two so-called a stable matching so I won't go into the details I guess but essentially it has these nice properties like incentive compatibility as well it's finding the right way and this can only be done if you have known algorithm that it's very hard to predict the properties like this ability of the mood of the crowd of a single human yeah now having said this there's one limitation to the law which is the fact that it has to be written by by humans and we humans are like all very smart and all but we also are limited in your connection and we we often have trouble imagining cases that have never occurred before in the past and also like the world is getting more and more complex so it's getting harder and harder to to design the right algorithm to judge in case in no societies and that's where instead of just writing things down we often rely rather on the brain of a judge and on the than on the law as it is written and this has an explanation again in terms of computer science particle in terms of what is known as as the Solomonov complexity also known as the Kolmogorov complexity which is is defined as the shortest algorithm in terms of like the description of the algorithm so the photos text upload that is able to do what he wants to be doing and there are strong arguments like from chewing in particular that there are many things that cannot be shortened to like they are probably a good text or blow does not fit in a book of two or three hundred pages and maybe does not even fit in one thousand bucks of of one thousand pages because the world is just really complex in a very meaningful sense in this case we cannot have written laws that contain everything we have to do something else and this was proposed by chewing in 1950 and is the idea of doing learning so instead of writing everything is down you're going to learn through experience what ought to be done and and this also occurs in in the case of the law and is known as jurisprudence and by the way this occurred also in science and it's known as the scientific method like now or before the revolutionary idea that we call the scientific method started to be of course it existed for at least ten centuries but it took off it took off with the Galilean revolution Kepler Newton and so on and then we started inferring rules of nature from observations and this is where were where human knowledge took off because it just scales more then having someone sitting down like a wise philosopher and then stating the rules of the universe yeah yeah yeah the case of science is interesting because like you have like two texts all blue it takes two of the rows of the nature of nature that have been written down more and more and we have to improve these algorithms but then we also went further we ask ourselves how should the text of the laws of nature be returned like how should we come up with the right laws of nature and this led to some sort of meta algorithm or the austere algorithms but they are learning algorithms algorithms about how to find out about the laws of nature and this is also known as epistemology so that's why there's also a natural link here which in computer science and and special learning theory and and epistemology philosophy learning is a what we took off the bottleneck of learning was really to have a lot of data because you to do learning but you also need some a lot of continuous from power to do the computations of learning algorithms and also you need like like allows memories and subsidizing machines to do these things but once you have all of these things it turns out that learning is much more efficient than while you can do this in human brain as well but that groaning is more much more efficient than just writing down the text or glows because watching down by humans is just too hard but it also comes with some disadvantages though this is not a keep you concur to to the empty set sometimes there's no algorithm that humans have written that's able to recognize a cat with 99% accuracy for instance so when you're saying that the algorithm to recognize cats has some flaws for instance it's not as transparent is not very transparent well you actually comparing this to the empty set in a sense so but still it could say now we have these algorithms or these are judges that learned from past occurrences what they should have they should judge in the future and these algorithms are now too complex to be studied using the mathematical tools that we usually use for for small algorithms and so it's harder like the all more black box easier or harder to to understand this is our limitations but it's a limitation that inherent you're learning and that's like you cannot do without learning I guess for some tasks and like this creates just new challenges that needs to be to be faced the verification of learning algorithms of algorithms that have learned is much harder than of algorithms that we designed to be analyzed look again here Adama Lee wants to say something about the learn learning you go ahead [Music] which wanted to conclude this part which like there again a simple takeaway message if you hear just like first the first time exposed to these ideas that like maybe the takeaway you should keep here is that hand programming rooms does not scale like that's that maybe the green key inside of chewing is that we could not sit down and start writing who's like if this do that if this do that if you speed up and produce ass marks set of rules the smart algorithm I've written is a set of rules so Turing realizes that if we want to speed up the programming of an intelligent algorithm we need if are willing to be adaptable so it's has like if this or this or this and this like those conditions are could be tweaked it could be modified depending on what observations have been made modifying the conditions of the if and else with respect to the observed like I observed that when I when I do this four times I get this results but then I had a new experience where I only need to do it three times so maybe this for the parameter for could be moved a bit down and then I realize no no 3.5 is on average better so I the algorithm needs to have some parameters that can be modified depending on the observations or the experiments and Turing argued that this this is faster more efficient and this is realistic we can have a program within our lifetime that becomes intelligent in some in some sense not contagious like realizing an objective if we let it learn from data and if we have wants to hand program it which will take us a very very very very long time of writing moves and this is more or less what happens like you take a task like image recognition for four decades or five decades people were trying to come up with handwritten rules okay there is a polygon like this and then you shake look at the shape and the nose etc then this isn't many in pink the polygon is like that and the nose like clears and the mouth and I don't know the ratio between atoms just like Mickey not then it is probably a woman and this did not work but if we feed an algorithm many data points and let the algorithm like however what we call a learning algorithm so that it can change the parameters now we achieved of course we are not yet there but we have for example algorithms need Facebook the turpentine spaces and they recognize that this is me and this is Katrina and this is etc and those algorithms clearly we could not have obtained them by ran handwriting if this is with that but then you just let them learn from data and and and this idea is very old it's from 1950 it was by Alan Turing and it is the key idea behind learning learning the scales better than programming so if we want to write algorithms we want to write laws we need to compliment programming by learning and sometimes we sometimes we mainly need learning and argue me in the context of law it happened all so we call this dirichlet jurisprudence I think in English all soldiers can also French we're like you observed cases and you make up rules based on cases that please everyone some so to say we observed it when when we punish a killer with this punishments there is no riots they like drone is happy with this punishment for almost everyone when we punish the killer with this punishment people are not satisfied the family of the victim are not satisfied clearly this low need to change so this is the learning process writing law itself is a learning process and this is again another point where law and Al bridge mix means just like they met initially thousands of years ago another point I'm thinking of would correspond much with the the first section of the podcast but is that no I'll give you two ways to think about the way we write laws this is a discussion that I've had with Gilda Wieck who told me this very interesting like century you can think of the law as either an algorithm another way that people sometimes feel like rising the role is as specifications like this must happen this must happen this must happen this is not an algorithm like this is just the things that you want your decision to satisfy and the the the annoying thing with specifications whether the good thing is that is arguably easier to write specifications like you can just say oh yeah like this but the trouble with specifications is that well sometimes the the set of specifications describe an empty set meaning that all the specifications want to put you you want the law to satisfy our means that there's no such decision that can satisfy or all this decision and that's why I think it's it's at least interesting to not just stop at specifications which arguably is a lot of what people are doing when they discuss guidelines for for a is equal to a I can say that a good a I need to satisfy these these these these and I think is you but can only be seen as a first step because like eventually I think we need an algorithm to know what should be decided and not just like what are the specifications are it's something an interesting also like if you have an algorithm you can also analyze that you although things like computation time because we know from like enjoying help during the halting problem that just determining if there is a solution to a set of specifications if there is a exist decision X and such that this ends and this is astigmatism it's a conjecture and we know from chewing that determining if this contract is true or not or has a proof or not is a is undecidable in general's mean that there's no algorithm that achieves this all the time so that's not the argument for why we should think in terms of algorithms rather than just a specification the third discussed is a probabilistic thinking which is clearly critical in the case of the court of law even though it's been forbidden in the UK after some idea the singing departments that a lot of people are including myself very hard have a very hard time thinking probably sticky it is just very very hard but I'll give it's also very critical so the way sometimes things are phrased in the context of law and of science is people will talk about truth and if you think about this well proofs are only well-defined in mathematics but in the context of of science or in a context of law what we have is more evidence like we have data essentially and based on this data we can infer we do the learning from this data we infer what is more likely to have occurred or not but you never get to do any point of certainty because it's always possible that there's some like explanation that we have not thought about it's much more complicated and actually these more complicated or unforeseen explanations or arguably quite frequent in the case of the law so you need to take into account this uncertainty and you need to reason with uncertainty to to come up with decision so instead of saying if the person is guilty then we should do this and I'm saying if the person decimals and then we should do this which sounds very good but in practice you never get to this state like you should think in terms of like well even how likely it is that he has done this and this what should be decided for this person this would be much more probabilistic thinking and you might think is very weird in the text in context or blow but yeah sometimes you just don't have enough data and becomes even more critical in many times find sense that involve a lot of uncertainty for instance for the current situation so what should be answered when you when someone is searching career vaccine good night vaccine on Google for instance this is a very very complicated question because also we don't know so far like how long it's going to take to have a vaccine how data is the vaccines are going to be how are they going to be a producer board at scale there are lots of open questions and what you're going to reply today to these questions is very important to prepare the the population for what's coming next and so you need to make a decision right now despite the huge instant ante on what's going to come around like in the next month yeah one example for this world or was the one of the legatus study on the hit rock synchro rocking that was retracted a few weeks after so because there is a possibility that when you see a study it it was actually not the high quality information that you expected but sometime quite often it is actually the high quality information that you expect but raising a decision based on disk on this kind of evidence which as they say is not a clear proof that is that that will tell you 100% what is the area to adopt so you should treat this as an evidence knowing the possibility that it was actually a there was actually mistakes on the on the process of creation of these evidence and that's why also much stronger evidence that we should look at is things like meta analysis or due to global context in which the whole science is produced and without this Provost ik thinking in mind then we get into a mistake either being absolutely convinced that authors of the study are trying to manipulate the the result due to conflict of interest or being on the other side foon convinced that the key toxic work in treatment is absolutely so that there should not be any any we should not be at weenie and puppies extremes like we should consider every piece of evidence as something that moves slightly our probability estimators of what our right decisions to take a given the situation yeah yeah so there's a lot of work and it's very hard to be cuppa tea we need to improve this like it's really critical for better decision making to improve in terms of priorities probabilistic thinking in particular estimating more correctly the probabilities of different events and then there's this other side of of kava stick thinking which is now that you have this and society what should you what should you do and one thing that is very hard but you really should really be done is to not reflect only in terms of the most likely scenario it's very tempting to say well I believe this and you forget that you doesn't mean that you fully believe it and it may be like a five percent chance that the alternative scenario occurs and this is particular critical in the cases in the case of pandemics for instance because if you were back in February or January I'd say 2020 for those who watch this announcing the future then there were different scenarios and maybe you could imagine that the more likely scenario for the covenanting outbreak but then not yet the pandemic was that it would not be a pandemic and maybe right now you could say that maybe in 20 2021 there's like probably the most likely scenario is that there's not going to be a pandemic of another virus of another disease that's much worse than the curve in 19 that's the most likely scenario but you should not think in terms only of the most likely scenario and we should prepare for the possibility that things go bad and particularly we should prepare for this if the probability of this thing going very bad is not too small if it's one person I'll give a of something extremely bad it's already huge but if it's like ten to the minus twenty while it's negligible and there's a big difference between 10 to the minus 20 and 1% but it's very hard for us humans Act which make this distinction because you tend to to confuse like you to consider that these two are just unlikely scenarios yeah maybe to illustrate the difference if something that has one percent chance to happen every year out of 1,000 years it will nearly happen for sure but something that has 10 to the minus 20 chance to happen if you out of thousand years it really not happen for sure yeah yeah and so the decision-making has to take into account and sometimes the safety mindset they trying to make sure that you compute it to the probabilities are very very bad scenarios and if this probability is not that smooth then you should at least plan for if it occurs and maybe then plans to to reduce this probability maybe also so one thing about some holistic thinking that is really including your people who work in Polynesia the same thing we keep saying about us people working in computer science we neglect how how it is technologically concepts we have in computer science can be and can be applied outside computer science I'll recommend the book on Brian Christian and hungry kids algorithms to live by in which illustrates this fact actually for probabilistic thinking to live by there is the 200 years old book written by small as decimal a test which is called a sh t loser fixed or equality philosophical essay on probabilities and it fits like in some chapters you could you could see the tremont like the preliminary version or for example a lot of the work that has been done in the 20th century about coca-cola Tobias's for example and it is laplace cold like today we call them cognitive biases Laplace calls them illusions in estimating probabilities and illustrate that with lighting it's for example being biased towards what is common and what is familiar to him and what has been told to him in his childhood and trying to see it's in phenomenon that has nothing to do with the like he likes like me this once rose to the Chinese emperor the Chinese ever liked maths and I'm trying to convince him of Christianity using a phenomenon in a series sums of series by telling him look at like you can have one out of zeros and this is creation just and then and then la classe goes on more brilliantly that what I just have said I'm only not reflecting how near the statement of La Paz was just like showing like how much when you are like used to something and exposed to something during our childhood or during our life we tend to be biased for it for confirming it and seeing it everywhere we look he shouldn't was like and then and also like he's giving examples like for example is the given the example of slavery and castes in India as something that people normalized because it's common and then he goes on to expose why frequency commonality are not valid epistemic arguments so it's something it's frequent or if something is common but doesn't mean it is okay either morally or it is like it's like commonality is not valid a piston here has an epistemic argument or as a moral argument and of course he also does a lot of connections with moral philosophy and unfortunately this work is really overlooked like by by people who work in colleges who's never taught this course discovered it's ten years after my more than ten years not twelve years after my undergraduate studies yeah again I'm not going to make a lot of friends by saying this but I think this is the best book includes of you ever written it's really fantastic like have really highly highly recommend it and I just want to say to quote well to two sentences I was going to say one but I mean you could too 13:27 good right the first one is the theory of probabilities is basically just good sense reduced to computation well I think it's fantastic quality it's like it's very border claim if you think it liked it like here like more good judgment than good sense of common sense yeah yeah you straight it into common sense I can't include sensation but I think this quote is like really really it is really really bold and I think it's very very good I think it's like very a lot of food for thought it's really also aligned with what we've been saying like it's a competition can reduce things to computation you've done like 99 connection and because I saw a job in a sense what speed are - you see - to effective competition yes but it's really really important like this book and the theory of probabilities and he's inside and like just like the other quote I wanted you to give is that there is no science but other than the science of probabilities more worthy of our meditations and whose results are more useful it says better what I may be just to conclude will illustrate all of us have been said now with the of course like we'll be superficially discussing fairness and privacy those are very very very complex problems like and unfortunately some researchers tend to feed them unlike them just like we can just tackle them with some solution and then they're so they're like privacy and fairness are not as chargeable as I don't know let's say convict proving convexity of a loss function like sometimes those are very very complex topics so obviously or not or not broadly discussing them or just like superficially discussing them just like to a narrow angle which is how probabilistic thinking helped us in the past decade improve the way we think about privacy and fairness so maybe you can start by differential privacy which is maybe more natural now ten years although more than ten years like 12 years old at least and then we can move to Turnus which is even more even younger but it's built upon some of the reasoning that has been doing it been made in different for privacy so I don't know if you want to go with that you know only that's the idea of differential privacy is that when some of your data is always going to be like you instead of raising your data you're losing some noisy version of the data such that a new observer would be like unable to infer with high probability what your what your true data were well it's not exactly that but it's more it has more to do with how much he can change his beliefs like how how can how much it can update his beliefs by having seen the data that you were releasing so that that would be like the probability or interpretation of the concept called differential privacy which has been the leading one of the leading concepts for privacy over the last 15 years the other one being this concept what the other big line of thoughts in terms of privacy being this complexity really like you you you cipher your message such that no observer that has a limited computational power can this I can can learn anything from your formula your message so what's in column to see here is the how actually probabilities come up into a corrected if this this very interesting definition of privacy and not only as we were discussing earlier the binary definition of private or not private but something that is as much private as possible by by showing as few as possible bits of information about yourself it's um information meaning how does someone change what it thinks of me based on the data he has coming from me and the less bits of information unless someone is able to update the probabilities yeah yeah it's also interesting because you can then think in terms of trade-offs there's a lot of research about like okay if all data remains private in different short privacy terms then what you cannot learn anything from from the profession and this can be a problem the concerns in the case of the pandemic you do want you to know like things like what is the the fraction of the population currently has the coven 19 this is really important information to have to reach you know whether I should do lockdown or whatever but this information for individuals or every individual can be also cause of concern for this individual so you you want to learn but not too much about your cooperation in a sense and differential privacy gives you a way to do to to write down this trade-off and to compute the depending on how much you care on controlling the pandemic and avoiding deaths and how much you care about privacy and surveillance right yeah you have a natural promote you to do the to choose your trade-off yeah it is a an additional argument against simply having list of specifications for other items and so found that if you have to specification like the algorithm should avoid death and the algorithm should remain private then what happened when some specific decisions can avoid death but by being intruding at all as privacy should we take these kind of decisions that don't fit one specification but are imposed by the by the first specification and and the right answer to this I believe is to to think of it in terms of trade-offs so somehow having an estimation of how how important it is to to avoid death how important it is to to about privacy and it's great to have a measure of how much actually are we inviting privacy with this differential privacy definition to to allowed to take decision in one facing skeletons so what's interesting also in terms of finesse is that so what did the basic idea openness is typically you would want them to to to go to to guarantee that for two different subpopulations like some consensus and rate of of job offers is done so the probability of Ghia of having a job of receiving a job offer constants given that you're from this population or given that you calm disorder population maybe should not be true to different so this is called group fairness comparing fairness between two groups and there's another idea of fairness which you can think of which is individual fairness which essentially means that you are treated given audio data so you every feature of you is rightfully taken into account and so this would be more about your policy of getting your job given your your what what is known about you it is publicly known about differences and it turns out that and you may say yeah yeah every individuals would be judged based on on his competence for instance and you say we also like there should be no disconnection between the different group so you want may what you may want both individual fellows and goodfellas so there would be a specification approach and it turns out that you can prove mathematically that in many cases or in both cases these two are incompatible so the so the specification approach to finesse would be well they cannot have all all versions of an S at least simultaneously so so then you need to specify this more and and again like you to compute the trade offs and what we really mean by fairness the language of poverty has out to be very very very early I had like few things to add but I think like just like maybe to take away from this part is that like again we're like very superficially tackled three fairness because it's a people are just realizing that it is a scientific question hey so of course is a socially very important question but also that it highly scientific question that could be tackled with the scientific method maybe just like a side note sometimes we still like in some communities the topic is not as highly regarded and as I don't know proving some conversion speed of spoke a steep gradient descent on a convex function and I believe this is this is not this is this is something that that is not okay for example in the machine learning community - like this regard research in earnest as non-technical actually it's it first of all it's a very highly technical question and if we go back to the beginning of the broadcast algorithms like the researcher that gave us the name algorithms was actually trying to improve lo he was a lawyer and he was trying to make law more rigorous more transparent and this is how we invented algebra and algorithms by trying to by trying to improve law so working on fairness is extremely relevant for computer science and it's extremely it's an extremely interesting research topic so just like if they're like grad students watching this podcast please don't disregard this stop it like you shouldn't and I can it's not like just like about like please don't do it like if you are doing it you're wrong like if you are doing it you are really disregarding a research question this is highly technical highly subtool highly complex and unfortunately seem like very respected researchers disregard the topic and that that's not that's a bit sad and unfortunate I hope like now it's just a generational problem yeah personally I didn't experience that with your younger researchers mostly the old generation of computer scientists it means the question didn't look at these questions as maybe what's happening today so maybe it's just a generational problem that is going to improve itself with time there is a very good book written by Aaron Ross and Michael Kern's my memories good iron rod was a PhD student of cinch at work since yet work is the researcher to which we owe differential privacy so our roof also low 25 for privacy and armored attack she she she she did the sentient work a lot of very relevant research neck she has a very broad portfolio of questions that she tackles short in distributed computing initially they were typically computer science that she also gave us the formalism on differential privacy and now with the researchers like iron rod and others there is no growing community around fairness accountability and transparency conference by ASEAN we could list we could go on with the biggest of research like in just like the conference and look at the proceedings I don't want to name a few and not name the others but this this is this is obviously like this is a question where probabilistic thinking is is very helpful if you look at the statement of differential privacy it is a holistic statements so I think we have a video on at least there is a data byte video on on differential privacy but you could look it up and the same now applies for fairness it's it's not something you define the binary way or in a formal like this like it's not it's not something you can do with first-order logic it's something where probabilities are not a luxury or unnecessary so with that Sonya we can just good so this here next time