Before we discuss the purpose of action theories, let us try to provide a suitable and compact definition of the subject in question: An action theory consists of a formal language that allows adequate specifications of action domains ...
A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revolution has not yet happened. In this book the author offers a convincing solution to the ramification problem and qualification problem associated with the frame problem and thus contributes to a satisfactory solution of the core problem and related challenges. Thielscher bases his approach on the fluent calculus, a first-order Prolog-like formalism allowing for the description of actions and change.
Artificial Intelligence And Information control Systems Of Robots 97 Proceedings Of The Seventh International Conference
Release on 1997-08-12 | by Plander Ivan
CHALLENGES FOR ACTION THEORIES (EXTENDED ABSTRACT) M. THIELSCHER Department of Computer Science, Technical University Darmstadt, Alexanderstr 10, 64283 Darmstadt (Germany) Action theories serve as a formalism to represent and reason ...
AIICSR '97 (Artificial Intelligence and Information-Control Systems of Robots) is one of the most traditional East-West professional meetings devoted to artifical intelligence (AI) and its applications in robots. The themes of the conference are aimed at the issues of AI theory and applications. The conference is devoted to the development and philosophical reflections of AI, and presents the most important topics, such as knowledge discovery and data mining, and study of context. In addition to robots, AI has created softbots — software robots working in a complex information environment. The WWW has become the most exciting application of AI. Further important topics in this volume include formal modelling of reactive systems, development of parallel and distributed computer architectures, declarative programming, agent societies and other fields, from which theoretical results in computer vision and its applications in robotics deserve special attention.
Release on 2000 | by Werner Horn
The use of Logic Programming ( LP ) makes it feasible to study the integration of Inductive Logic Programming ( ILP ) with formalisms for reasoning about actions . Specific challenges for action theories , of which the most famous are ...
Furthermore, social action theory has also been accused of having an excessive focus on immediate action to the detriment ... In relation to ethical issues, while social action theories have the potential to enhance ethical practices in ...
Health research, education and provision have become increasingly interdisciplinary over the last few years, leading health professionals to broaden their knowledge beyond technical aspects of care. Practitioners now need a clear understanding of how society can affect health, and an appreciation of how societal structures can drive healthcare practices. In a clear, systematic and accessible style, this timely text looks at the social context of health and healthcare by: - Analysing a wide range of classic and contemporary theories; - Identifying the relevance of each theory to health; - Showing how theory has been used in research - Outlining the impact of theory on health and health provision. Specifically written for health professionals and those engaged in health studies research, this book will help students and practitioners alike understand the sociology of health and illness, and enable them to critically assess health issues, policies and practices.
Smart and Sustainable Technologies Rural and Tribal Development Using IoT and Cloud Computing
Release on | by Srikanta Patnaik
G. Goos, J. Hartmanis, J. van Leeuwen, M. Thielscher, Challenges for Action Theories (Springer, Berlin Heidelberg, 2000) 4. B. Dick, E. Stringer, C. Huxham, Theory in action research. Action Res.7, 5–12 (2009). https:// ...
Stable Models for Temporal Theories — Invited Talk — Pedro Cabalar(B) Department of Computer Science, University of Corunna, A Coru ̃na, ... NMR was also essential to deal with other typical representational problems in action theories, ...
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. The 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.
Reduce Change to Increase Improvement
Release on 2017-07-27 | by Viviane Robinson
... Engaging professional development; Improvement; Improvement challenges; Theories of action Theories in use, 17–19, 18 (figure), 27 See also Theories of action Theories of action, 14 change leaders, insight of, 17 change process and, ...
This book identifies the mindset, processes, and behaviors that contribute to successful reform efforts and provide school leaders with concrete tools enabling them to be more effective.
Oganisation Institutionnelle de la Gestion de L eau Aux XIXe Et XXe Siecles
Release on 2005 | by J. C. N. Raadschelders
Fourth , all four theories consider singleissue challenges and hardly consider the fact that a natural resource such ... Finally , collective action theories take the individual rather than the institutional level as the starting point ...
Water management has become a major issue for public policies at any latitude. How and why this happened could not be assessed efficiently without developing a longitudinal and comparative analysis, such as the one in this book. Institutional arrangements for the provision and the use of water are peculiarly persistent as well as remarkably resilient: This makes them an ideal subject of an historical account. Not that history is worth writing about only when it treats immutable phenomena. On the contrary; its main purpose is to record changes and possibly explain them. But long-lasting continuity urges the scholar to venture into the remote past, since only there are to be discovered the initial causes and the deeper meanings of the institutions under scrutiny. Also, continuity makes the strength of path-dependency all the more evident and consequently underlines the weight of history.
Routine Activity and Rational Choice
Release on 1993-01-01 | by R. V. G. Clarke
Borrowing action theories may also pose other problems . Disciplines , after all , tend to generate the action theories they need to tackle the theoretical and practical challenges with which they are faced . Away from their own fields ...
Two new criminological approaches are defined and applied to categories of crime inÂ Routine Activity and Rational Choice, now available in paperback. Routine activity analyzes the criminal event, and avoids motivations and psychology as topics for discussion, whereas rational choice approaches crime as purposive behavior designed to meet the offender's commonplace needs, such as money, status, sex, and excitement. These conceptual models are both employed to analyze such crimes as drunk driving, gun use, kidnapping, and political violence. This volume discusses the relationship of these theories to more traditional approaches to crime studies. The Advances in Criminological Theory series encourages theory construction and validation in the articles and themes selected for publication. It also furthers the free exchange of ideas, propositions, and postulates. Following publication of the first volume, Michael J. Lynch of Florida State University asserted that "Advances in Criminological TheoryÂ is to be applauded as an attempt to revive criminological theory by providing an accessible outlet." Contributions to this volume include: Pierre Tremblay, "Searching for Suitable Co-offenders"; Raymond Paternoster and Sally Simpson, "A Rational Choice Theory of Corporate Crime"; Richard B. Felson, "Predatory and Dispute-related Violence"; Gordon Trasler, "Conscience, Opportunity, Rational Choice, and Crime"; Ezzat A. Fattah, "The Rational Choice/Opportunity Perspectives as a Vehicle for Integrating Criminological and Victimological Theories"; Patricia L. Brantingham and Paul J. Brantingham, "Environment, Routine, and Situation"; Maurice Cusson, "A Strategic Analysis of Crime"; Richard W. Harding, "Gun Use in Crime, Rational Choice, and Social Learning Theory."
Authors: Guoping Qiu, Clement Leung, Xiang-Yang Xue, Robert Laurini
Type: BOOK - Published: 2007-11-18 - Publisher: Springer
This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Visual Information Systems, VISUAL 2007, held in Shanghai, China, in June 2007. The papers are organized in topical section on image and video retrieval, visual biometrics, intelligent visual information processing, visual data mining, ubiquitous and mobile visual
Type: BOOK - Published: 2003-07-31 - Publisher: Springer
Presently, in our world, visual information dominates. The turn of the millenium marks the age of visual information systems. Enabled by picture sensors of all kinds turning digital, visual information will not only enhance the value of existing information, it will also open up a new horizon of previously untapped
Type: BOOK - Published: 2003-08-01 - Publisher: Springer
Visualinformationsystemsareinformationsystemsforvisualcomputing.Visual computing is computing on visual objects. Some visual objects such as images are inherently visual in the sense that their primary representation is the visual representation.Somevisualobjectssuchasdatastructuresarederivativelyvisual in the sense that their primary representation is not the visual representation, but can be transformed into a visual representation. Images and data
Type: BOOK - Published: 2013-03-20 - Publisher: Springer
Video segmentation is the most fundamental process for appropriate index ing and retrieval of video intervals. In general, video streams are composed 1 of shots delimited by physical shot boundaries. Substantial work has been done on how to detect such shot boundaries automatically (Arman et aI. , 1993) (Zhang et
Type: BOOK - Published: 2005-12-17 - Publisher: Springer
Comprises 25 revised full papers presented at the 8th International Conference on Visual Information Systems, VISUAL 2005, held in Amsterdam, The Netherlands in July 2005. These represent the current state of the art of visual information processing, feature extraction and aggregation at semantic level and content-based retrieval, as well as