A Formal Framework for Adaptation

2017 ◽  
pp. 81-94
Author(s):  
Anne Marie Amja ◽  
Abdel Obaid ◽  
Hafedh Mili ◽  
Zahi Jarir
Keyword(s):  
Formal Framework

scholarly journals Three Ways of Being Non-Material

Studia Logica ◽  
2021 ◽  
Author(s):  
Vincenzo Crupi ◽  
Andrea Iacona
Keyword(s):  
Probabilistic Analysis ◽  
Quantitative Measure ◽  
Strict Interpretation ◽  
Formal Framework ◽  
Evidential Support ◽  
Ways Of Being

AbstractThis paper develops a probabilistic analysis of conditionals which hinges on a quantitative measure of evidential support. In order to spell out the interpretation of ‘if’ suggested, we will compare it with two more familiar interpretations, the suppositional interpretation and the strict interpretation, within a formal framework which rests on fairly uncontroversial assumptions. As it will emerge, each of the three interpretations considered exhibits specific logical features that deserve separate consideration.

scholarly journals On the relation between keys and link keys for data interlinking

Semantic Web ◽  
2020 ◽  
pp. 1-21
Author(s):  
Manuel Atencia ◽  
Jérôme David ◽  
Jérôme Euzenat
Keyword(s):  
Description Logics ◽  
The Other ◽  
Formal Framework ◽  
Precise Relationship

Both keys and their generalisation, link keys, may be used to perform data interlinking, i.e. finding identical resources in different RDF datasets. However, the precise relationship between keys and link keys has not been fully determined yet. A common formal framework encompassing both keys and link keys is necessary to ensure the correctness of data interlinking tools based on them, and to determine their scope and possible overlapping. In this paper, we provide a semantics for keys and link keys within description logics. We determine under which conditions they are legitimate to generate links. We provide conditions under which link keys are logically equivalent to keys. In particular, we show that data interlinking with keys and ontology alignments can be reduced to data interlinking with link keys, but not the other way around.

scholarly journals Actively revealing card attack on card-based protocols

2021 ◽  
Author(s):  
Ken Takashima ◽  
Daiki Miyahara ◽  
Takaaki Mizuki ◽  
Hideaki Sone
Keyword(s):  
Secure Computation ◽  
Malicious Attack ◽  
Formal Framework ◽  
Almost All ◽  
And Function

AbstractIn 1989, den Boer presented the first card-based protocol, called the “five-card trick,” that securely computes the AND function using a deck of physical cards via a series of actions such as shuffling and turning over cards. This protocol enables a couple to confirm their mutual love without revealing their individual feelings. During such a secure computation protocol, it is important to keep any information about the inputs secret. Almost all existing card-based protocols are secure under the assumption that all players participating in a protocol are semi-honest or covert, i.e., they do not deviate from the protocol if there is a chance that they will be caught when cheating. In this paper, we consider a more malicious attack in which a player as an active adversary can reveal cards illegally without any hesitation. Against such an actively revealing card attack, we define the t-secureness, meaning that no information about the inputs leaks even if at most t cards are revealed illegally. We then actually design t-secure AND protocols. Thus, our contribution is the construction of the first formal framework to handle actively revealing card attacks as well as their countermeasures.

scholarly journals A formal framework for robot to understand compound concepts

2021 ◽  
Vol 1846 (1) ◽  
pp. 012035
Author(s):  
Yuanxiu Liao ◽  
Mingrui Yan ◽  
Xinqiao Li
Keyword(s):  
Formal Framework ◽  
Compound Concepts

Artificial cognitive systems: Where does argumentation fit in?

2011 ◽  
Vol 34 (2) ◽  
pp. 78-79 ◽  
Author(s):  
John Fox
Keyword(s):  
Social Interaction ◽  
Social Interactions ◽  
Cognitive Systems ◽  
Human Reasoning ◽  
Mental Processes ◽  
Cognitive Agents ◽  
Formal Framework ◽  
Shed Light

AbstractMercier and Sperber (M&S) suggest that human reasoning is reflective and has evolved to support social interaction. Cognitive agents benefit from being able to reflect on their beliefs whether they are acting alone or socially. A formal framework for argumentation that has emerged from research on artificial cognitive systems that parallels M&S's proposals may shed light on mental processes that underpin social interactions.

A formal framework for service modeling and prototyping

2013 ◽  
Vol 26 (6) ◽  
pp. 1077-1113 ◽  
Author(s):  
Elvinia Riccobene ◽  
Patrizia Scandurra
Keyword(s):  
Formal Framework ◽  
Service Modeling

scholarly journals Bayesian natural selection and the evolution of perceptual systems

2002 ◽  
Vol 357 (1420) ◽  
pp. 419-448 ◽  
Author(s):  
Wilson S. Geisler ◽  
Randy L. Diehl
Keyword(s):  
Natural Selection ◽  
Decision Theory ◽  
Ideal Observer ◽  
Statistical Decision Theory ◽  
Statistical Decision ◽  
Natural Stimuli ◽  
Ideal Observers ◽  
Formal Framework ◽  
Bayesian Statistical Decision Theory ◽  
Perceptual Systems

In recent years, there has been much interest in characterizing statistical properties of natural stimuli in order to better understand the design of perceptual systems. A fruitful approach has been to compare the processing of natural stimuli in real perceptual systems with that of ideal observers derived within the framework of Bayesian statistical decision theory. While this form of optimization theory has provided a deeper understanding of the information contained in natural stimuli as well as of the computational principles employed in perceptual systems, it does not directly consider the process of natural selection, which is ultimately responsible for design. Here we propose a formal framework for analysing how the statistics of natural stimuli and the process of natural selection interact to determine the design of perceptual systems. The framework consists of two complementary components. The first is a maximum fitness ideal observer, a standard Bayesian ideal observer with a utility function appropriate for natural selection. The second component is a formal version of natural selection based upon Bayesian statistical decision theory. Maximum fitness ideal observers and Bayesian natural selection are demonstrated in several examples. We suggest that the Bayesian approach is appropriate not only for the study of perceptual systems but also for the study of many other systems in biology.

scholarly journals Exploring Antarctic subglacial lakes with scientific probes: a formal probabilistic approach for operational risk management

2012 ◽  
Vol 58 (212) ◽  
pp. 1085-1097 ◽  
Author(s):  
M.P. Brito ◽  
G. Griffiths ◽  
M. Mowlem
Keyword(s):  
Markov Chain ◽  
Probabilistic Approach ◽  
Operational Risk ◽  
Formal Approach ◽  
Fault Trees ◽  
Subglacial Lake ◽  
Complex Processes ◽  
Formal Framework ◽  
Past Climate Change ◽  
Subglacial Lakes

AbstractSince their discovery, Antarctic subglacial lakes have become of great interest to the science community. It is hypothesized that they may hold unique forms of biological life and that they hold detailed sedimentary records of past climate change. According to the latest inventory, a total of 387 subglacial lakes have been identified in Antarctica (Wright and Siegert, 2011). However, exploration using scientific probes has yet to be performed. We propose a generic, formal approach to manage the operational risk of deploying probes during clean access to subglacial lake exploration. A representation of the entire probe deployment process is captured in a Markov chain. The transition from one state to the next depends on several factors, including reliability of components and processes. We use fault trees to quantify the probability of failure of the complex processes that must take place to facilitate the transition from one state to another. Therefore, the formal framework consists of integrating a Markov chain, fault trees, component and subsystem reliability data and expert judgment. To illustrate its application we describe how the approach can be used to address a series of what-if scenarios, using the intended Ellsworth Subglacial Lake probe deployment as a case study.

Sign in / Sign up

Export Citation Format

Share Document