Detail Model Checking Rational Agents   Oleh:  Bordini, R. H. ; Fisher, M. ; Wooldridge, M. ; Visser, W. Jenis: Article from Bulletin/Magazine Dalam koleksi: IEEE Intelligent Systems vol. 19 no. 5 (2004), page 46-52. Topik: RATIONAL PLANNING; agents; model checking; rational agents Ketersediaan Perpustakaan Pusat (Semanggi) Nomor Panggil: II60.7 Non-tandon: 1 (dapat dipinjam: 0) Tandon: tidak ada     Lihat Detail Induk Isi artikel Agent - oriented programming techniques seem appropriate for developing systems that operate in complex, dynamic, and unpredictable environments. We aim to address this requirement by developing model - checking techniques for the (automatic or semiautomatic) verification of rational - agent systems written in a logic - based agent - oriented programming language. Typically, developers apply model - checking techniques to abstract models of a system rather than the system implementation. Although this is important for detecting design errors at an early stage, developers might still introduce errors during coding. In contrast, developers can directly apply our model - checking techniques to systems implemented in an agent - oriented programming language, automatically verifying agent systems without the usual gap between design and implementation. We developed our techniques for AgentSpeak, a rational - agent programming language based on the AgentSpeak (L) abstract agent-oriented programming language. AgentSpeak shares many features of the agent - oriented programming paradigm. Similarly, we've developed techniques for automatically translating AgentSpeak programs into the model specification language of existing model - checking systems. In this way, we reduce the problem of verifying that an AgentSpeak system has certain BDI logic properties to a conventional LTL model - checking problem. Opini Anda Klik untuk menuliskan opini Anda tentang koleksi ini! Kembali

Copyright © 2006, 2007 Unika Atma Jaya, all rights reserved