Authors:
- First volume on action theory to synthesize a range of approaches to the topic
- Directly tackles the fundamental theoretical issue of performability
- Offers the latest research in a subject at the nexus of logic, linguistics, artificial intelligence, automata theory, jurisprudence, deontology and economics
- Includes supplementary material: sn.pub/extras
Part of the book series: Trends in Logic (TREN, volume 42)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (6 chapters)
-
Front Matter
-
Elements of Formal Action Theory
-
Front Matter
-
-
Freedom and Enforcement in Action
-
Front Matter
-
-
Back Matter
About this book
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.
Keywords
- action and models for non-monotonic reasonings
- actions and their agents
- atomic norms
- compound actions
- compound actions and deontology
- deontic logic
- fixed-point theorems for relations
- games as action systems
- iterative algorithms
- knowledge models
- models of action theory
- norms and their semantics
- partially ordered sets
- performability and probability
- performability of actions
- programs and actions
- pushdown algorithms
- stit semantics
- the frame problem
- theory of algorithms and programming
Reviews
Authors and Affiliations
-
University of Opole Department of Mathematics and Informatics, Opole, Poland
Janusz Czelakowski
Bibliographic Information
Book Title: Freedom and Enforcement in Action
Book Subtitle: A Study in Formal Action Theory
Authors: Janusz Czelakowski
Series Title: Trends in Logic
DOI: https://doi.org/10.1007/978-94-017-9855-6
Publisher: Springer Dordrecht
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer Science+Business Media Dordrecht 2015
Hardcover ISBN: 978-94-017-9854-9Published: 25 June 2015
Softcover ISBN: 978-94-024-0133-2Published: 23 October 2016
eBook ISBN: 978-94-017-9855-6Published: 10 June 2015
Series ISSN: 1572-6126
Series E-ISSN: 2212-7313
Edition Number: 1
Number of Pages: XV, 261
Number of Illustrations: 24 b/w illustrations
Topics: Logic, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations