Intersection Problems and a Method for Solving Them
-
- AKAMA Kiyoshi
- Division of System and Information Engineering, Hokkaido University
-
- MIYAMOTO Eiichi
- Division of System and Information Engineering, Hokkaido University
Bibliographic Information
- Other Title
-
- インターセクション問題とその解法
Search this article
Description
In this paper we propose a class of problems, called "intersection problems", and investigate how to solve them. All intersection problem consists of a declarative description (a declarative program) and a query. The objective of all intersection problem is to find the intersection of two sets: the set defined by the description and the set represented by the query. A theoretical foundation is developed for solving intersection problems in terms of equivalent transformation of declarative programs. Based on this theory, many problems in artificial intelligence can be formulated naturally and solved efficiently with strict correctness.
Journal
-
- Technical report of IEICE. SS
-
Technical report of IEICE. SS 96 (347), 17-24, 1996-11-05
The Institute of Electronics, Information and Communication Engineers
- Tweet
Details 詳細情報について
-
- CRID
- 1573668927228709504
-
- NII Article ID
- 110003276846
-
- NII Book ID
- AN10013287
-
- Text Lang
- ja
-
- Data Source
-
- CiNii Articles
