東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Representation and Reasoning for Com...

Wetzel, Christopher Baylor.

FindBook

Google Book

Amazon

博客來

Representation and Reasoning for Complex Spatio-Temporal Problems: From Humans to Software Agents.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Representation and Reasoning for Complex Spatio-Temporal Problems: From Humans to Software Agents./
作者:	Wetzel, Christopher Baylor.
面頁冊數:	624 p.
附註:	Source: Dissertation Abstracts International, Volume: 75-09(E), Section: B.
Contained By:	Dissertation Abstracts International75-09B(E).
標題:	Artificial intelligence. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3620756
ISBN:	9781303913785

Representation and Reasoning for Complex Spatio-Temporal Problems: From Humans to Software Agents.
Wetzel, Christopher Baylor.

Representation and Reasoning for Complex Spatio-Temporal Problems: From Humans to Software Agents. - 624 p.

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

Thesis (Ph.D.)--University of Minnesota, 2014.

Success in the real world depends on the ability to reason about space and time. Consider the simple, everyday task of deciding whether to cross a road. If a car is coming, your decision will be based on how wide the road is, how fast you walk, how far away the car is and how fast it is moving. You might also consider structural features of the road; if the car has to turn a corner or go over a speed bump, the car will move slower for a short period of time. Determining whether it is safe to cross requires reasoning about the interaction of these variables.

ISBN: 9781303913785Subjects--Topical Terms:

516317
Artificial intelligence.

Representation and Reasoning for Complex Spatio-Temporal Problems: From Humans to Software Agents.
LDR:05180nmm a2200349 4500 001 2076275
005 20161028121057.5
008 170521s2014 ||||||||||||||||| ||eng d
020 $a 9781303913785
035 $a (MiAaPQ)AAI3620756
035 $a AAI3620756
040 $a MiAaPQ $c MiAaPQ
100 1 $a Wetzel, Christopher Baylor. $3 3191718
245 1 0 $a Representation and Reasoning for Complex Spatio-Temporal Problems: From Humans to Software Agents.
300 $a 624 p.
500 $a Source: Dissertation Abstracts International, Volume: 75-09(E), Section: B.
500 $a Advisers: Maria Gini; Wilma Koutstaal.
502 $a Thesis (Ph.D.)--University of Minnesota, 2014.
520 $a Success in the real world depends on the ability to reason about space and time. Consider the simple, everyday task of deciding whether to cross a road. If a car is coming, your decision will be based on how wide the road is, how fast you walk, how far away the car is and how fast it is moving. You might also consider structural features of the road; if the car has to turn a corner or go over a speed bump, the car will move slower for a short period of time. Determining whether it is safe to cross requires reasoning about the interaction of these variables.
520 $a The field of artificial intelligence has developed representations for describing space (e.g., RCC) and time (e.g., interval calculus) but not for describing the interaction between the two. Unsurprisingly, billions of years of evolution have resulted in humans being quite good at it. How they do so is not completely understood. Detailed studies have focused on overly simple problems while studies of complex problems have lacked sufficient detail to build computer models.
520 $a This thesis describes our investigation into solving problems with significant spatio-temporal components. We focused on the domain of tower defense puzzles, a class of complex spatio-temporal problems that requires the problem solver to use spatial actions (placing guard towers on a map) to maximize a temporal variable (tower active time). We had two objectives. First, using methods from experimental psychology and computational behavioral modeling, we wished to understand how, precisely, humans solved these problems. Humans, unlike computers, are known to be good at solving this type of problem. Our second goal was to construct a computer agent capable of solving this task as well as or better than the best humans.
520 $a To investigate the relationship of space, time and problem solving, we performed two experiments. The goal of Experiment 1 was to determine how humans solved tower defense puzzles. Experienced tower defense solvers (n=38) were asked to solve a series of novel tower defense puzzles. Interviews and automated data capture tools provided data that were used to answer a set of questions on how humans solved these puzzles. The results showed a tight integration between problem, representation and reasoning. Subjects needed to manipulate space to maximize a temporal value. Rather than represent the space, they represented the goal-relevant opportunities for actions present in the space, known as affordances. Problems were decomposed into sets of goals, each goal was addressed by one or more simple, focused, goal-specific strategies and each strategy was activated by an affordance. An interesting finding was that many subjects treated temporal problems as if they were spatial ones, which we refer to as spatial proxying.
520 $a The goal of Experiment 2 was to determine how well the discovered strategies worked. Novice (n=10) and experienced (n=10) tower defense solvers were asked to solve a series of novel tower defense puzzles. Results showed that 70% of novice and 40% of experienced subjects used spatial proxying strategies and that these strategies worked surprisingly well. 10% of novice and 60% of experienced subjects used strategies that directly manipulated time. These strategies performed better but frequently created solutions that were counter-intuitive.
520 $a Our second objective was to investigate computational representations and algorithms capable of creating an agent that performs at or above human levels for this task. Human studies showed that the majority of the "intelligence" of their problem solving process lay in the recognition and representation of spatial affordances. This led to the creation of the Spatial Affordance Query System (SAQS). In this system, spatio-temporal reasoning agents are created declaratively, with the author specifying the strategies the agent knows. The agent and problem map are passed to a solver, which compares the agent's strategy set to the affordances reported by SAQS, which instantiates the applicable strategies. The majority of agents were 5-12 lines of code and the best agent performed at the same level as the best human subjects.
590 $a School code: 0130.
650 4 $a Artificial intelligence. $3 516317
650 4 $a Cognitive psychology. $3 523881
650 4 $a Experimental psychology. $3 2144733
690 $a 0800
690 $a 0633
690 $a 0623
710 2 $a University of Minnesota. $b Computer Science. $3 1018528
773 0 $t Dissertation Abstracts International $g 75-09B(E).
790 $a 0130
791 $a Ph.D.
792 $a 2014
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3620756