KJCKorea
Journal Central

@article{ART002862982},
author={Koono Kim},
title={Knowledge Representation and Reasoning using Metalogic in a Cooperative Multiagent Environment},
journal={Journal of The Korea Society of Computer and Information},
issn={1598-849X},
year={2022},
volume={27},
number={7},
pages={35-48},
doi={10.9708/jksci.2022.27.07.035}

TY - JOUR
AU - Koono Kim
TI - Knowledge Representation and Reasoning using Metalogic in a Cooperative Multiagent Environment
JO - Journal of The Korea Society of Computer and Information
PY - 2022
VL - 27
IS - 7
PB - The Korean Society Of Computer And Information
SP - 35
EP - 48
SN - 1598-849X
AB - In this study, it propose a proof theory method for expressing and reasoning knowledge in a multiagent environment. Since this method determines logical results in a mechanical way, it has developed as a core field from early AI research. However, since the proposition cannot always be proved in any set of closed sentences, in order for the logical result to be determinable, the range of expression is limited to the sentence in the form of a clause. In addition, the resolution principle, a simple and strong reasoning rule applicable only to clause-type sentences, is applied. Also, since the proof theory can be expressed as a meta predicate, it can be extended to the metalogic of the proof theory. Metalogic can be superior in terms of practicality and efficiency based on improved expressive power over epistemic logic of model theory. To prove this, the semantic method of epistemic logic and the metalogic method of proof theory are applied to the Muddy Children problem, respectively. As a result, it prove that the method of expressing and reasoning knowledge and common knowledge using metalogic in a cooperative multiagent environment is more efficient.
KW - model theory;proof theory;metalogic;cooperative multiagent
DO - 10.9708/jksci.2022.27.07.035
ER -

Koono Kim. (2022). Knowledge Representation and Reasoning using Metalogic in a Cooperative Multiagent Environment. Journal of The Korea Society of Computer and Information, 27(7), 35-48.

Koono Kim. 2022, "Knowledge Representation and Reasoning using Metalogic in a Cooperative Multiagent Environment", Journal of The Korea Society of Computer and Information, vol.27, no.7 pp.35-48. Available from: doi:10.9708/jksci.2022.27.07.035

Koono Kim "Knowledge Representation and Reasoning using Metalogic in a Cooperative Multiagent Environment" Journal of The Korea Society of Computer and Information 27.7 pp.35-48 (2022) : 35.

Koono Kim. Knowledge Representation and Reasoning using Metalogic in a Cooperative Multiagent Environment. 2022; 27(7), 35-48. Available from: doi:10.9708/jksci.2022.27.07.035

Koono Kim. "Knowledge Representation and Reasoning using Metalogic in a Cooperative Multiagent Environment" Journal of The Korea Society of Computer and Information 27, no.7 (2022) : 35-48.doi: 10.9708/jksci.2022.27.07.035

Koono Kim. Knowledge Representation and Reasoning using Metalogic in a Cooperative Multiagent Environment. Journal of The Korea Society of Computer and Information, 27(7), 35-48. doi: 10.9708/jksci.2022.27.07.035

Koono Kim. Knowledge Representation and Reasoning using Metalogic in a Cooperative Multiagent Environment. Journal of The Korea Society of Computer and Information. 2022; 27(7) 35-48. doi: 10.9708/jksci.2022.27.07.035

Koono Kim. Knowledge Representation and Reasoning using Metalogic in a Cooperative Multiagent Environment. 2022; 27(7), 35-48. Available from: doi:10.9708/jksci.2022.27.07.035

Koono Kim. "Knowledge Representation and Reasoning using Metalogic in a Cooperative Multiagent Environment" Journal of The Korea Society of Computer and Information 27, no.7 (2022) : 35-48.doi: 10.9708/jksci.2022.27.07.035