東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Representing and Reasoning about Dyn...

Gelfond, Gregory.

FindBook

Google Book

Amazon

博客來

Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach./
作者:	Gelfond, Gregory.
出版者:	Ann Arbor : ProQuest Dissertations & Theses, : 2018,
面頁冊數:	168 p.
附註:	Source: Dissertation Abstracts International, Volume: 79-09(E), Section: B.
Contained By:	Dissertation Abstracts International79-09B(E).
標題:	Computer science. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10807826
ISBN:	9780355910490

Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach.
Gelfond, Gregory.

Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach. - Ann Arbor : ProQuest Dissertations & Theses, 2018 - 168 p.

Source: Dissertation Abstracts International, Volume: 79-09(E), Section: B.

Thesis (Ph.D.)--Arizona State University, 2018.

Reasoning about actions forms the basis of many tasks such as prediction, planning, and diagnosis in a dynamic domain. Within the reasoning about actions community, a broad class of languages, called action languages, has been developed together with a methodology for their use in representing and reasoning about dynamic domains. With a few notable exceptions, the focus of these efforts has largely centered around single-agent systems. Agents rarely operate in a vacuum however, and almost in parallel, substantial work has been done within the dynamic epistemic logic community towards understanding how the actions of an agent may effect not just his own knowledge and/or beliefs, but those of his fellow agents as well. What is less understood by both communities is how to represent and reason about both the direct and indirect effects of both ontic and epistemic actions within a multi-agent setting. This dissertation presents ongoing research towards a framework for representing and reasoning about dynamic multi-agent domains involving both classes of actions.

ISBN: 9780355910490Subjects--Topical Terms:

523869
Computer science.

Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach.
LDR:02734nmm a2200325 4500 001 2162383
005 20180928111503.5
008 190424s2018 ||||||||||||||||| ||eng d
020 $a 9780355910490
035 $a (MiAaPQ)AAI10807826
035 $a (MiAaPQ)asu:17775
035 $a AAI10807826
040 $a MiAaPQ $c MiAaPQ
100 1 $a Gelfond, Gregory. $3 3350367
245 1 0 $a Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2018
300 $a 168 p.
500 $a Source: Dissertation Abstracts International, Volume: 79-09(E), Section: B.
500 $a Adviser: Chitta Baral.
502 $a Thesis (Ph.D.)--Arizona State University, 2018.
520 $a Reasoning about actions forms the basis of many tasks such as prediction, planning, and diagnosis in a dynamic domain. Within the reasoning about actions community, a broad class of languages, called action languages, has been developed together with a methodology for their use in representing and reasoning about dynamic domains. With a few notable exceptions, the focus of these efforts has largely centered around single-agent systems. Agents rarely operate in a vacuum however, and almost in parallel, substantial work has been done within the dynamic epistemic logic community towards understanding how the actions of an agent may effect not just his own knowledge and/or beliefs, but those of his fellow agents as well. What is less understood by both communities is how to represent and reason about both the direct and indirect effects of both ontic and epistemic actions within a multi-agent setting. This dissertation presents ongoing research towards a framework for representing and reasoning about dynamic multi-agent domains involving both classes of actions.
520 $a The contributions of this work are as follows: the formulation of a precise mathematical model of a dynamic multi-agent domain based on the notion of a transition diagram; the development of the multi-agent action languages mA+ and mAL based upon this model, as well as preliminary investigations of their properties and implementations via logic programming under the answer set semantics; precise formulations of the temporal projection, and planning problems within a multi-agent context; and an investigation of the application of the proposed approach to the representation of, and reasoning about, scenarios involving the modalities of knowledge and belief.
590 $a School code: 0010.
650 4 $a Computer science. $3 523869
650 4 $a Artificial intelligence. $3 516317
650 4 $a Logic. $3 529544
690 $a 0984
690 $a 0800
690 $a 0395
710 2 $a Arizona State University. $b Computer Science. $3 1676136
773 0 $t Dissertation Abstracts International $g 79-09B(E).
790 $a 0010
791 $a Ph.D.
792 $a 2018
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10807826