본문 바로가기
  • Home

Knowledge Representation and Reasoning using Metalogic in a Cooperative Multiagent Environment

  • Journal of The Korea Society of Computer and Information
  • Abbr : JKSCI
  • 2022, 27(7), pp.35-48
  • DOI : 10.9708/jksci.2022.27.07.035
  • Publisher : The Korean Society Of Computer And Information
  • Research Area : Engineering > Computer Science
  • Received : June 14, 2022
  • Accepted : July 7, 2022
  • Published : July 29, 2022

Koono Kim 1

1한동대학교

Accredited

ABSTRACT

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.

Citation status

* References for papers published after 2022 are currently being built.