intTypePromotion=1

Báo cáo khoa học: "ON DETERMINING THE CONSISTENCY OF PARTIAL DESCRIPTIONS OF TREES"

Chia sẻ: Nhung Nhung | Ngày: | Loại File: PDF | Số trang:8

0
35
lượt xem
2
download

Báo cáo khoa học: "ON DETERMINING THE CONSISTENCY OF PARTIAL DESCRIPTIONS OF TREES"

Mô tả tài liệu
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

We examine the consistency problem for descriptions of trees based on remote dominance, and present a consistency-checking algorithm which is polynomial in the number of nodes in the description, despite disjunctions inherent in the theory of trees. The resulting algorithm allows for descriptions which go beyond sets of atomic formulas to allow certain types of disjunction and negation. collections to be combined contain contradictory information.

Chủ đề:
Lưu

Nội dung Text: Báo cáo khoa học: "ON DETERMINING THE CONSISTENCY OF PARTIAL DESCRIPTIONS OF TREES"

ADSENSE
ADSENSE

CÓ THỂ BẠN MUỐN DOWNLOAD

 

Đồng bộ tài khoản
2=>2