In this chapter, we study structures that contain predicates and do not contain functions. Global approach means that in computation trees solving a problem we can use arbitrary predicates from the structure. In the first nine sections of this chapter, we consider structures that contain only 1-ary predicates. For these structures, called 1-predicate structures, we study problems with only one input variable and computation trees in which the predicates depend on this variable. The consideration is based on results obtained for decision trees over information systems. In the last section of this chapter, we consider predicate structures that can contain predicates of arbitrary arity. For such structures, we study problems with several input variables and computation trees for these problems.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Computation Trees Over Predicate Structures. Global Approach

  • Mikhail Moshkov

摘要

In this chapter, we study structures that contain predicates and do not contain functions. Global approach means that in computation trees solving a problem we can use arbitrary predicates from the structure. In the first nine sections of this chapter, we consider structures that contain only 1-ary predicates. For these structures, called 1-predicate structures, we study problems with only one input variable and computation trees in which the predicates depend on this variable. The consideration is based on results obtained for decision trees over information systems. In the last section of this chapter, we consider predicate structures that can contain predicates of arbitrary arity. For such structures, we study problems with several input variables and computation trees for these problems.