By Da Duan, Paolo F Fantoni, Martine De Cock, Mike Nachtegael, Etienne E Kerre
FLINS, initially an acronym for Fuzzy common sense and clever applied sciences in Nuclear technological know-how, is now prolonged to utilized man made Intelligence for utilized study. The contributions to the 7th within the sequence of FLINS meetings contained during this quantity disguise cutting-edge examine and improvement in utilized synthetic intelligence for utilized learn often and for power/nuclear engineering specifically.
Read Online or Download Applied artificial intelligence: proceedings of the 7th International FLINS Conference, Genova, Italy, 29-31 August 2006 PDF
Similar nuclear books
This NATO-ASI installment is designed to supply a sophisticated evaluate for doctoral and post-doctoral applicants of the cutting-edge applied sciences for bio-detection. the most goal of the paintings goals at delivering readers with the most recent advancements essential to effectively comprehend the CBRN brokers and their linked biotechnologies.
- An Essay on Strategy: as it Affects the Achievement of Peace in a Nuclear Setting
- Decommissioning of nuclear power plants and research reactors
- Mulitlayed Nuclear Fuel Element
- Nuclear Dynamics : Approaches from Molecular, Biochemical and Visual Biology
Extra resources for Applied artificial intelligence: proceedings of the 7th International FLINS Conference, Genova, Italy, 29-31 August 2006
In this way, experts can get a better knowledge for their decisions. The paper is structured as follows: section 2 is devoted to a survey on specification of software; in section 3 we develop our tool for evaluating fuzzy logic formulae, followed by a section 4 with examples and a final section for conclusions and future research work. 21 2. Software specification Software verification requires to formalize characteristics of the system. This is the main objective of software specification, where the properties each algorithm must verify are given, by means of a precondition and a postcondition.
Mathematics, Complutense University Madrid, Spain. es J. MIGUEL CLEVA Fac. Informatics, Complutense University Madrid, Spain. Email:jcleva@sip. ucm. es JAVIER M O N T E R O Fac. Mathematics, Complutense University Madrid, Spain. es In this paper we present an automatic evaluation tool for fuzzy first order logic formulae. Since different logics can be considered, we allow for such formulae the appearance of syntactic modifiers, in such a way that our tool is designed not only to evaluate formulae in existing logic, but also to evaluate properties in any other logic framework given by the user.
In this case, considered specification is temporal logic, which reflects the idea of system evolution in time. But systems nowadays are even more complex, since they evolve in space too. Hence, spatial-temporal logics are introduced in order to specify programs. Still, specification requisites may be inexact, not fitting standard crisp formalism. For this reason we have introduced a fuzzy logic approach for the specification of program properties 9 . But such a fuzzy logic approach requires a certain level of certainty of a given formula, to be chosen from different interpretations.