The work concerns a new formalism of common-sense reasoning modeling. It combines 'classical' Reiter's default logic and Brewka's cumulative default logic with Zadeh's generalized theory of uncerta...
详细信息
ISBN:
(纸本)9781424439591
The work concerns a new formalism of common-sense reasoning modeling. It combines 'classical' Reiter's default logic and Brewka's cumulative default logic with Zadeh's generalized theory of uncertainty and granular reasoning. Various aspects of uncertainty and ignorance are discussed with respect to intelligent humans' behavior patterns. The paper introduces basic definitions of Fuzzy Default logic (FDL) and presents the inference scheme together with the conclusion assessment procedure and problems of hypotheses stability. PROLOG implementation of the entire inference engine is given. The problems;of hypotheses generation and revision of beliefs are discussed. Finally, FDL is compared to the answer set programming and other disjunction logic based approaches.
Three interactive microcomputer languages are presented including some techniques used in their implementation. Although they are interesting languages in their own right the ideas underlying them may also be consider...
详细信息
Three interactive microcomputer languages are presented including some techniques used in their implementation. Although they are interesting languages in their own right the ideas underlying them may also be considered in future language designs. After a critical discussion of the language Forth it is shown how it can be extended to become a block structured language with named local variables. The second language is in several respects similar to Forth but uses a more uniform approach in the realization of its control structures as well as in some other respects concerning its implementation. The third language is a higher level functional language with some resemblance to a logic language which however shares some important aspects with the other two and still allows a simple compiler structure.
暂无评论