國立虎尾科技大學 |

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

Record Type:	Language materials, manuscript : Monograph/item
Title/Author:	Representing and Reasoning about Dynamic Multi-Agent Domains :/
Reminder of title:	An Action Language Approach.
Author:	Gelfond, Gregory.
Description:	1 online resource (168 pages)
Notes:	Source: Dissertation Abstracts International, Volume: 79-09(E), Section: B.
Contained By:	Dissertation Abstracts International79-09B(E).
Subject:	Computer science. -
Online resource:	click for full text (PQDT)
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. - 1 online resource (168 pages)

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

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

Includes bibliographical references

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.

Electronic reproduction.
Ann Arbor, Mich. :
ProQuest,
2018

Mode of access: World Wide Web

ISBN: 9780355910490Subjects--Topical Terms:

573171
Computer science.
Index Terms--Genre/Form:

554714
Electronic books.

Representing and Reasoning about Dynamic Multi-Agent Domains : = An Action Language Approach.
LDR:03019ntm a2200361Ki 4500 001 916900
005 20180928111503.5
006 m o u
007 cr mn||||a|a||
008 190606s2018 xx obm 000 0 eng d
020 $a 9780355910490
035 $a (MiAaPQ)AAI10807826
035 $a (MiAaPQ)asu:17775
035 $a AAI10807826
040 $a MiAaPQ $b eng $c MiAaPQ $d NTU
100 1 $a Gelfond, Gregory. $3 1190766
245 1 0 $a Representing and Reasoning about Dynamic Multi-Agent Domains : $b An Action Language Approach.
264 0 $c 2018
300 $a 1 online resource (168 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
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.
504 $a Includes bibliographical references
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.
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2018
538 $a Mode of access: World Wide Web
650 4 $a Computer science. $3 573171
650 4 $a Artificial intelligence. $3 559380
650 4 $a Logic. $3 558909
655 7 $a Electronic books. $2 local $3 554714
690 $a 0984
690 $a 0800
690 $a 0395
710 2 $a ProQuest Information and Learning Co. $3 1178819
710 2 $a Arizona State University. $b Computer Science. $3 845377
773 0 $t Dissertation Abstracts International $g 79-09B(E).
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10807826 $z click for full text (PQDT)