Expressing Algorithms as Concise as Possible via Computability Logic

This paper proposes a new approach to defining and expressing algorithms: the notion of task logical algorithms. This notion allows the user to define an algorithm for a task T as a set of agents who can collectively perform T. This notion considerably simplifies the algorithm development process an...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Communications and Computer Sciences, 2014/06/01, Vol.E97.A(6), pp.1385-1387
1. Verfasser:	KWON, Keehang
Format:	Artikel
Sprache:	eng
Schlagworte:	agents algorithm Algorithms computability logic Logic Tasks
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!