Towards a formal framework for the specification of hybrid fuzzy modeling

被引:0
|
作者
Valdés, M [1 ]
Botía, JA [1 ]
Gómez-Skarmeta, AF [1 ]
机构
[1] Univ Murcia, Dept Ingn Informac & Comunicac, E-30071 Murcia, Spain
关键词
data-driven fuzzy modeling; hybridization;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This architecture starts when a previously existing software system ends. This software tool offers the needed functionality! to work with general purpose inductive learning. Now, new. functionalities, those needed to cope with hybrid fuzzy modeling, are being Added to it. In order to reach our main goal, the following four ones are the most important ideas that we will consider. The first one is that we see data driven fuzzy modeling as a set of successive transformations done to data, starting from the raw source data and finishing at the desired fuzzy inference system. The second one is the modelization of the "fuzzy modeling task" concept in terms of domains, codomains, preconditions, postconditions inside a concrete domain of discourse. The third one is the definition of different schemes for tasks composition to form higher level tasks in a transparent manner. Finally, the fourth one is the concretion of the methodological steps to follow on the integration into this new framework of base techniques to be used as building blocks to compound higher level tasks. All these ideas are finally illustrated with an example.
引用
收藏
页码:1014 / 1019
页数:6
相关论文
共 50 条
  • [1] Toward a framework for the specification of hybrid fuzzy modeling
    Valdés, M
    Gómez-Skarmeta, AF
    Botía, JA
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2005, 20 (02) : 225 - 252
  • [2] Towards a Formal Specification Framework for Manufacturing Execution Systems
    Witsch, Maria
    Vogel-Heuser, Birgit
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2012, 8 (02) : 311 - 320
  • [3] Formal Specification of the Framework for NSSA
    Bhandari, Pardeep
    Singh, Manpreet
    [J]. 2ND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING, COMMUNICATION & CONVERGENCE, ICCC 2016, 2016, 92 : 23 - 29
  • [4] SPECTRUM - A formal specification framework
    不详
    [J]. FORMAL FOUNDATIONS FOR SOFTWARE ENGINEERING METHODS, 1997, 1322 : 27 - 36
  • [5] Towards a formal specification for the AgentComponent
    Meier, P
    Wirsing, M
    [J]. OBJECTS, AGENTS, AND FEATURES, 2004, 2975 : 175 - 188
  • [6] A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation
    Castro, Rodrigo
    Kofman, Ernesto
    Wainer, Gabriel
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2010, 86 (10): : 587 - 611
  • [7] Towards a formal framework for reuse in business process modeling
    Markovic, Ivan
    Pereira, Alessandro Costa
    [J]. BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2008, 4928 : 484 - 495
  • [8] A formal specification for a fuzzy expert system
    Matthews, C
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2003, 45 (07) : 419 - 429
  • [9] A formal mathematical framework for modeling probabilistic hybrid systems
    Robert St-Aubin
    Joel Friedman
    Alan K. Mackworth
    [J]. Annals of Mathematics and Artificial Intelligence, 2006, 47 : 397 - 425
  • [10] A formal mathematical framework for modeling probabilistic hybrid systems
    St-Aubin, Robert
    Friedman, Joel
    Mackworth, Alan K.
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2006, 47 (3-4) : 397 - 425