71 Hits in 3.2 sec

RFuzzy: an Easy and Expressive Tool for Modelling the Cognitive Layer in RoboCupSoccer [chapter]

Susana Munoz
2010 Robot Soccer  
Fuzzy Prolog adds fuzziness to a Prolog compiler using CLP( ) instead of implementing a new fuzzy resolution method, as other former fuzzy Prologs do.  ...  Analysis of the fuzzy logic in Action C Crisp and Fuzzy logic comparison 'HFLVLRQ 0DNLQJ $QDO\VLV The action that is made for a robot is chosen attending to a set of variables.  ... 
doi:10.5772/7342 fatcat:wgabtcptubhlrcz6fshgpobpkm

Rfuzzy framework [article]

Victor Pablos Ceruelo and Susana Munoz-Hernandez and Hannes Strass
2009 arXiv   pre-print
Rfuzzy answers queries with direct results (instead of constraints) and it is easy to use for any person that wants to represent a problem using fuzzy reasoning in a simple way (by using the classical  ...  In this paper we present a modern framework, Rfuzzy, that is modelling multi-adjoint logic.  ...  Crisp and fuzzy reasoning are consistently combined [24] .  ... 
arXiv:0903.2188v1 fatcat:vtnh2miha5gmvmsz7x76rb5hj4

Extending Prolog with Incomplete Fuzzy Information [article]

Susana Munoz-Hernandez, Claudio Vaucheret
2005 arXiv   pre-print
This new release of Fuzzy Prolog handles incomplete information, it has a complete semantics (the previous one was incomplete as Prolog) and moreover it is able to combine crisp and fuzzy logic in Prolog  ...  To extend a popular system (which many programmers are using) with the ability of combining crisp and fuzzy knowledge representations seems to be an interesting issue.  ...  Combining Crisp and Fuzzy Logic Example: Teenager Student In order to use definitions of fuzzy predicates that include crisp subgoals we must define properly their semantics with respect to the Prolog  ... 
arXiv:cs/0508091v1 fatcat:sjgs6wczabhofbtsxbh4mwftre

RFuzzy∔A framework for multi-adjoint Fuzzy Logic Programming

Victor Pablos Ceruelo, Hannes Strass, Susana Munoz-Hernandez
2009 NAFIPS 2009 - 2009 Annual Meeting of the North American Fuzzy Information Processing Society  
, and allows the user 1 to combine fuzzy and crisp reasoning in the same program.  ...  Fuzzy Logic Programming aims at combining the advantages of Logic Programming (such as readability, conciseness, and a formally well-defined semantics) with the advantages of Fuzzy Logic (representability  ...  Both of them add fuzziness to a Prolog compiler using CLP(R) instead of implementing a new fuzzy resolution, as other fuzzy Prologs do.  ... 
doi:10.1109/nafips.2009.5156427 fatcat:smwqpydh7va5dheukma2ke62zi

Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering

Pascual Julián-Iranzo, Clemente Rubio-Manzano, Juan Gallardo-Casero
2009 Electronical Notes in Theoretical Computer Science  
In this paper we present the main features and implementation details of a programming language that we call Bousi∼Prolog.  ...  Hence, the syntax of Bousi∼Prolog is an extension of the Prolog's language: in general, a Bousi∼Prolog program is a set of Prolog clauses plus a set of similarity equations.  ...  Also by providing us the structural analogy and the input text used in Example 2.4.  ... 
doi:10.1016/j.entcs.2009.07.064 fatcat:v3dylwt5v5eqpjd53s6hrpv3oi

Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language

Jesús M. Almendros-Jiménez, Alejandro Luna, Ginés Moreno
2012 Electronical Notes in Theoretical Computer Science  
FLOPER is the "Fuzzy LOgic Programming Environment for Research" designed in our research group for assisting the development of real-world applications where fuzzy logic might play an important role.  ...  This is the case of our recently proposed extension for the popular XPath query language in order to handle flexible queries which provide ranked answers, fuzzy variants of operators and, or and avg for  ...  All these actions are based on the compilation of the fuzzy code into standard Prolog code.  ... 
doi:10.1016/j.entcs.2011.12.002 fatcat:zn4fu4zk2nafpjgdj7mh7mdio4

Fuzzy Logic Programming in Action with FLOPER

Ginés Moreno, Carlos Vázquez
2014 Journal of Software Engineering and Applications  
Nowadays,  is useful for compiling (to standard Prolog code), executing and debugging (by drawing execution trees) MALP programs, and it is ready for being extended in the near future with powerful  ...  definitions of fuzzy sets/connectives, together with fuzzy programs and their associated lattices modeling truth-degrees beyond the simpler crisp case { ; } true false . 274 introduced by Lee in [2],  ...  Acknowledgements This work was supported by the EU (FEDER), and the Spanish MINECO Ministry (Ministerio de Economía y Competitividad) under grant TIN2013-45732-C4-2-P.  ... 
doi:10.4236/jsea.2014.74028 fatcat:x7aptog7c5fctgw7cy4wrkvp7u

Formulating description logic learning as an Inductive Logic Programming task

Stasinos Konstantopoulos, Angelos Charalambidis
2010 International Conference on Fuzzy Systems  
The proposed methodology is tested on a many-valued variation of eastbound-trains and Iris, two well known and studied Machine Learning datasets.  ...  We describe an Inductive Logic Programming (ILP) approach to learning descriptions in Description Logics (DL) under uncertainty.  ...  Konstantopoulos wishes to acknowledge the support of FP7-ICT PRONTO, funded by the European Commission. See for more details. A.  ... 
doi:10.1109/fuzzy.2010.5584417 dblp:conf/fuzzIEEE/KonstantopoulosC10 fatcat:f33h7ypzubam7deymsdhcgmete

On the incorporation of interval-valued fuzzy sets into the Bousi-Prolog system: declarative semantics, implementation and applications [article]

Clemente Rubio-Manzano, Martin Pereira-Fariña
2017 arXiv   pre-print
In this paper we analyse the benefits of incorporating interval-valued fuzzy sets into the Bousi-Prolog system.  ...  We show, by using potential applications, that fuzzy logic programming frameworks enhanced with them can correctly work together with lexical resources and ontologies in order to improve their capabilities  ...  In the specific field of fuzzy logic programming and fuzzy Prolog systems, little attention has been paid to the impact of this type of high degree of uncertainty and vagueness inherent to lexical knowledge  ... 
arXiv:1711.03147v1 fatcat:snbztbrcg5bgxmou77hppzwyqa

Combining fuzzy logic and behavioral similarity for non-strict program validation

Coen De Roover, Johan Brichau, Theo D'Hondt
2006 Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06  
a program's source code-, fuzzy logic and static program analysis in a way that is completely transparent to the end-user.  ...  We have achieved this by having the conditions in a logic rule interpreted as constraints over the run-time behavior source code constructs give rise to instead of as constraints over the literal source  ...  Acknowledgments This research was partially funded by the EU-funded network of excellence AOSD-Europe.  ... 
doi:10.1145/1140335.1140339 dblp:conf/ppdp/RooverBD06 fatcat:ldktyw2qfrhtbo2bivqqxrvpry

Unfolding-based Improvements on Fuzzy Logic Programs

Pascual Julián, Ginés Moreno, Jaime Penabad
2005 Electronical Notes in Theoretical Computer Science  
We use a fuzzy variant of Prolog where each program clause can be interpreted under a different (fuzzy) logic.  ...  In this paper we define two unfolding-based transformation rules that extend the classical definition of the unfolding rule (for pure logic programs) to a fuzzy logic setting.  ...  Different functions A can be considered for a fuzzy concept and, in general, they will present a soft shape instead of the characteristic function's crisp slope of an ordinary set.  ... 
doi:10.1016/j.entcs.2005.01.040 fatcat:e2yebsdmgjfw5ox2izjqu6amum

Video Event Recognition for Surveillance Applications (VERSA) [article]

Stephen O'Hara
2010 arXiv   pre-print
Although the handling of uncertainty in the current VERSA implementation is simplistic, the language and architecture is amenable to extending using Fuzzy Logic or similar approaches.  ...  The approach for event recognition in VERSA is using a declarative logic language to define the spatial and temporal relationships that characterize a given event or activity.  ...  Fuzzy Logic and Prolog are a natural fit, and Fuzzy Logic reasoners have been implemented in Prolog for nearly as long as Prolog itself has been around.  ... 
arXiv:1007.3772v1 fatcat:apuv2tifhzbudmtwyzbxutka3y

Syntax-driven Analysis of Context-free Languages with Respect to Fuzzy Relational Semantics

R. Bergmair, U. Bodenhofer
2006 2006 IEEE International Conference on Fuzzy Systems  
A grammatical framework is presented that augments context-free production rules with semantic production rules that rely on fuzzy relations as representations of fuzzy natural language concepts.  ...  It is shown how the well-known technique of syntax-driven semantic analysis can be used to infer from an expression in a language defined in such a semantically augmented grammar a weak ordering on the  ...  The second author gratefully acknowledges partial support by the Austrian Government, the State of Upper Austria, and the Johannes Kepler University Linz in the framework of the Kplus Competence Center  ... 
doi:10.1109/fuzzy.2006.1681988 dblp:conf/fuzzIEEE/BergmairB06 fatcat:hl2o7mkzjrgrlmsqacvn3u2leq

Methodologies and Applications of Artificial Intelligence in Systems Engineering

Awatef K. Ali, MagdiSadek Mostafa Mahmoud
2022 International Journal of Robotics and Control Systems  
These are knowledge-based systems (KBS), artificial neural networks (ANN), and fuzzy logic and systems (FLS).  ...  This paper presents an overview of the methodologies and applications of artificially intelligent systems (AIS) in different engineering disciplines with the objective of unifying the basic information  ...  Fuzzy Logic and Systems (FLSs) KBS are constructed (often in the form of a computer code) by obtaining the domain-specific knowledge (that is, knowledge of medicine from a medical doctor) and coding it  ... 
doi:10.31763/ijrcs.v2i1.532 fatcat:nl5ylioc6vbu7iw6hjdvijvigi

A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials

Stefano Bistarelli, Fabio Martinelli, Francesco Santini
2012 Computers and Mathematics with Applications  
a fuzzy value).  ...  In deduction [4, 5] , given a policy and a set of additional facts and events, the service finds out all consequences (actions or obligations) of the policy and the facts, i.e., whether granting the access  ...  This Programme is supported by the Marie Curie Co-funding of Regional, National and International Programmes (COFUND) of the European Commission.  ... 
doi:10.1016/j.camwa.2011.12.017 fatcat:v6zqrlgc25gjvcr53htaox743m
« Previous Showing results 1 — 15 out of 71 results