Search results for "formal"
showing 10 items of 1654 documents
Ethics in designing intelligent systems
2019
The idea of Hume’s guillotine contains the argument that one cannot derive values from facts. As intelligent systems operate with facts, Hume’s famous dilemma seems to contradict the very idea of being able to create ethical intelligent systems. In a closer look, ethics is a system of rules guiding actions. Actions always have factual or cognitive aspects, as well as evaluative or emotional aspects. Therefore, Hume’s juxtaposition of facts and norms is not well-founded. Instead of separating the facts and norms it should rather ask what kinds of facts are associated to what kinds of norms. Consequently, Hume’s guillotine sets no limits in processing ethical information, as one can combine f…
Concept Analysis in Programming Language Research : Done Well It Is All Right
2017
Programming language research is becoming method conscious. Rigorous mathematical or empirical evaluation is often demanded, which is a good thing. However, I argue in this essay that concept analysis is a legitimate research approach in programming languages, with important limitations. It can be used to sharpen vague concepts, and to expose distinctions that have previously been overlooked, but it does not demonstrate the superiority of one language design over another. Arguments and counter-arguments are essential to successful concept analysis, and such thoughtful conversations should be published more. peerReviewed
A Musical Pattern Discovery System Founded on a Modeling of Listening Strategies
2004
Music is a domain of expression that conveys a paramount degree of complexity. The musical surface, composed of a multitude of notes, results from the elaboration of numerous structures of different types and sizes. The composer constructs this structural complexity in a more or less explicit way. The listener, faced by such a complex phenomenon, is able to reconstruct only a limited part of it, mostly in a non-explicit way. One particular aim of music analysis is to objectify such complexity, thus offering to the listener a tool for enriching the appreciation of music (Lartillot and SaintJames, 2004). The trouble is, traditional musical analysis, although offering a valuable understanding …
Grammars++ for modelling information in text
1999
Abstract Grammars provide a convenient means to describe the set of valid instances in a text database. Flexibility in choosing a grammar can be exploited to provide information modelling capability by designing productions in the grammar to represent entities and relationships of interest to database applications. Additional constraints can be specified by attaching predicates to selected nonterminals in the grammar. When used for database definition, grammars can provide the functionality that users have come to expect of database schemas. Extended grammars can also be used to specify database manipulation, including query, update, view definition, and index specification.
Bayesian Metanetwork for Context-Sensitive Feature Relevance
2006
Bayesian Networks are proven to be a comprehensive model to describe causal relationships among domain attributes with probabilistic measure of appropriate conditional dependency. However, depending on task and context, many attributes of the model might not be relevant. If a network has been learned across multiple contexts then all uncovered conditional dependencies are averaged over all contexts and cannot guarantee high predictive accuracy when applied to a concrete case. We are considering a context as a set of contextual attributes, which are not directly effect probability distribution of the target attributes, but they effect on a “relevance” of the predictive attributes towards tar…
A Formal Semantics and a Client Synthesis for a BPEL Service
2008
A complex Web service described with languages like BPEL4WS, consists of an executable process and its observable behaviour (called an abstract process) based on the messages exchanged with the client. The abstract process behaviour is non deterministic due to the internal choices during the service execution. Furthermore the specification often includes timing constraints which must be taken into account by the client. Thus given a service specification, we identify the synthesis of a client as a key issue for the development of Web services. To this end, we propose an approach based on (dense) timed automata to first describe the observable service behaviour and then to build correct inte…
Grammar is the heart of language : grammar and its role in language learning among Finnish university students
2015
This article presents and discusses views on grammar and its role in formal language learning amongst Finnish university students. The results are based on a questionnaire which was distributed to students at the University of Jyväskylä as part of institutional action research. The background to the project was a feeling amongst some teachers of increased divergence between student respectively language teacher understandings of the role of grammar in language teaching. This concern raised the need to find out how students view grammar. The knowledge about thoughts on grammar amongst students would then help teachers to adjust and adept the way grammar is used in language teaching. The main…
Mixed-aspect fractal surfaces
2013
In order to provide accurate tools to model original surfaces in a Computer Aided Geometric Design context, we develop a formalism based on iterated function systems. This model enables us to represent both smooth and fractal free-form curves and surfaces. But, because of the self-similarity property underlying the iterated function systems, curves and surfaces can only have homogeneous roughness. The aim of our work was to elaborate a method to build parametric shapes (curves, surfaces, ...) with a non-uniform local aspect: every point is assigned a ''geometric texture'' that evolves continuously from a smooth to a rough aspect. The principle is to blend shapes with uniform aspects to defi…
THE CONE OF EXPERIENCE IN TEACHING MATHEMATICS SYNCHRONOUSLY AND ASYNCHRONOUSLY
2021
Teaching online is a new challenge for every single teacher. Mathematics in particular remains the school subject that requires special teaching tools. This article describes Edgar Dale’s «Cone of experience» and Bruner’s learning approaches for synchronous and asynchronous teaching in Mathematics. It also describes the most important tools that can be used for online teaching in a combination of both formats, asynchronous and synchronous. These teaching methods are described not only in terms of digital tools, but also in terms of Jerome Bruner’s theories on information processing.
Iterative pairs and multitape automata
1996
In this paper we prove that if every iterative k-tuple of a language L recognized by a k-tape automaton is very degenerate, then L is recognizable. Moreover, we prove that if L is an aperiodic langnage recognized by a deterministic k-tape automaton, then L is recognizable.