國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁 到查詢結果 [ subject:"Deontic logic." ]

切換: 標籤 | MARC模式 | ISBD

Freedom and enforcement in actiona s...

Czelakowski, Janusz.

Freedom and enforcement in actiona study in formal action theory /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Freedom and enforcement in actionby Janusz Czelakowski.
其他題名:	a study in formal action theory /
作者:	Czelakowski, Janusz.
出版者:	Dordrecht :Springer Netherlands :2015.
面頁冊數:	xv, 261 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
標題:	Act (Philosophy)
電子資源:	http://dx.doi.org/10.1007/978-94-017-9855-6
ISBN:	9789401798556 (electronic bk.)

Freedom and enforcement in actiona study in formal action theory /
Czelakowski, Janusz.

Freedom and enforcement in actiona study in formal action theory /[electronic resource] :by Janusz Czelakowski. - Dordrecht :Springer Netherlands :2015. - xv, 261 p. :ill., digital ;24 cm. - Trends in logic,v.421572-6126 ;. - Trends in logic ;v.33..

Preface -- Part 1. Elements of Formal Action Theory -- Chapter 1. Elementary Action Systems -- Chapter 2. Situational Action Systems -- Chapter 3. Ordered Action Systems -- Part 2. Freedom and Enforcement in Action -- Chapter 4. Action and Deontology -- Chapter 5. Stit Frames as Action Systems -- Chapter 6. Epistemic Aspects of Action Systems -- Bibliography -- Index.

Action theory is the object of growing attention in a variety of scientific disciplines, and this is the first volume to offer a synthetic view of the range of approaches possible in the topic. The volume focuses on the nexus of formal action theory with a startlingly diverse set of subjects, which range from logic, linguistics, artificial intelligence, and automata theory to jurisprudence, deontology, and economics. It covers semantic, mathematical and logical aspects of action, showing how the problem of action breaks the boundaries of traditional branches of logic located in syntactics and semantics and now lies on lies on the borderline between logical pragmatics and praxeology. The chapters here focus on specialized tasks in formal action theory, beginning with a thorough description and formalization of the language of action, and moving through material on the differing models of action theory to focus on probabilistic models, the relations of formal action theory to deontic logic, and its key applications in algorithmic and programming theory. The coverage thus fills a notable lacuna in the literary corpus, and offers solid formal underpinning in cognitive science by approaching the problem of cognition as a composite action of mind.

ISBN: 9789401798556 (electronic bk.)

Standard No.: 10.1007/978-94-017-9855-6doiSubjects--Topical Terms:

200481
Act (Philosophy)

LC Class. No.: BC199.A28

Dewey Class. No.: 128.4

Freedom and enforcement in actiona study in formal action theory /
LDR:02641nmm a2200325 a 4500 001 471577
003 DE-He213
005 20160122114451.0
006 m d
007 cr nn 008maaau
008 160223s2015 ne s 0 eng d
020 $a 9789401798556 (electronic bk.)
020 $a 9789401798549 (paper)
024 7 $a 10.1007/978-94-017-9855-6 $2 doi
035 $a 978-94-017-9855-6
040 $a GP $c GP
041 0 $a eng
050 4 $a BC199.A28
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
082 0 4 $a 128.4 $2 23
090 $a BC199.A28 $b C998 2015
100 1 $a Czelakowski, Janusz. $3 726902
245 1 0 $a Freedom and enforcement in action $h [electronic resource] : $b a study in formal action theory / $c by Janusz Czelakowski.
260 $a Dordrecht : $b Springer Netherlands : $b Imprint: Springer, $c 2015.
300 $a xv, 261 p. : $b ill., digital ; $c 24 cm.
490 1 $a Trends in logic, $x 1572-6126 ; $v v.42
505 0 $a Preface -- Part 1. Elements of Formal Action Theory -- Chapter 1. Elementary Action Systems -- Chapter 2. Situational Action Systems -- Chapter 3. Ordered Action Systems -- Part 2. Freedom and Enforcement in Action -- Chapter 4. Action and Deontology -- Chapter 5. Stit Frames as Action Systems -- Chapter 6. Epistemic Aspects of Action Systems -- Bibliography -- Index.
520 $a Action theory is the object of growing attention in a variety of scientific disciplines, and this is the first volume to offer a synthetic view of the range of approaches possible in the topic. The volume focuses on the nexus of formal action theory with a startlingly diverse set of subjects, which range from logic, linguistics, artificial intelligence, and automata theory to jurisprudence, deontology, and economics. It covers semantic, mathematical and logical aspects of action, showing how the problem of action breaks the boundaries of traditional branches of logic located in syntactics and semantics and now lies on lies on the borderline between logical pragmatics and praxeology. The chapters here focus on specialized tasks in formal action theory, beginning with a thorough description and formalization of the language of action, and moving through material on the differing models of action theory to focus on probabilistic models, the relations of formal action theory to deontic logic, and its key applications in algorithmic and programming theory. The coverage thus fills a notable lacuna in the literary corpus, and offers solid formal underpinning in cognitive science by approaching the problem of cognition as a composite action of mind.
650 0 $a Act (Philosophy) $3 200481
650 0 $a Deontic logic. $3 268906
650 1 4 $a Philosophy. $3 176573
650 2 4 $a Logic. $3 180785
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Mathematical Logic and Foundations. $3 274479
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Trends in logic ; $v v.33. $3 545125
856 4 0 $u http://dx.doi.org/10.1007/978-94-017-9855-6
950 $a Mathematics and Statistics (Springer-11649)