Durum yönelimli mantık programlama: Zamanlı muhakeme ve akıllı simülasyon varlıkları.

Saved in:

Bibliographic Details
Title:	Durum yönelimli mantık programlama: Zamanlı muhakeme ve akıllı simülasyon varlıkları.
Alternate Title:	State oriented logic programming: Timed reasoning and intelligent simulation entities.
Authors:	Hocaoğlu, Mehmet Fatih¹ mfatih.hocaoglu@medeniyet.edu.tr
Source:	Journal of the Faculty of Engineering & Architecture of Gazi University / Gazi Üniversitesi Mühendislik Mimarlık Fakültesi Dergisi,. Jun2026, Vol. 41 Issue 2, p1333-1346. 14p.
Subjects:	Finite state machines, Logic programming, Computer programming, Computer simulation, Time delay systems
Abstract (English):	Logic programming is a paradigm based on formal logic, while state-oriented programming is built on Finite State Machines. Agent-Based Simulation Framework (AdSiF), a language used for simulation and agent development, utilizes hierarchical state diagrams in its programming approach and Prolog for logic programming. This approach aims to integrate declarative logic with the temporal and procedural dimensions of state diagrams by combining state-based programming with logic programming. While state diagrams provide an algorithmic structure that performs time-sensitive and synchronous parallel computations, logic programming derives truth values through reasoning and provides access to historical data in the knowledge base. The integration of these two approaches is called State-Oriented Logic Programming (SOLP) and enables the enrichment of computational models with historical knowledge, improving both decisionmaking processes and facilitating the modeling of time-delayed systems. This paper defines the foundations of a new programming paradigm by introducing the extension of state diagrams to logic programming with predicate and fact inference. It also discusses the concept of a meta task that allows higher-level tasks to be expressed and provides detailed examples of why the proposed solution constitutes a paradigmatic approach. [ABSTRACT FROM AUTHOR]
Abstract (Turkish):	Mantıksal programlama, biçimsel mantık temelli bir paradigma iken, durum yönelimli programlama Sonlu Durum Makineleri (Finite State Machines) üzerine inşa edilmiştir. Simülasyon ve etmen geliştirme amacıyla kullanılan bir dil olan Etmen Tabanlı Simülasyon Çerçevesi (EtSiS), programlama yaklaşımında hiyerarşik durum diyagramlarından ve mantık programlama için Prolog'dan faydalanmaktadır. Bu yaklaşım, durum yönelimli programlama ile mantık programlamayı bir araya getirerek, bildirimsel mantığı durum diyagramlarının zamansal ve prosedürel boyutlarıyla bütünleştirmeyi hedeflemektedir. Durum diyagramları, zamana duyarlı ve senkronize paralel hesaplamalar gerçekleştiren algoritmik bir yapı sunarken, mantık programlaması muhakeme yöntemiyle doğruluk değerleri türetmekte ve bilgi tabanındaki geçmiş verilere erişimi sağlamaktadır. Bu iki yaklaşımın entegrasyonu, Durum Yönelimli Mantık Programlama (State-Oriented Logic Programming, SOLP) olarak adlandırılmakta ve hesaplamalı modellerin geçmiş bilgiyle zenginleştirilmesini mümkün kılarak hem karar verme süreçlerini iyileştirmekte hem de zaman gecikmeli sistemlerin modellenmesini kolaylaştırmaktadır. Bu çalışma, durum diyagramlarının mantık programlamanın önerme (predicate) ve gerçeklik (fact) çıkarımlarıyla genişletilmesini ortaya koyarak, yeni bir programlama paradigmasının temellerini tanımlamaktadır. Ayrıca, daha yüksek düzeyli görevlerin ifade edilmesine olanak tanıyan bir üst görev kavramını ele almakta ve önerilen çözümün neden paradigmatik bir yaklaşım teşkil ettiğini ayrıntılı bir şekilde örneklerle açıklamaktadır. [ABSTRACT FROM AUTHOR]
	Copyright of Journal of the Faculty of Engineering & Architecture of Gazi University / Gazi Üniversitesi Mühendislik Mimarlık Fakültesi Dergisi, is the property of Gazi University, Faculty of Engineering & Architecture and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database:	Engineering Source

Description
Abstract:	Logic programming is a paradigm based on formal logic, while state-oriented programming is built on Finite State Machines. Agent-Based Simulation Framework (AdSiF), a language used for simulation and agent development, utilizes hierarchical state diagrams in its programming approach and Prolog for logic programming. This approach aims to integrate declarative logic with the temporal and procedural dimensions of state diagrams by combining state-based programming with logic programming. While state diagrams provide an algorithmic structure that performs time-sensitive and synchronous parallel computations, logic programming derives truth values through reasoning and provides access to historical data in the knowledge base. The integration of these two approaches is called State-Oriented Logic Programming (SOLP) and enables the enrichment of computational models with historical knowledge, improving both decisionmaking processes and facilitating the modeling of time-delayed systems. This paper defines the foundations of a new programming paradigm by introducing the extension of state diagrams to logic programming with predicate and fact inference. It also discusses the concept of a meta task that allows higher-level tasks to be expressed and provides detailed examples of why the proposed solution constitutes a paradigmatic approach. [ABSTRACT FROM AUTHOR]
ISSN:	13001884
DOI:	10.17341/gazimmfd.1593999