발간년도 : [2023]
| 논문정보 |
|
| 논문명(한글) |
[Vol.18, No.4] A Study on Automatic Reasoning with Conceptual Computation Logic for Artificial Intelligence |
|
| 논문투고자 |
Jeong-Sig Kim, Jinhong Kim |
|
| 논문내용 |
Today, Artificial intelligence is famous at research, industry area and a various application system utilization such as App, SW, and devices. This ability of a digital computer or computer-controlled robot to perform tasks commonly associated with intelligent begins. The terms is frequently applied to the project of developing systems endowed with the intellectual processes characteristics of humans, such as the ability to reason, discover meaning, generalize, or learn from past experience. In this paper, we will discuss how to automate the reasoning process for first order logic with Artificial Intelligent. We propose the notations and notions of first-order predicate calculus, and the logic allow us to analyze and symbolize a wider variety of statements and arguments than can be done with propositional logic. First-order predicate calculus (FOPC) have the basic syntax and semantics of FOPC. We discuss the properties of validity and feasibility, and the problem of deciding whether a formula is valid. Equivalent formulas is the fundamental equivalences of FOPC, and the prenex normal forms, as well as the problem of formalizing such as english sentence. Formal proofs in predicate calculus is the standard inference rules that allow us to do formal reasoning in FOPC in much the same way that we have informal reasoning. |
|
| 첨부논문 |
|
|
|
|
|
자료실 > 논문지 
