One of the most important problems faced in hydrology is the estimation of flood magnitudes and frequencies in ungauged basins. Hydrological regionalisation is used to transfer information from gauged watersheds to ungauged watersheds. However, to obtain reliable results, the watersheds involved must have a similar hydrological behaviour. In this study, two different clustering approaches are used and compared to identify the hydrologically homogeneous regions. Fuzzy C-Means algorithm (FCM), which is widely used for regionalisation studies, needs the calculation of cluster validity indices in order to determine the optimal number of clusters. Fuzzy Minimals algorithm (FM), which presents an advantage compared with others fuzzy clustering algorithms, does not need to know a priori the number of clusters, so cluster validity indices are not used. Regional homogeneity test based on L-moments approach is used to check homogeneity of regions identified by both cluster analysis approaches. The validation of the FM algorithm in deriving homogeneous regions for flood frequency analysis is illustrated through its application to data from the watersheds in Alto Genil (South Spain). According to the results, FM algorithm is recommended for identifying the hydrologically homogeneous regions for regional frequency analysis.
There are nine antirealist explanations of the success of science in the literature. I raise difficulties against all of them except the latest one, and then construct a pessimistic induction that the latest one will turn out to be problematic because its eight forerunners turned out to be problematic. This pessimistic induction is on a par with the traditional pessimistic induction that successful present scientific theories will be revealed to be false because successful past scientific theories were revealed to be false., V literatuře existuje devět antirealistických vysvětlení úspěchu vědy. Vyvolávám obtíže proti všem, s výjimkou posledního, a pak buduji pesimistickou indukci, že poslední z nich bude problematická, protože osm předchůdců se ukázalo jako problematické. Tato pesimistická indukce je na stejné úrovni s tradiční pesimistickou indukcí, že úspěšné současné vědecké teorie budou odhaleny jako nepravdivé, protože úspěšné minulé vědecké teorie byly odhaleny jako nepravdivé., and Seungbae Park
Those who argue that dispositional explanations are genuine explanations usually construe them as causal explanations. There are several well-known arguments against the causal efficacy of dispositions, but there are as well demonstrations that on some minimal conditions, dispositions could be viewed as causally relevant to the effects which they are taken to explain. Although the latter position is generally tenable, it may be shown that in some important cases it is not a good idea to commit to a causal construal of dispositional explanations. The argument goes as follows: (1) Dispositional explanations are valued for certain specific extra-inferences which they allow us to draw; (2) The causal construal of dispositional explanations can account for some of these extra-inferences only on the assumption that the disposition is a common cause of its manifestations; (3) However, under certain circumstances, the common cause assumption is refuted on theoretical or empirical grounds; Therefore, (4) under certain circumstances, the causal construal of dispositional explanations cannot account for what these explanations are valued for. The latter conclusion is a reason to argue that in some cases at least, the causal construal of dispositional explanations should be avoided., Ti, kteří tvrdí, že dispoziční vysvětlení jsou skutečná vysvětlení, je obvykle považují za kauzální vysvětlení. Existuje několik dobře známých argumentů proti kauzální účinnosti dispozic, ale jsou zde také demonstrace, že za určitých minimálních podmínek lze dispozice považovat za kauzálně relevantní vzhledem k účinkům, které mají být vysvětleny. I když je tato pozice obecně udržitelná, může být prokázáno, že v některých důležitých případech není dobré zavázat se k příčinnému konstruktivnímu vysvětlení. Argument jde následovně: (1) Dispoziční vysvětlení jsou oceňována pro určité specifické extra-závěry, které nám umožňují kreslit; (2) Kauzální konstrukční dispoziční vysvětlení může vysvětlit některé z těchto extra-dedukcí pouze za předpokladu, že dispozice je společnou příčinou jejích projevů; (3) Za určitých okolností je však předpoklad společné příčiny vyvrácen z teoretických nebo empirických důvodů; Proto (4) za určitých okolností nemůže kauzální konstrukční vysvětlení vysvětlení vysvětlit, za co jsou tato vysvětlení oceňována. Tento závěr je důvodem pro tvrzení, že v některých případech je třeba se vyhnout kauzálnímu konstrukčnímu vykládání vysvětlení. kauzální konstruktivní vysvětlení nemůže vysvětlit, za co jsou tato vysvětlení oceňována. Tento závěr je důvodem pro tvrzení, že v některých případech je třeba se vyhnout kauzálnímu konstrukčnímu vykládání vysvětlení. kauzální konstruktivní vysvětlení nemůže vysvětlit, za co jsou tato vysvětlení oceňována. Tento závěr je důvodem pro tvrzení, že v některých případech je třeba se vyhnout kauzálnímu konstrukčnímu vykládání vysvětlení., and Lilia Gurova
Using ideas from John Searle, Roy Harris, Michael Reddy, and Nelson Goodman, I argue that texts, such as they are commonly conceived, lack brute existence. The common idea of texts is a conceptual construction which is useful in practical everyday contexts but not in serious theorizing, where it creates illusions and contradictions. One of these illusions is the idea of an objective textual meaning, a meaning which is ''in the text'': what we actually have in the way of textual meaning are the ideas of various persons – authors, readers, and commentators – about the meaning of the text. When applied to fictional characters, this way of viewing things explains why it makes sense to regard fictional characters as being created and as lacking brute existence., Použitím nápadů od Johna Searleho, Roy Harris, Michaela Reddyho a Nelsona Goodmana, tvrdím, že texty, tak jak jsou běžně koncipovány, postrádají hrubou existenci. Společná myšlenka textů je koncepční konstrukce, která je užitečná v praktických každodenních kontextech, ale ne ve vážném teoretizování, kde vytváří iluze a protiklady. Jednou z těchto iluzí je myšlenka objektivního textuálního významu, významu, který je "v textu": to, co vlastně máme ve způsobu textuálního významu, jsou myšlenky různých osob - autorů, čtenářů a komentátorů - o významu textu. Při použití na fiktivní postavy vysvětluje tento způsob prohlížení věci, proč má smysl považovat fiktivní postavy za vytvořené a chybějící hrubou existenci., and Anders Pettersson
The goal of this paper is to examine the conditions of validity for the rule of β-conversion in TIL, which is a hyperintensional, typed λ-calculus of partial functions. The rule of β-reduction is a fundamental computational rule of the λ-calculi and functional programming languages. However, it is a well-known fact that the specification of this rule is ambiguous (see, e.g., Plotkin 1975 or Chang & Felleisen 2012). There are two procedurally non-equivalent ways of executing the rule, namely β-conversion ''by name'' and β-conversion ''by value''. In the λ-calculi conversion by name is usually applied, though it is known that such a conversion is not unconditionally valid when partial functions are involved. If a procedure that is typed to produce an argument value is improper by failing to produce one, conversion by name cannot be validly applied. On the other hand, conversion by value is valid even in the case of improperness. Moreover, we show that in a typed λ-calculus the specification of λ-closure is also not unambiguous. There is an interpretation of this specification under which β-reduction by name is not valid even when the argument procedure does not fail to produce a value. As a result, we present a universally valid rule of β-reduction by value. and Cílem této práce je zkoumat podmínky platnosti pravidla β-konverze v TIL, což je hyperintenzivní, psaný λ-kalkul dílčích funkcí. Pravidlo β-redukce je základním výpočtovým pravidlem λ-kalkulů a funkčních programovacích jazyků. Je však dobře známo, že specifikace tohoto pravidla je nejednoznačná (viz např. Plotkin 1975 nebo Chang & Felleisen 2012). Existují dva procedurálně neekvivalentní způsoby provedení pravidla, a to β-konverze '' podle názvu '' a ''β-konverze'' podle hodnoty'. V kontextu λ-kalkulů se obvykle používá konverze podle názvu, ačkoli je známo, že taková konverze není bezpodmínečně platná, pokud jde o dílčí funkce. Je-li zadaný postup, který má hodnotu parametru argumentu, nesprávný tím, že jej neproběhne, nemůže být konverzace podle názvu platně použita. Na druhé straně konverze hodnotou platí i v případě nevhodnosti. Navíc ukážeme, že v zadaném λ-kalku není specifikace uzavření λ jednoznačná. Existuje interpretace této specifikace, při níž není jméno p-redukce platné, ani když proces argumentu nedokáže vytvořit hodnotu. Výsledkem je obecně platné pravidlo β-redukce hodnotou .
Two kinds of individuals are distinguished: abstract and concrete. Whereas abstract individuals belong to our conceptual sphere, concrete individuals (i.e. particulars) individuate the world of matter. A subject investigating the external world projects abstract individuals onto concrete ones. The proposal offers a solution to various metaphysical and epistemological puzzles concerning individuals, e.g., the Ship of Theseus, the Polish Logician, problems with reidentification, or proper names. and Jiří Raclavský
The methods of abstraction and idealization are commonly viewed as basic to both the natural and the social sciences. Since the 1970s, they have also been a focus of attention in the philosophy and methodology of science. However, their nature as methods, i.e., sequences of instructions, has not been adequately explicated. The paper attempts to capture the core of these methods in the sense of simplified sequences of instructions. The proposal is illustrated in a reconstruction of the application of both methods in economics as a representative of the social sciences., Metody abstrakce a idealizace jsou běžně považovány za základní pro přírodní i společenské vědy. Od sedmdesátých let se pozornost věnuje také filozofii a metodologii vědy. Jejich povaha jako metody, tj. Sekvence instrukcí, nebyla dostatečně vysvětlena. Příspěvek se pokouší zachytit jádro těchto metod ve smyslu zjednodušených sekvencí instrukcí. Návrh je ilustrován rekonstrukcí aplikace obou metod v ekonomii jako zástupce společenských věd., and Juraj Halas
Abstract: By action model, we understand any logic-based representation of effects and executability preconditions of individual actions within a certain domain. In the context of artificial intelligence, such models are necessary for planning and goal-oriented automated behaviour. Currently, action models are commonly hand-written by domain experts in advance. However, since this process is often difficult, time-consuming, and error-prone, it makes sense to let agents learn the effects and conditions of actions from their own observations. Even though the research in the area of action learning, as a certain kind of inductive reasoning, is relatively young, there already exist several distinctive action learning methods. We will try to identify the collection of the most important properties of these methods, or challenges that they are trying to overcome, and briefly outline their impact on practical applications., Abstrakt: Podle akčního modelu chápeme logickou reprezentaci efektů a předpokladů vykonatelnosti jednotlivých akcí v rámci určité domény. V kontextu umělé inteligence jsou tyto modely nezbytné pro plánování a cílené automatizované chování. V současné době jsou akční modely běžně ručně psány odborníky domény předem. Vzhledem k tomu, že tento proces je často obtížný, časově náročný a náchylný k chybám, má smysl nechat agenty seznámit se s účinky a podmínkami akcí z vlastních pozorování. I když je výzkum v oblasti akčního učení, jako určitý druh indukčního uvažování, relativně mladý, existuje již několik výrazných metod učení. Pokusíme se identifikovat sbírku nejdůležitějších vlastností těchto metod., and Michal Čertický