| Presentation | 2016-03-03 [Invited Talk] From Inference to Equivalent Transformation Kiyoshi Akama, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Trial of a big structural change of the theory of computational logic is discussed in this paper. Logical Problems such as proof problems and query-answering problems have been proposed, and their solutions have been investigated, and their solvers have been used. But there are many problem classes that are not to be solved. In order to construct a new theoretical basis for computational logic, we use equivalent transformation in place of inference. Class of logical Problems is extended from Proof problems into model-intersection problems (MI problems). This gives a new conceptual framework to discuss a large class of logical problems. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Inference / Equivalent Transformation / Computational Logic / Model / Specialzation / Interpretation / Program Generation / Target Mapping |
| Paper # | MSS2015-77 |
| Date of Issue | 2016-02-25 (MSS) |
| Conference Information | |
| Committee | MSS |
|---|---|
| Conference Date | 2016/3/3(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | KAIKYO MESSE SHIMONOSEKI |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Satoshi Yamane(Kanazawa Univ.) |
| Vice Chair | Morikazu Nakamura(Univ. of Ryukyus) |
| Secretary | Morikazu Nakamura(Yamaguchi Univ.) |
| Assistant | Hideki Kinjo(Okinawa Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Mathematical Systems Science and its applications |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | [Invited Talk] From Inference to Equivalent Transformation |
| Sub Title (in English) | Towards a new theory for Computational Logic |
| Keyword(1) | Inference |
| Keyword(2) | Equivalent Transformation |
| Keyword(3) | Computational Logic |
| Keyword(4) | Model |
| Keyword(5) | Specialzation |
| Keyword(6) | Interpretation |
| Keyword(7) | Program Generation |
| Keyword(8) | Target Mapping |
| 1st Author's Name | Kiyoshi Akama |
| 1st Author's Affiliation | Hokkaido University(Hokkaido Univ.) |
| Date | 2016-03-03 |
| Paper # | MSS2015-77 |
| Volume (vol) | vol.115 |
| Number (no) | MSS-480 |
| Page | pp.pp.53-56(MSS), |
| #Pages | 4 |
| Date of Issue | 2016-02-25 (MSS) |