During the last years, we have developed the FLOPER platform for providing a practical support to the so-called Multi-Adjoint Logic Programming approach (MALP in brief), which represents an extremely flexible framewor...During the last years, we have developed the FLOPER platform for providing a practical support to the so-called Multi-Adjoint Logic Programming approach (MALP in brief), which represents an extremely flexible framework into the Fuzzy Logic Programming arena. Nowadays, FLOPER 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 transformation and optimization techniques designed in our research group during the recent past. Our last update consists in the integration of a graphical interface for a comfortable interaction with the system which allows, among other capabilities, the use of projects for packing scripts and auxiliary definitions of fuzzy sets/connectives, together with fuzzy programs and their associated lattices modeling truth-degrees beyond the simpler crisp case ﹛true;false﹜.展开更多
Prolog(Programming in Logic)程序语言是一种逻辑程序设计语言。它是在逻辑学理论基础上建立起来的并广泛应用在人工智能研究中。这几十年已经出现了各具特色的Prolog编译器,而且各种编译器也都很成功。虽然在现阶段已经出现了各种版本...Prolog(Programming in Logic)程序语言是一种逻辑程序设计语言。它是在逻辑学理论基础上建立起来的并广泛应用在人工智能研究中。这几十年已经出现了各具特色的Prolog编译器,而且各种编译器也都很成功。虽然在现阶段已经出现了各种版本Prolog编译器,但是Prolog编译器的发展空间还是很大。本文先通过现代Prolog编译器的不足,介绍了新Prolog编译器的特点,然后简单叙述了Prolog编译器词法分析和语法分析的过程,最后介绍了UCB策略。展开更多
文摘During the last years, we have developed the FLOPER platform for providing a practical support to the so-called Multi-Adjoint Logic Programming approach (MALP in brief), which represents an extremely flexible framework into the Fuzzy Logic Programming arena. Nowadays, FLOPER 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 transformation and optimization techniques designed in our research group during the recent past. Our last update consists in the integration of a graphical interface for a comfortable interaction with the system which allows, among other capabilities, the use of projects for packing scripts and auxiliary definitions of fuzzy sets/connectives, together with fuzzy programs and their associated lattices modeling truth-degrees beyond the simpler crisp case ﹛true;false﹜.
文摘Prolog(Programming in Logic)程序语言是一种逻辑程序设计语言。它是在逻辑学理论基础上建立起来的并广泛应用在人工智能研究中。这几十年已经出现了各具特色的Prolog编译器,而且各种编译器也都很成功。虽然在现阶段已经出现了各种版本Prolog编译器,但是Prolog编译器的发展空间还是很大。本文先通过现代Prolog编译器的不足,介绍了新Prolog编译器的特点,然后简单叙述了Prolog编译器词法分析和语法分析的过程,最后介绍了UCB策略。