this book constitutes the refereed proceedings of the 4thinternationalconference on algebraic Biology, ANB 2010, held at the Castle of Hagenberg, Austria in July/August 2010. the conference is a follow up of the AB ...
详细信息
ISBN:
(数字)9783642280672
ISBN:
(纸本)9783642280665
this book constitutes the refereed proceedings of the 4thinternationalconference on algebraic Biology, ANB 2010, held at the Castle of Hagenberg, Austria in July/August 2010. the conference is a follow up of the AB conference.
the 10 papers were carefully reviewed and selected from numerous submissions. the papers are organized in topical sections on mathematical modeling, system analysis and design, genomics, molecular structure analysis, automata theory, artificial intelligence, sequence analysis, automated reasoning, formal language and hybrid symbolic numerical methods.
Fuzzy linguistic logicprogramming, which is a result of integrating hedge algebras and fuzzy logicprogramming, is proposed to facilitate the representation and reasoning on knowledge expressed in natural language, i...
详细信息
ISBN:
(纸本)9783540859833
Fuzzy linguistic logicprogramming, which is a result of integrating hedge algebras and fuzzy logicprogramming, is proposed to facilitate the representation and reasoning on knowledge expressed in natural language, in which vague sentences are usually given a degree of truth stated in linguistic terms rather than a number, and linguistic hedges are very often used. To compute the truth value of a query, a computational model which directly manipulates linguistic terms is provided. the computational model has been proved to be sound. this paper presents a fixpoint semantics for fuzzy linguistic logic programs and based on it proves the completeness of the computational model.
Biotechnological plants, such as Fed Batch Fermentation (FBF) systems used in plant culturing, have an abundance of uncertainty and complexity, which makes it difficult to model these systems and unsuitable to employ ...
详细信息
ISBN:
(纸本)9781665479783
Biotechnological plants, such as Fed Batch Fermentation (FBF) systems used in plant culturing, have an abundance of uncertainty and complexity, which makes it difficult to model these systems and unsuitable to employ conventional techniques for control design. Recently, artificial intelligence and computational intelligence techniques have been employed in modelling and controlling these systems. However, most of the techniques employed are hybrid models which have high computational requirements. In this study, a conventional Fuzzy logic Controller (FLC) for FBF control is presented withthe aim of improving efficiency. the fermentation plant is modelled as a black box using C programming language. the FLC is designed and simulated in MATLAB and the results are compared with a nominal feeding profile. the FLC resulted in a 137 percent increase in product concentration, a 538 percent improvement in productivity, and a 14 percent increase in volume. the nominal profile, on the other hand, performed better in terms of Biomass, withthe FLC providing a 70% decrease in Biomass levels of the fermentation process.
Regarding analogical reasoning as a deduction with a function of transforming logical rules, this paper presents a formalism of analogical reasoning in terms of deduction. this paper also presents a method, which is a...
详细信息
this paper presents fuzzy linguistic logicprogramming which is developed based on fuzzy logicprogramming introduced by P. Vojtas in order to facilitate the representation and reasoning on knowledge expressed in natu...
详细信息
ISBN:
(纸本)9783540859833
this paper presents fuzzy linguistic logicprogramming which is developed based on fuzzy logicprogramming introduced by P. Vojtas in order to facilitate the representation and reasoning on knowledge expressed in natural language. In fuzzy linguistic logicprogramming, truth values are linguistic terms such as true, very true, more or less true, and false taken from a hedge algebra of the truth variable, and linguistic hedges, e.g., very, more or less, quite, and rather, which are frequently used in natural language, can be used as unary connectives in formulae. In order to compute the truth value of a query, we provide a computational model which directly manipulates linguistic terms. the soundness of the computational model is proved. A fixpoint semantics of logic programs and the completeness of the computational model are discussed.
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint logic programs, emphasizing the visual style of formulation. A ...
详细信息
Alternative and more general Fril methods for soft computing including fuzzy control and classification are described. Fril is a logicprogramming style programming language which provides for uncertainty reasoning. B...
详细信息
ISBN:
(纸本)0780324625
Alternative and more general Fril methods for soft computing including fuzzy control and classification are described. Fril is a logicprogramming style programming language which provides for uncertainty reasoning. Both fuzzy and probabilistic forms of uncertainties are allowed. It is shown how rules can be automatically determined from a data base of examples. Fril allows for more general modelling and allows the concepts of soft computing to have wider application.
In this paper we propose an abstract version of the denotational semantics defined in [8]. this leads to a precise goal-independent abstract interpretation of Prolog programs. We deal withthe control rules of Prolog ...
详细信息
ISBN:
(纸本)3540654623
In this paper we propose an abstract version of the denotational semantics defined in [8]. this leads to a precise goal-independent abstract interpretation of Prolog programs. We deal withthe control rules of Prolog and the cut operator. Moreover, we get a simple denotation for negation as finite failure. the abstract analysis is proposed both for computed answers analysis and for call patterns analysis. In both cases the abstract semantics is finitely computable.
Illich's notion of conviviality centres on the balance between individual freedom to act and collective freedom from domination. this balance, or tension, is present in the design of most user-facing computer syst...
详细信息
ISBN:
(纸本)9781450375078
Illich's notion of conviviality centres on the balance between individual freedom to act and collective freedom from domination. this balance, or tension, is present in the design of most user-facing computer systems, and especially in the design of programming systems. Software lore has arisen with at best a skewed perspective on such issues, having developed from an industrial viewpoint. In this paper I survey some tentative design principles, extracted from examples of research work or (more often) systems used in practice, which (sometimes by accident) do show some regard for conviviality. Although preliminary, my hope is that these principles may yet develop into a collection of design hints at least equal, and largely countervailing, to the less conviviality-prone ideas circulating in today's software folklore. Relevant topics include language design, information hiding, language virtual machines, portability, classical logic, and layered system design. I also briefly consider the intertwined social and political constructs, such as copyleft, ownership and community responsibility, asking how to evolve or generalise these towards convivial ends.
this paper addresses the declarative and computational issues of incorporating set abstraction into functional and logicprogramming languages. the main results are the following: (i) Relative set abstraction can comb...
详细信息
暂无评论