東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Topics in social software: Informati...

Pacuit, Eric.

FindBook

Google Book

Amazon

博客來

Topics in social software: Information in strategic situations.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Topics in social software: Information in strategic situations./
作者:	Pacuit, Eric.
面頁冊數:	157 p.
附註:	Source: Dissertation Abstracts International, Volume: 66-03, Section: B, page: 1553.
Contained By:	Dissertation Abstracts International66-03B.
標題:	Computer Science. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3169961
ISBN:	0542061023

Topics in social software: Information in strategic situations.
Pacuit, Eric.

Topics in social software: Information in strategic situations. - 157 p.

Source: Dissertation Abstracts International, Volume: 66-03, Section: B, page: 1553.

Thesis (Ph.D.)--City University of New York, 2005.

Social software is an emerging interdisciplinary field devoted to the design and analysis of social procedures. This new field has recently gained the attention of a wide range of research communities, including computer scientists, game theorists and philosophers. The main idea behind social software is that constructing and verifying social procedures should be pursued as systematically as computer software is pursued by computer scientists. The logical systems developed in this thesis are intended to facilitate such an analysis.

ISBN: 0542061023Subjects--Topical Terms:

626642
Computer Science.

Topics in social software: Information in strategic situations.
LDR:02396nmm 2200289 4500 001 1849160
005 20051209075323.5
008 130614s2005 eng d
020 $a 0542061023
035 $a (UnM)AAI3169961
035 $a AAI3169961
040 $a UnM $c UnM
100 1 $a Pacuit, Eric. $3 1533307
245 1 0 $a Topics in social software: Information in strategic situations.
300 $a 157 p.
500 $a Source: Dissertation Abstracts International, Volume: 66-03, Section: B, page: 1553.
500 $a Adviser: Rohit Parikh.
502 $a Thesis (Ph.D.)--City University of New York, 2005.
520 $a Social software is an emerging interdisciplinary field devoted to the design and analysis of social procedures. This new field has recently gained the attention of a wide range of research communities, including computer scientists, game theorists and philosophers. The main idea behind social software is that constructing and verifying social procedures should be pursued as systematically as computer software is pursued by computer scientists. The logical systems developed in this thesis are intended to facilitate such an analysis.
520 $a Although the analogy between computer software and social software is strong, there are some important differences. For example, two issues which are important for an analysis of social procedures but less crucial for computer software are the exchange of (and occasional hiding of) information, and the provision of incentives. Concurrency theory, cryptography and distributed computing have all addressed the first issue. However, many of the underlying assumptions in these fields make applying these results to social procedures unrealistic. The second issue has been more or less the province of game theory. But game theory tends to study the area in rather simple terms lacking the sophisticated tools of computer science such as modularization or data types. The objective of this thesis is to develop formal frameworks which may be used to verify social procedures, with special attention paid to naturally modeling the flow of information in a social situation.
590 $a School code: 0046.
650 4 $a Computer Science. $3 626642
650 4 $a Artificial Intelligence. $3 769149
690 $a 0984
690 $a 0800
710 2 0 $a City University of New York. $3 1018111
773 0 $t Dissertation Abstracts International $g 66-03B.
790 1 0 $a Parikh, Rohit, $e advisor
790 $a 0046
791 $a Ph.D.
792 $a 2005
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3169961