Principles for a Judgement Editor Based on Binary Decision Diagrams
We introduce the theoretical principles that underlie the design of a software tool which could b... more We introduce the theoretical principles that underlie the design of a software tool which could be used by judges for making decisions about litigations and for writing judgements. The tool is based on Binary Decision Diagrams (BDD), which are graphical representations of truth-valued functions associated to propositional formulas. Given a type of litigation, the tool asks questions to the judge; each question is represented by a propositional atom. Their answers, true or false, allow to evaluate the truth value of the formula which encodes the overall recommendation of the software about the litigation. Our approach combines some sort of 'theoretical' or 'legal' reasoning dealing with the core of the litigation itself together with some sort of 'procedural' reasoning dealing with the protocol that has to be followed by the judge during the trial: some questions must necessarily be examined and sometimes in a specific order. That is why we consider extensions...
We describe the theoretical principles that underlie the design of a software tool which could be... more We describe the theoretical principles that underlie the design of a software tool which could be used by judges for writing judgements and for making decisions about litigations. The tool is based on Binary Decision Diagrams (BDD), which are graphical representations of truth-valued functions associated to propositional formulas. Given a specific litigation, the tool asks questions to the judge; each question is represented by a propositional atom. Their answers, true or false, allow to evaluate the truth value of the formula which encodes the overall recommendation of the software about the litigation. Our approach combines some sort of 'theoretical' or 'legal' reasoning dealing with the core of the litigation itself together with some sort of 'procedural' reasoning dealing with the protocol that has to be followed by the judge during the trial: some questions or group of questions must necessarily be examined and sometimes in a specific order. That is why ...
After having describing the Paris area telephonic network, the authors examine the appropriate me... more After having describing the Paris area telephonic network, the authors examine the appropriate methods of network structuring, to protect from breakdowns due to outs in transmission lines and failures in transit switching centres whereas the disturbance should not affect more than 5 % of the traffic and should not hinder priority traffic at all. The setting-up of a last choice network based on a specialized transit centre to deal with traffic overloads in normal conditions and with call routing in case of breakdown is recommended. The network design shouM provide means for directing the communications towards the above mentioned centre.
We describe the theoretical principles that underlie the design of a software tool which could be... more We describe the theoretical principles that underlie the design of a software tool which could be used by judges for writing judgements and for making decisions about litigations. The tool is based on Binary Decision Diagrams (BDD), which are graphical representations of truth–valued functions associated to propositional formulas. Given a specific litigation, the tool asks questions to the judge; each question is represented by a propositional atom. Their answers, true or false, allow to evaluate the truth value of the formula which encodes the overall recommendation of the software about the litigation. Our approach combines some sort of ‘theoretical’ or ‘legal’ reasoning dealing with the core of the litigation itself together with some sort of ‘procedural’ reasoning dealing with the protocol that has to be followed by the judge during the trial: some questions or group of questions must necessarily be examined and sometimes in a specific order. That is why we consider extensions o...
A telecommunication network has to be planned taking into account overloads and failure condition... more A telecommunication network has to be planned taking into account overloads and failure conditions. This paper presents a chain of computer programs, which allows the optimal design and dimensioning of a network in order to satisfy a given grade of service specification in case of the interruption of a single transmission link. The additional cost of introducing security requirements is also evaluated. The method has been applied to the network of Ile de France. After description of Paris extramuros network, the paper presents general results on the best security strategy for a given loss probability. The investments required for transmission equipments represent one to two years growth. Un réseau téléphonique doit être conçu en tenant compte de l’éventualité de surcharges de trafic ou de défaillances d’équipement. Cet article présente une série de programmes informatiques qui permet de déterminer la configuration optimale du réseau pour assurer un niveau donné de qualité de service en cas d’interruption d’une ligne de transmission. Il permet aussi d’évaluer le coût additionnel de cette sécurité. La méthode a été mise en œuvre sur le réseau de Paris extramuros. Après description de ce réseau, l’article présente la meilleure politique de sécurité à appliquer à ce réseau en fonction du taux de perte admis. L’investissement à consentir en transmission représente une à deux années de croissance.
After having describing the Paris area telephonic network, the authors examine the appropriate me... more After having describing the Paris area telephonic network, the authors examine the appropriate methods of network structuring, to protect from breakdowns due to outs in transmission lines and failures in transit switching centres whereas the disturbance should not affect more than 5% of the traffic and should not hinder priority traffic at all. The setting-up of a last choice network based on a specialized transit centre to deal with traffic overloads in normal conditions and with call routing in case of breakdown is recommended. The network design should provide means for directing the communications towards the above mentioned centre. Après avoir décrit le réseau de la région parisienne, les auteurs examinent les structures à mettre en place pour garantir ce réseau contre les pannes dues à l’interruption d’artères de transmission ou à la défaillance d’un commutateur de transit, en se fixant pour objectif que la perturbation n’affecte pas plus de 5 % du trafic et n’entrave pas l’écoulement du trafic prioritaire. On préconise de créer un réseau de dernier recours avec un centre de transit destiné à l’écoulement des surcharges de trafic en temps normal et à l’acheminement des appels en cas de panne. Le réseau doit être conçu pour que les transmissions puissent être dirigées vers ce centre.
Principles for a Judgement Editor Based on Binary Decision Diagrams
We introduce the theoretical principles that underlie the design of a software tool which could b... more We introduce the theoretical principles that underlie the design of a software tool which could be used by judges for making decisions about litigations and for writing judgements. The tool is based on Binary Decision Diagrams (BDD), which are graphical representations of truth-valued functions associated to propositional formulas. Given a type of litigation, the tool asks questions to the judge; each question is represented by a propositional atom. Their answers, true or false, allow to evaluate the truth value of the formula which encodes the overall recommendation of the software about the litigation. Our approach combines some sort of 'theoretical' or 'legal' reasoning dealing with the core of the litigation itself together with some sort of 'procedural' reasoning dealing with the protocol that has to be followed by the judge during the trial: some questions must necessarily be examined and sometimes in a specific order. That is why we consider extensions...
We describe the theoretical principles that underlie the design of a software tool which could be... more We describe the theoretical principles that underlie the design of a software tool which could be used by judges for writing judgements and for making decisions about litigations. The tool is based on Binary Decision Diagrams (BDD), which are graphical representations of truth-valued functions associated to propositional formulas. Given a specific litigation, the tool asks questions to the judge; each question is represented by a propositional atom. Their answers, true or false, allow to evaluate the truth value of the formula which encodes the overall recommendation of the software about the litigation. Our approach combines some sort of 'theoretical' or 'legal' reasoning dealing with the core of the litigation itself together with some sort of 'procedural' reasoning dealing with the protocol that has to be followed by the judge during the trial: some questions or group of questions must necessarily be examined and sometimes in a specific order. That is why ...
After having describing the Paris area telephonic network, the authors examine the appropriate me... more After having describing the Paris area telephonic network, the authors examine the appropriate methods of network structuring, to protect from breakdowns due to outs in transmission lines and failures in transit switching centres whereas the disturbance should not affect more than 5 % of the traffic and should not hinder priority traffic at all. The setting-up of a last choice network based on a specialized transit centre to deal with traffic overloads in normal conditions and with call routing in case of breakdown is recommended. The network design shouM provide means for directing the communications towards the above mentioned centre.
We describe the theoretical principles that underlie the design of a software tool which could be... more We describe the theoretical principles that underlie the design of a software tool which could be used by judges for writing judgements and for making decisions about litigations. The tool is based on Binary Decision Diagrams (BDD), which are graphical representations of truth–valued functions associated to propositional formulas. Given a specific litigation, the tool asks questions to the judge; each question is represented by a propositional atom. Their answers, true or false, allow to evaluate the truth value of the formula which encodes the overall recommendation of the software about the litigation. Our approach combines some sort of ‘theoretical’ or ‘legal’ reasoning dealing with the core of the litigation itself together with some sort of ‘procedural’ reasoning dealing with the protocol that has to be followed by the judge during the trial: some questions or group of questions must necessarily be examined and sometimes in a specific order. That is why we consider extensions o...
A telecommunication network has to be planned taking into account overloads and failure condition... more A telecommunication network has to be planned taking into account overloads and failure conditions. This paper presents a chain of computer programs, which allows the optimal design and dimensioning of a network in order to satisfy a given grade of service specification in case of the interruption of a single transmission link. The additional cost of introducing security requirements is also evaluated. The method has been applied to the network of Ile de France. After description of Paris extramuros network, the paper presents general results on the best security strategy for a given loss probability. The investments required for transmission equipments represent one to two years growth. Un réseau téléphonique doit être conçu en tenant compte de l’éventualité de surcharges de trafic ou de défaillances d’équipement. Cet article présente une série de programmes informatiques qui permet de déterminer la configuration optimale du réseau pour assurer un niveau donné de qualité de service en cas d’interruption d’une ligne de transmission. Il permet aussi d’évaluer le coût additionnel de cette sécurité. La méthode a été mise en œuvre sur le réseau de Paris extramuros. Après description de ce réseau, l’article présente la meilleure politique de sécurité à appliquer à ce réseau en fonction du taux de perte admis. L’investissement à consentir en transmission représente une à deux années de croissance.
After having describing the Paris area telephonic network, the authors examine the appropriate me... more After having describing the Paris area telephonic network, the authors examine the appropriate methods of network structuring, to protect from breakdowns due to outs in transmission lines and failures in transit switching centres whereas the disturbance should not affect more than 5% of the traffic and should not hinder priority traffic at all. The setting-up of a last choice network based on a specialized transit centre to deal with traffic overloads in normal conditions and with call routing in case of breakdown is recommended. The network design should provide means for directing the communications towards the above mentioned centre. Après avoir décrit le réseau de la région parisienne, les auteurs examinent les structures à mettre en place pour garantir ce réseau contre les pannes dues à l’interruption d’artères de transmission ou à la défaillance d’un commutateur de transit, en se fixant pour objectif que la perturbation n’affecte pas plus de 5 % du trafic et n’entrave pas l’écoulement du trafic prioritaire. On préconise de créer un réseau de dernier recours avec un centre de transit destiné à l’écoulement des surcharges de trafic en temps normal et à l’acheminement des appels en cas de panne. Le réseau doit être conçu pour que les transmissions puissent être dirigées vers ce centre.
Uploads
Papers by jean BERBINAU