To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Hector Zenil, University of Cambridge,Narsis A. Kiani, Karolinska Institutet, Stockholm,Jesper Tegnér, King Abdullah University of Science and Technology, Saudi Arabia
We introduce an extensive dataset for multilingual probing of morphological information in language models (247 tasks across 42 languages from 10 families), each consisting of a sentence with a target word and a morphological tag as the desired label, derived from the Universal Dependencies treebanks. We find that pre-trained Transformer models (mBERT and XLM-RoBERTa) learn features that attain strong performance across these tasks. We then apply two methods to locate, for each probing task, where the disambiguating information resides in the input. The first is a new perturbation method that “masks” various parts of context; the second is the classical method of Shapley values. The most intriguing finding that emerges is a strong tendency for the preceding context to hold more information relevant to the prediction than the following context.
To model system implementations, we define the language of Simple Processes. In this language, systems are defined in the classical style of giving a separate program for each process. Process programs use send and receive actions that need to match during execution in order to achieve a communication. We discuss how implementations of choreographies from the previous chapter can be written in terms of this language. We also formulate in our setting the key properties of parallelism, communication safety, and starvation-freedom, respectively: the capability of executing independent communications in any order; the property that processes never attempt to interact by performing incompatible actions; and the property that every running process eventually gets to act.
Hector Zenil, University of Cambridge,Narsis A. Kiani, Karolinska Institutet, Stockholm,Jesper Tegnér, King Abdullah University of Science and Technology, Saudi Arabia
Hector Zenil, University of Cambridge,Narsis A. Kiani, Karolinska Institutet, Stockholm,Jesper Tegnér, King Abdullah University of Science and Technology, Saudi Arabia
Hector Zenil, University of Cambridge,Narsis A. Kiani, Karolinska Institutet, Stockholm,Jesper Tegnér, King Abdullah University of Science and Technology, Saudi Arabia
We explore conservative extensions to Recursive Choreographies, which aim at making choreographies easier to read or to write. These extensions are given as syntactic sugar and include constructs for request-reply interactions, message destructuring, and distributed conditions.
We study the properties of Recursive Choreographies and its related notion of EPP in depth. Endpoint projection is proven to guarantee choreography compliance and communication safety in this setting. Starvation-freedom does not hold anymore in general, due to the possibilities opened by general recursion in Recursive Choreographies, but it holds for the tail-recursive fragment of the language. Under some reasonable assumptions, the weaker property of deadlock-freedom holds for any implementation returned by EPP. That is, the EPP of a choreography never gets stuck.
Concurrent and distributed systems based on message passing have become important drivers of our technological advancement. Their programming requires the integration of communicating processes, at the heart of which we find the notion of choreography: a document that prescribes the communications that processes should perform in order to reach a common goal. We say that a system has the property of choreography compliance if the interactions that take place among processes follow the agreed-upon choreography.
Hector Zenil, University of Cambridge,Narsis A. Kiani, Karolinska Institutet, Stockholm,Jesper Tegnér, King Abdullah University of Science and Technology, Saudi Arabia
Hector Zenil, University of Cambridge,Narsis A. Kiani, Karolinska Institutet, Stockholm,Jesper Tegnér, King Abdullah University of Science and Technology, Saudi Arabia
Hector Zenil, University of Cambridge,Narsis A. Kiani, Karolinska Institutet, Stockholm,Jesper Tegnér, King Abdullah University of Science and Technology, Saudi Arabia
Previous research on design thinking (DT) has focused mainly on describing and explaining observed phenomena rather than manipulating variables within the boundaries of its principles to assess the impact of these changes. DT, as a human-centric problem-solving and innovation method, has varying baseline exposure levels of nondesigners and novices when codesigning. This qualitative research shows how DT can be redesigned to accommodate the inclusion and engagement of novices and nondesigners in the codesign process with enhanced DT method applicability. DT novices and nondesigners are challenged in codesign engagements with others and need an intuitive method that leads them to the same or better design results as a classic DT method. A redesign towards an intuitive DT method for nondesigners puts special consideration on method language, efficiency and cycle time. A case study validates its qualification under real-life circumstances when codesigning with DT novices and nondesigners. Overall, the research demonstrates that DT with regard to nondesigners can be simplified and redesigned for efficiency and effectiveness.
Argumentation problems are concerned with determining the acceptability of a set of arguments from their relational structure. When the available information is uncertain, probabilistic argumentation frameworks provide modeling tools to account for it. The first contribution of this paper is a novel interpretation of probabilistic argumentation frameworks as probabilistic logic programs. Probabilistic logic programs are logic programs in which some of the facts are annotated with probabilities. We show that the programs representing probabilistic argumentation frameworks do not satisfy a common assumption in probabilistic logic programming (PLP) semantics, which is, that probabilistic facts fully capture the uncertainty in the domain under investigation. The second contribution of this paper is then a novel PLP semantics for programs where a choice of probabilistic facts does not uniquely determine the truth assignment of the logical atoms. The third contribution of this paper is the implementation of a PLP system supporting this semantics: smProbLog. smProbLog is a novel PLP framework based on the PLP language ProbLog. smProbLog supports many inference and learning tasks typical of PLP, which, together with our first contribution, provide novel reasoning tools for probabilistic argumentation. We evaluate our approach with experiments analyzing the computational cost of the proposed algorithms and their application to a dataset of argumentation problems.
We introduce choreographic choice, another construct for choosing between alternative choreographies. Differently from conditionals, choreographic choices are not necessarily resolved by a single process but might require performing interactions instead.
We equip processes with the capabilities of storing values (memory) and performing local computation. The resulting choreographic and process languages are called, respectively, Stateful Choreographies and Stateful Processes. We update the notion of EPP to these new languages.