Presentation | 1996/3/14 A Decision Procedure for Multi-Agent Autoepistemic Logic : Formula Translation Method Hideto Ogawa, Katsuhiko Toyama, Yasuyoshi Inagaki, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Multi-agent Auto Epistemic Logic (MAEL) formalizes logical structure of agents' knowledge under multi agent environment. Although a decision procedure for MEAL based on tableau method was proposed. development of more efficient method is desired. On the other hand, for Moor's (single agent) autoepistemic logic, a decision procedure based on formula translation to propositional logic was proposed by Marek. In this paper, we propose a decision procedure for MAEL based on translation method. A clause of MAEL is translated to a propositional formula, and MAEL decision problem is reduced to propositional satisfiability problem. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | autoepistemic logic / decision procedure / formula translation / multi agent |
Paper # | AI95-67,KBSE95-55 |
Date of Issue |
Conference Information | |
Committee | AI |
---|---|
Conference Date | 1996/3/14(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Artificial Intelligence and Knowledge-Based Processing (AI) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Decision Procedure for Multi-Agent Autoepistemic Logic : Formula Translation Method |
Sub Title (in English) | |
Keyword(1) | autoepistemic logic |
Keyword(2) | decision procedure |
Keyword(3) | formula translation |
Keyword(4) | multi agent |
1st Author's Name | Hideto Ogawa |
1st Author's Affiliation | Department of Information Engineering, Nagoya University() |
2nd Author's Name | Katsuhiko Toyama |
2nd Author's Affiliation | Department of Computer Science, Chukyo University |
3rd Author's Name | Yasuyoshi Inagaki |
3rd Author's Affiliation | Department of Information Engineering, Nagoya University |
Date | 1996/3/14 |
Paper # | AI95-67,KBSE95-55 |
Volume (vol) | vol.95 |
Number (no) | 573 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |