Elsőrendű logika és generatív mesterséges intelligencia = First-order logic and generative artificial intelligence

Vályi, Sándor (2025) Elsőrendű logika és generatív mesterséges intelligencia = First-order logic and generative artificial intelligence. In: Dr. Varecza Árpád (1941-2005) XX. Tudományos Emlékülés és IV. Konferencia. Nyíregyházi Egyetem Matematika és Informatika Intézet, Nyíregyháza, pp. 28-39. ISBN 9786156032829

Preview

Text Varecza2025_Valyi_Sandor.pdf - Published Version Download (720kB) | Preview

Abstract

Az elsőrendű logika a formális ismeret-reprezentációs és következtetési rendszerek történetileg legfontosabb és legbefolyásosabb tagja. Ma is az első helyen szerepel a legismertebb mesterséges intelligencia tankönyv ismeret-reprezentációs eszközei között. Természetesen az elsőrendű logika érvelési formalizmusa és az automatikus következménybizonyító algoritmusai nagy hatást gyakoroltak a mai generatív mesterséges intelligencia-kutatások menetére. Jelen írásban összehasonlítjuk a 2023-as ChatGPT-3.5 és a 2025-ben (november elején) általánosan elérhető ChatGPT-5 verzió néhány, az elsőrendű logikával kapcsolatos képességét, mintegy vizsgáztatás alá vetjük, mint egy elsőéves programtervező informatikus vagy matematikus hallgatót. Megállapítjuk, hogy az elsőrendű logikával kapcsolatos szintaktikai ismeretei rendben voltak már 2023-ban is. A formális levezetések keresésével kapcsolatos képessége is fejlett volt már akkor. Megállapítottuk, hogy a természetes nyelven megfogalmazott következtetésekben az elmúlt két év alatt nagyon sokat fejlődött, a 'reasoning' fontos szerepet kapott a ChatGPT újabb modelljeinek fejlesztéseiben, tulajdonképpen a fejlesztések egyik fő irányát jelenti. First-order logic is historically the most important and influential member of formal knowledge representation and inference systems. It still ranks first among the knowledge representation tools of the most well-known artificial intelligence textbook. Of course, the reasoning formalism of first-order logic and its automatic deduction algorithms have had a great impact on the course of today's generative artificial intelligence research. In this paper, we compare some of the first-order logic-related capabilities of the 2023 ChatGPT-3.5 and the ChatGPT-5 version, which will be generally available in 2025 (early November), and put them to the test, as if they were a first-year computer science or mathematics student. We conclude that their syntactic knowledge of first-order logic was already ok in 2023. Their ability to search for formal derivations was also developed well at that time. We have found that inferences formulated in natural language have improved a lot over the past two years. 'Reasoning' has played an important role in the development of the newer ChatGPT models, in fact it represents one of the main directions of development..

Actions (login required)

Edit Item