國立虎尾科技大學 |

Representing Plausible Beliefs about States, Actions, and Processes.

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Representing Plausible Beliefs about States, Actions, and Processes./
作者:	Klassen, Toryn Qwyllyn.
出版者:	Ann Arbor : ProQuest Dissertations & Theses, : 2021,
面頁冊數:	203 p.
附註:	Source: Dissertations Abstracts International, Volume: 82-10, Section: B.
Contained By:	Dissertations Abstracts International82-10B.
標題:	Computer science. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=28156398
ISBN:	9798597082455

Representing Plausible Beliefs about States, Actions, and Processes.
Klassen, Toryn Qwyllyn.

Representing Plausible Beliefs about States, Actions, and Processes. - Ann Arbor : ProQuest Dissertations & Theses, 2021 - 203 p.

Source: Dissertations Abstracts International, Volume: 82-10, Section: B.

Thesis (Ph.D.)--University of Toronto (Canada), 2021.

This item must not be sold to any third party vendors.

This thesis deals with the topic of modelling an agent’s beliefs about a dynamic world in a way that allows for changes in beliefs, including retracting of beliefs, based on the agent’s observations. We work within the field of knowledge representation, and represent the beliefs of the agent using a logical theory. In particular, we are concerned with representing what initial conditions the agent considers (im)plausible, what effects the agent thinks actions (im)plausibly have, and what processes in the environment the agent thinks have (im)plausibly occurred or will occur.Our approach uses the situation calculus, a standard knowledge representation framework for modelling action and change. Furthermore, we build on an existing framework in the situation calculus for modelling changing beliefs, where beliefs are determined using a plausibility ordering on situations. This supports modelling changing beliefs, since when the most plausible options are refuted by observations, the agent can fall back to the next most plausible options. Our concern is with how to specify this plausibility ordering using a logical theory. We propose to define the ordering by counting certain properties of situations, indicated by distinguished predicates, which we call “abnormality” predicates. This is inspired by how minimization of abnormalities has been used in circumscription, an approach to default reasoning.We show how beliefs about plausible and implausible action effects can be represented by having the axioms describing effects refer to abnormalities. Furthermore, we extend the account of belief to allow for beliefs about ongoing exogenous processes, described by a program (written in ConGolog, a standard programming language for use with the situation calculus). We show how having these programs refer to abnormalities allows for representing plausible and implausible environment behavior. Finally, we present a formal definition of “knowing how” to achieve goals, in terms of belief, which allows for the agent to change its beliefs about what it knows how to do.

ISBN: 9798597082455Subjects--Topical Terms:

573171
Computer science.
Subjects--Index Terms:

Belief revision

Representing Plausible Beliefs about States, Actions, and Processes.
LDR:03403nam a2200409 4500 001 1104561
005 20230619080049.5
006 m o d
007 cr#unu||||||||
008 230907s2021 ||||||||||||||||| ||eng d
020 $a 9798597082455
035 $a (MiAaPQ)AAI28156398
035 $a AAI28156398
040 $a MiAaPQ $c MiAaPQ
100 1 $a Klassen, Toryn Qwyllyn. $3 1413408
245 1 0 $a Representing Plausible Beliefs about States, Actions, and Processes.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2021
300 $a 203 p.
500 $a Source: Dissertations Abstracts International, Volume: 82-10, Section: B.
500 $a Advisor: McIlraith, Sheila A.;Levesque, Hector J.
502 $a Thesis (Ph.D.)--University of Toronto (Canada), 2021.
506 $a This item must not be sold to any third party vendors.
520 $a This thesis deals with the topic of modelling an agent’s beliefs about a dynamic world in a way that allows for changes in beliefs, including retracting of beliefs, based on the agent’s observations. We work within the field of knowledge representation, and represent the beliefs of the agent using a logical theory. In particular, we are concerned with representing what initial conditions the agent considers (im)plausible, what effects the agent thinks actions (im)plausibly have, and what processes in the environment the agent thinks have (im)plausibly occurred or will occur.Our approach uses the situation calculus, a standard knowledge representation framework for modelling action and change. Furthermore, we build on an existing framework in the situation calculus for modelling changing beliefs, where beliefs are determined using a plausibility ordering on situations. This supports modelling changing beliefs, since when the most plausible options are refuted by observations, the agent can fall back to the next most plausible options. Our concern is with how to specify this plausibility ordering using a logical theory. We propose to define the ordering by counting certain properties of situations, indicated by distinguished predicates, which we call “abnormality” predicates. This is inspired by how minimization of abnormalities has been used in circumscription, an approach to default reasoning.We show how beliefs about plausible and implausible action effects can be represented by having the axioms describing effects refer to abnormalities. Furthermore, we extend the account of belief to allow for beliefs about ongoing exogenous processes, described by a program (written in ConGolog, a standard programming language for use with the situation calculus). We show how having these programs refer to abnormalities allows for representing plausible and implausible environment behavior. Finally, we present a formal definition of “knowing how” to achieve goals, in terms of belief, which allows for the agent to change its beliefs about what it knows how to do.
590 $a School code: 0779.
650 4 $a Computer science. $3 573171
650 4 $a Logic. $3 558909
650 4 $a Artificial intelligence. $3 559380
653 $a Belief revision
653 $a Cardinality-based circumscription
653 $a Knowledge representation
653 $a Plausibility
653 $a Reasoning about action
653 $a Situation calculus
690 $a 0800
690 $a 0395
690 $a 0984
710 2 $a University of Toronto (Canada). $b Computer Science. $3 845521
773 0 $t Dissertations Abstracts International $g 82-10B.
790 $a 0779
791 $a Ph.D.
792 $a 2021
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=28156398