Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Dordrecht : Springer  (9)
  • Cham : Springer International Publishing  (1)
  • Computer science
  • Philosophy  (6)
  • Computer Science  (5)
Datasource
Material
Language
Years
  • 1
    ISBN: 9783319016672
    Language: English
    Pages: Online-Ressource (VIII, 79 p. 11 illus, online resource)
    Series Statement: SpringerBriefs in Education
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Druckausg. Grand Challenges in Technology Enhanced Learning
    RVK:
    Keywords: Computer science ; Education ; Education ; Computer science ; Computer science ; Education ; Konferenzschrift 2013 ; E-Learning ; E-Learning
    Abstract: This book presents a key piece of the vision and strategy developed in STELLAR. It sets out a new mid-term agenda by defining Grand Challenges for research and development in technology-enhanced learning. Other than mere technology prizes, STELLAR Grand Challenges deal with problems at the interface of social and technical sciences. They pose problems that can be solved only in interdisciplinary collaboration. The descriptions of the Grand Challenge Problems were sent out to a number of stakeholders from industry, academia, and policy-making who responded with insightful, creative and critical comments bringing in their specific perspectives. This book will inspire everyone interested in TEL and its neighboring disciplines in their future projects. All of the listed problems, first hints with respect to the approach, measurable success indicators and funding sources are outlined. The challenges focus on what noted experts regard as important upcoming, pending, and innovative fields of research, the solution of which is within reach in a timeframe of a mere 2 to 15 years of work
    Description / Table of Contents: Grand Challenge Problems from the Alpine Rendez-Vous - an Introduction1.1 The Concept of Grand Challenge Problems -- 1.2 Development of the Grand Challenge Problems at the Alpine Rendez-Vous -- 2 -- 2.1.1 GCP1: Open Collaboration in Formal Education -- 2.1.2 GCP2: Technology-Supported Representation-Fitness -- 2.1.3 GCP3: Rich-Media Assignments -- 2.1.4 GCP4: Supporting an Open Culture of Design for TEL -- 2.1.5 GCP5: Multi-Level Evaluations of TEL -- Guest Commentaries on Connecting Learners -- 2.1.6 Guest Commentary by Roy Peas -- 2.1.7 Guest Commentary by Michelle Selinger.- 2.2 Grand Challenge Problems Focusing on Orchestrating Learning -- 2.2.1 GCP6: Emotion-Adaptive TEL -- 2.2.2 GCP7: Assessment and Automated Feedback -- 2.2.3 GCP8: One Informed Tutor per Child -- 2.2.4 GCP9: Improving Educational Practices through Data-supported Information Systems -- 2.2.5 GCP10: Semiotic Recommender Systems for Learning -- 2.2.6 GCP11: Enhancing Learning with Improved Information Retrieval.- 2.2.7 GCP12: Open TEL Practices -- Guest Commentaries on Orchestrating Learning -- 2.2.8 Guest Commentary -- 2.2.9 Guest Commentary by Florian Schulz-Pernice -- 2.2.10 Guest Commentary by Jim Slotta -- 2.3 Grand Challenge Problems Focusing on Contextualising Learning -- 2.3.1 GCP13: Learning Reading at Home (Authors: Andrew Manches, Ros Sutherland and Sarah Eagle) -- 2.3.2 GCP14: Technology for Young Children’s Expression of Scientific Ideas (Authors: Andrew Manches & Ros Sutherland) -- 2.3.3 GCP15: Evaluating Informal TEL (Author: Denise M. Whitelock) -- 2.3.4 GCP16: Engaging the Brains Reward System.- 2.3.5 GCP17: Drop-Out Prevention through Attrition Analytics -- 2.3.6 GCP18: New Forms of Assessment for Social TEL Environments -- 2.3.7 GCP19: Guidance for Technology Use in Early Years -- 2.3.8 GCP20: TEL Plasticity -- 2.3.9 GCP21: European TEL DataMart -- Guest Commentaries on Contextualising Learning -- 2.3.10 Guest Commentary by Charles Crook -- 2.3.11 Guest Commentary by Allison Littlejohn -- 2.3.12 Guest Commentary by Yves Punie -- 2.3.13 Guest Commentary by Karen Velasco -- GCP22: Open Research Methodology Infrastructure for CSCL.- General Conclusions -- References.
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    Dordrecht : Springer
    Show associated volumes/articles
    ISBN: 9789400755833
    Language: English
    Pages: Online-Ressource (XXXV, 645 p. 133 illus) , digital
    Edition: Online-Ausg. 2013 Springer eBook Collection. Humanities, Social Sciences and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Law, Governance and Technology Series 8
    Parallel Title: Print version Agreement Technologies
    DDC: 006.3
    RVK:
    Keywords: Computer science ; Artificial intelligence ; Social sciences Data processing ; Datenverarbeitung ; Künstliche Intelligenz
    Abstract: More and more transactions, whether in business or related to leisure activities, are mediated automatically by computers and computer networks, and this trend is having a significant impact on the conception and design of new computer applications. The next generation of these applications will be based on software agents to which increasingly complex tasks can be delegated, and which interact with each other in sophisticated ways so as to forge agreements in the interest of their human users. The wide variety of technologies supporting this vision is the subject of this volume. It summarises the European Cooperation in Science and Technology (COST) Action project on Agreement Technologies (AT), during which approximately 200 researchers from 25 European countries, along with eight institutions from non-COST countries, cooperated as part of a number of working groups. The book is the first to provide a comprehensive overview of the emerging field of Agreement Technologies, written and coordinated by the leading researchers in the field. The results set out here are due for wide dissemination beyond the computing sector, involving law and social science as well.
    Description / Table of Contents: pt. I. Foundations -- pt. II. Semantics in agreement technologies -- pt. III. Norms -- pt. IV. Organisations and institutions -- pt. V. Argumentation and negotiation -- pt. VI. Trust and reputation -- pt. VII. Applications.
    Description / Table of Contents: Foreword -- Preface -- Acknowledgement -- Part I Foundations -- 1 Agreement Technologies: A Computing perspective; Sascha Ossowski, Carles Sierra and Vicente Botti -- 2 Agreement and Relational Justice: A Perspective from Philosophy and Sociology of Law; Pompeu Casanovas -- 3 Agreements as the Grease (not the Glue) of Society: A Cognitive and Social Science Perspective; Fabio Paglieri -- Part II Semantics in Agreement Technologies -- 4 Agreement Technologies and the Semantic Web; Axel Polleres -- 5 Logical formalisms for Agreement Technologies; Antoine Zimmermann -- 6 Reconciling heterogeneous knowledge with ontology matching; Cássia Trojahn and George Vouros -- 7 Semantics in Multi-Agent Systems; Nicoletta Fornara, Gordan Ježi´c, Mario Kušek, Ignac Lovrek, Vedran Podobnik, Krunoslav Tržec -- 8 SemanticWeb Services in Agreement Technologies; Zijie Cong and Alberto Fernández -- 9 Using ontologies to manage resources in Grid computing-practical aspects; Michał Drozdowicz, Maria Ganzha, Katarzyna Wasielewska, MarcinPaprzycki and Paweł Szmeja -- Part III Norms -- 10 Deontic logic; Jan Broersen, Dov Gabbay, Andreas Herzig, Emiliano Lorini, John-Jules Meyer, Xavier Parent and Leendert van der Torre -- 11 (Social) Norms and Agent-Based Simulation; Giulia Andrighetto, Stephen Cranefield, Rosaria Conte, Martin Purvis, Maryam Purvis, Bastin Tony Roy Savarimuthu and Daniel Villatoro -- 12 Norms in Game Theory; Davide Grossi, Luca Tummolini and Paolo Turrini -- 13 AI and Law; Giovanni Sartor and Antonino Rotolo -- 14 Normative Agents; Michael Luck, Samhar Mahmoud, Felipe Meneguzzi, Martin Kollingbaum, Timothy J. Norman, Natalia Criado and Moser SilvaFagundes -- 15 Norms and Trust; Rino Falcone, Cristiano Castelfranchi, Henrique Lopes Cardoso, Andrew Jones and Eugénio Oliveira -- 16 Norms and Argumentation; Nir Oren, Antonino Rotolo, Leendert van der Torre and Serena Villata -- Part IV Organisations and Institutions -- 17 Describing agent organisations; Estefanía Argente, Olivier Boissier, Sergio Esparcia, Jana Görmer, Kristi Kirikal and Kuldar Taveter -- 18 Modelling Agent Institutions; Nicoletta Fornara, Henrique Lopes Cardoso, Pablo Noriega, Eugénio Oliveira and Charalampos Tampitsikas -- 19 Organisational Reasoning Agents; Olivier Boissier and M. Birna van Riemsdijk -- 20 Adaptive Agent Organisations; Estefanía Argente, Holger Billhardt, Carlos Cuesta, Sergio Esparcia, Jana Görmer, Ramón Hermoso, Kristi Kirikal, Marin Lujak, José-Santiago Pérez-Sotelo and Kuldar Taveter --  Part V Argumentation and Negotiation -- 21 The Added Value of Argumentation; Sanjay Modgil, Francesca Toni, Floris Bex, Ivan Bratko, Carlos I. Chesñevar, Wolfgang Dvoˇrák, Marcelo A. Falappa, Xiuyi Fan, Sarah Alice Gaggl, Alejandro J. García, María P. González, Thomas F. Gordon, João Leite, Martin Možina, Chris Reed, Guillermo R. Simari, Stefan Szeider, Paolo Torroni and Stefan Woltran --  22 Trends in Multiagent Negotiation: from Bilateral Bargaining to Consensus Policies; Enrique de la Hoz, Miguel A. López-Carmona and Iván Marsá-Maestre -- Part VI Trust and Reputation -- 23 A Socio-Cognitive Perspective of Trust; Joana Urbano, Ana Paula Rocha and Eugénio Oliveira -- 24 Qualitative Assessment Dynamics - QAD; Denis Trˇcek -- 25 Argumentation and Trust; Andrew Koster, Jordi Sabater-Mir and Marco Schorlemmer -- 26 Ontology, Semantics and Reputation; Andrew Koster and Jeff Z. Pan -- 27 Attacks and Vulnerabilities of Trust and Reputation Models; Jose M. Such -- 28 Reputation and Organisations; Olivier Boissier, Jomi Fred Hübner and Laurent Vercouter -- 29 Building Relationships with Trust; Carles Sierra and John Debenham -- Part VII Applications -- 30 Arguing to Support Customers: the Call Centre Study Case; Stella Heras, Jaume Jordán, Vicente Botti and Vicente Julián -- 31 Agreement Technologies for Supporting the Planning and Execution of Transports; Paul Davidsson, Marie Gustafsson Friberger, Johan Holmgren, Andreas Jacobsson and Jan A. Persson -- 32 ANTE: Agreement Negotiation in Normative and Trust-enabled Environments; Henrique Lopes Cardoso, Joana Urbano, Ana Paula Rocha, António J. M. Castro and Eugénio Oliveira -- 33 mWater, a Case Study for Modeling Virtual Markets; Antonio Garrido, Adriana Giret, Vicente Botti and Pablo Noriega -- 34 v-mWater: an e-Government Application for Water Rights Agreements; Pablo Almajano, Tomas Trescak, Marc Esteva, Inmaculada Rodríguez and Maite López-Sánchez -- 35 Coordinating Emergency Medical Assistance; Marin Lujak and Holger Billhardt -- 36 An environment to build and track agent-based business collaborations; Toni Penya-Alba, Boris Mikhaylov, Marc Pujol-González, Bruno Rosell, Jesús Cerquides, Juan A. Rodríguez-Aguilar, Marc Esteva, Àngela Fàbregues, Jordi Madrenas, Carles Sierra, Carlos Carrascosa, Vicente Julián, Mario Rodrigo and Matteo Vasirani -- 37 A Virtual Selling Agent which is Persuasive and Adaptive; Fabien Delecroix, Maxime Morge and Jean-Christophe Routier -- A Editors’ Short Bios. .
    Note: Description based upon print version of record , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789400765344
    Language: English
    Pages: Online-Ressource (X, 393 p. 74 illus, online resource)
    Series Statement: Logic, Epistemology, and the Unity of Science 30
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Druckausg.
    RVK:
    Keywords: Philosophy (General) ; Logic ; Computer science ; Logic, Symbolic and mathematical ; Philosophy ; Philosophy (General) ; Logic ; Computer science ; Logic, Symbolic and mathematical
    Abstract: Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. Argumentation theory studies reasoning and argument, and especially those aspects not addressed, or not addressed well, by formal deduction. The philosophy of mathematical practice diverges from mainstream philosophy of mathematics in the emphasis it places on what the majority of working mathematicians actually do, rather than on mathematical foundations. The book begins by first challenging the assumption that there is no role for informal logic in mathematics. Next, it details the usefulness of argumentation theory in the understanding of mathematical practice, offering an impressively diverse set of examples, covering the history of mathematics, mathematics education and, perhaps surprisingly, formal proof verification. From there, the book demonstrates that mathematics also offers a valuable testbed for argumentation theory. Coverage concludes by defending attention to mathematical argumentation as the basis for new perspectives on the philosophy of mathematics.
    Description / Table of Contents: IntroductionPart I. What are Mathematical Arguments? -- Chapter 1. Non-Deductive Logic in Mathematics: The Probability of Conjectures; James Franklin -- Chapter 2. Arguments, Proofs, and Dialogues; Erik C. W. Krabbe -- Chapter 3. Argumentation in Mathematics; Jesús Alcolea Banegas -- Chapter 4. Arguing Around Mathematical Proofs; Michel Dufour -- Part II. Argumentation as a Methodology for Studying Mathematical Practice -- Chapter 5. An Argumentative Approach to Ideal Elements in Mathematics; Paola Cantù -- Chapter 6. How Persuaded Are You? A Typology of Responses; Matthew Inglis and Juan Pablo Mejía-Ramos -- Chapter 7. Revealing Structures of Argumentations in Classroom Proving Processes; Christine Knipping and David Reid -- Chapter 8. Checking Proofs; Jesse Alama and Reinhard Kahle -- Part III. Mathematics as a Testbed for Argumentation Theory -- Chapter 9. Dividing by Zero-and Other Mathematical Fallacies; Lawrence H. Powers -- Chapter 10. Strategic Maneuvering in Mathematical Proofs; Erik C. W. Krabbe -- Chapter. 11 Analogical Arguments in Mathematics; Paul Bartha -- Chapter 12. What Philosophy of Mathematical Practice Can Teach Argumentation Theory about Diagrams and Pictures; Brendan Larvor -- Part IV. An Argumentational Turn in the Philosophy of Mathematics -- Chapter 13. Mathematics as the Art of Abstraction; Richard L. Epstein -- Chapter 14. Towards a Theory of Mathematical Argument; Ian J. Dove -- Chapter 15. Bridging the Gap Between Argumentation Theory and the Philosophy of Mathematics; Alison Pease, Alan Smaill, Simon Colton and John Lee -- Chapter 16. Mathematical Arguments and Distributed Knowledge; Patrick Allo, Jean Paul Van Bendegem and Bart Van Kerkhove -- Chapter 17. The Parallel Structure of Mathematical Reasoning; Andrew Aberdein -- Index.
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    ISBN: 9789400744387
    Language: English
    Pages: Online-Ressource (VIII, 375 p. 31 illus, digital)
    Series Statement: Logic, Epistemology, and the Unity of Science 26
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T. Tanaka, Kōji, 1965 - Paraconsistency
    RVK:
    Keywords: Philosophy (General) ; Logic ; Linguistics Philosophy ; Computer science ; Artificial intelligence ; Philosophy ; Philosophy (General) ; Logic ; Linguistics Philosophy ; Computer science ; Artificial intelligence ; Aufsatzsammlung ; Parakonsistente Logik
    Abstract: A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more "big picture" ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics
    Abstract: A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics.
    Note: Includes bibliographical references and index , Part 2. Applications ; An Approach to Human-Level Commonsense Reasoning , Paraconsistency: Introduction , Distribution in the Logic of Meaning Containment and in Quantum Mechanics , Wittgenstein on Incompleteness Makes Paraconsistent Sense , Pluralism and "Bad" Mathematical Theories: Challenging our Prejudices , Arithmetic Starred , Notes on Inconsistent Set Theory , Sorting out the Sorites , Are the Sorites and Liar Paradox of a Kind? , Vague Inclosures , Part 1. Logic ; Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic , On Discourses Addressed by Infidel Logicians , Information, Negation, and Paraconsistency , Noisy vs. Merely Equivocal Logics , Assertion, Denial and Non-classical Theories , New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency , Consequence as Preservation: Some Refinements , On Modal Logics Defining Jaśkowski's D2-Consequence , FDE: A Logic of Clutters , A Paraconsistent and Substructural Conditional Logic
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    ISBN: 9781402066627
    Language: English
    Pages: 1 Online-Ressource (319 Seiten)
    Edition: Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: The International Library of Ethics, Law and Technology 1
    Series Statement: The international library of ethics, law and technology
    RVK:
    Keywords: Computer science ; Information systems ; Computers Law and legislation ; Economics
    Abstract: Aims to warn policy-makers, industry, academia, civil society organisations, the media and the public about the threats and vulnerabilities facing our privacy, identity, trust, security and inclusion in the rapidly approaching world of ambient intelligence (AmI)
    Description / Table of Contents: Front Matter; Introduction; The brave new world of ambient intelligence; Dark scenarios; Threats and vulnerabilities; Safeguards; Recommendations for stakeholders; Conclusions; Back Matter;
    Note: Includes bibliographical references (p. 273-286) and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    ISBN: 9781402061271
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Logic, Epistemology, and the Unity of Science 9
    RVK:
    Keywords: Genetic epistemology ; Science Algorithms ; Computer science ; Algorithms ; Philosophy (General) ; Consciousness ; Algorithmische Lerntheorie
    Abstract: This is the first book to collect essays from philosophers, mathematicians and computer scientists working at the exciting interface of algorithmic learning theory and the epistemology of science and inductive inference. Readable, introductory essays provide engaging surveys of different, complementary, and mutually inspiring approaches to the topic, both from a philosophical and a mathematical viewpoint.
    Abstract: This is the first book to collect essays from philosophers, mathematicians and computer scientists working at the exciting interface of algorithmic learning theory and the epistemology of science and inductive inference. Readable, introductory essays provide engaging surveys of different, complementary, and mutually inspiring approaches to the topic, both from a philosophical and a mathematical viewpoint. Building upon this base, subsequent papers present novel extensions of algorithmic learning theory as well as bold, new applications to traditional issues in epistemology and the philosophy of science. The volume is vital reading for students and researchers seeking a fresh, truth-directed approach to the philosophy of science and induction, epistemology, logic, and statistics.
    Description / Table of Contents: Front Matter; Introduction to the Philosophy and Mathematics of Algorithmic Learning Theory; Inductive Inference Systems for Learning Classes of Algorithmically Generated Sets and Structures; Deduction, Induction, and beyond in Parametric Logic; How Simplicity Helps You Find the Truth without Pointing at it; Induction over the Continuum; Logically Reliable Inductive Inference; Some Philosophical Concerns about the Confidence in 'Confident Learning'; How to Do Things with an Infinite Regress; Trade-Offs; Two Ways of Thinking about Induction; Between History and Logic; Back Matter
    Note: Includes bibliographical references and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9781402063244
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: 2nd Edition
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Handbook of Philosophical Logic 14
    RVK:
    Keywords: Logic ; Linguistics Science_xLogic design ; Computer science ; Artificial intelligence ; Philosophy (General) ; Science Philosophy ; Logic design ; Wissenschaftsphilosophie ; Logik
    Abstract: The fourteenth volume of the Second Edition covers central topics in philosophical logic that have been studied for thousands of years, since Aristotle: Inconsistency, Causality, Conditionals, and Quantifiers. These topics are central in many applications of logic in central disciplines such as computer science, artificial intelligence, linguistics, and philosophy. This book is indispensable to any advanced student or researcher using logic in these areas. The chapters are comprehensive and written by major figures in the field
    Description / Table of Contents: Front Matter; Logics of Formal Inconsistency; Causality; On Conditionals; Quantifiers in Formal and Natural Languages; Back Matter
    Note: Includes bibliographical references and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    ISBN: 9781402047848
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Computer Science Electronic reproduction; Available via World Wide Web
    Series Statement: Computer Supported Cooperative Work 37
    DDC: 303.4833
    RVK:
    Keywords: Computer science ; Information systems ; Multimedia systems ; Social sciences Data processing ; Architectural design ; Informationstechnik ; Politische Beteiligung
    Abstract: In the present digital revolution we often seem trapped in a Kafkaesque world of technological advances, some desired, some disliked or even feared, which we cannot influence but must accept. This book discusses the urgent need to redress this situation. The authors argue that technologies succeed or fail according to their relevance and value to people, who need to be actively engaged in order to create shared visions and influence their implementation.
    Abstract: In the present digital revolution we often seem trapped in a Kafkaesque world of technological advances, some desired, some disliked or even feared, which we cannot influence but must accept. This book discusses the urgent need to redress this situation. The authors argue that technologies succeed or fail according to their relevance and value to people, who need to be actively engaged in order to create shared visions and influence their implementation. Strategies for citizen engagement and empowerment will enable citizens to influence and shape desirable digital futures. The book reviews the currently accepted ways of thinking about the design of systems and the reasons why these methods are no longer adequate. From an academically rigorous analysis of case histories across a wide variety of sectors, knowledge and best practice are captured in a rich, descriptive model of the contributions of citizen engagement to the design process. Finally, it provides specific practical guidance, based on sound academic research, for policy makers, administrators and ICT professionals on the strategies, methodologies, tools and techniques needed to change design practice.
    Note: Includes bibliographical references and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9781402030697
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Applied Logic Series 33
    RVK:
    RVK:
    Keywords: Philosophy (General) ; Technology Philosophy ; Computer science ; Artificial intelligence ; Roboter ; Programmierung ; Prädikatenlogik ; Stufe 1
    Abstract: "The book provides an in-depth and uniform treatment of a mathematical model for reasoning robotic agents. The book also contains an introduction to a programming method and system based on this model. The mathematical model, known as the ""Fluent Calculus'', describes how to use classical first-order logic to set up symbolic models of dynamic worlds and to represent knowledge of actions and their effects. Robotic agents use this knowledge and their reasoning facilities to make decisions when following high-level, long-term strategies. The book covers the issues of reasoning about sensor input, acting under incomplete knowledge and uncertainty, planning, intelligent troubleshooting, and many other topics. The mathematical model is supplemented by a programming method which allows readers to design their own reasoning robotic agents. The usage of this method, called ""FLUX'', is illustrated by many example programs. The book includes the details of an implementation of FLUX using the standard programming language PROLOG, which allows readers to re-implement or to modify and extend the generic system. The design of autonomous agents, including robots, is one of the most exciting and challenging goals of Artificial Intelligence. Reasoning robotic agents constitute a link between knowledge representation and reasoning on the one hand, and agent programming and robot control on the other. The book provides a uniform mathematical model for the problem-driven, top-down design of rational agents, which use reasoning for decision making, planning, and troubleshooting. The implementation of the mathematical model by a general PROLOG program allows readers to practice the design of reasoning robotic agents. Since all implementation details are given, the generic system can be easily modified and extended."
    Description / Table of Contents: Special Fluent Calculus; Special FLUX; General Fluent Calculus; General FLUX; Knowledge Programming; Planning; Nondeterminism; Imprecision*; Indirect Effects: Ramification Problem*; Troubleshooting: Qualification Problem; Robotics
    Note: Includes bibliographical references (p. [313]-323) and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9781402031670
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Logic, Epistemology, and the Unity of Science 2
    RVK:
    RVK:
    Keywords: Logic ; Philosophy (General) ; Computer science ; Mathematics ; Social sciences ; Aufsatzsammlung ; Erkenntnistheorie ; Logik
    Abstract: This second volume in the series Logic, Epistemology, and the Unity of Science brings a pragmatic perspective to the discussion of the unity of science. Contemporary philosophy and cognitive science increasingly acknowledge the systematic interrelation of language, thought and action. The principal function of language is to enable speakers to communicate their intentions to others, to respond flexibly in a social context and to act cooperatively in the world. This book will contribute to our understanding of this dynamic process by clearly presenting and discussing the most important hypotheses, issues and theories in philosophical and logical study of language, thought and action. Among the fundamental issues discussed are the rationality and freedom of agents, theoretical and practical reasoning, individual and collective attitudes and actions, the nature of cooperation and communication, the construction and conditions of adequacy of scientific theories, propositional contents and their truth conditions, illocutionary force, time, aspect and presupposition in meaning, speech acts within dialogue, the dialogical approach to logic and the structure of dialogues and other language games, as well as formal methods needed in logic or artificial intelligence to account for choice, paradoxes, uncertainty and imprecision. This volume contains major contributions by leading logicians, analytic philosophers, linguists and computer scientists. It will be of interest to graduate students and researchers from philosophy, logic, linguistics, cognitive science and artificial intelligence. There is no comparable survey in the existing literature.
    Description / Table of Contents: Introduction; The Balance of Reason; Desire, Deliberation and Action; Two Basic Kinds of Cooperation; Speech Acts and Illocutionary Logic; Communication, Linguistic Understanding and Minimal Rationality in the Tradition of Universal Grammar; Truth and Reference; Empirical Versus Theoretical Existence and Truth; Michel Ghins on the Empirical Versus the Theoretical; Propositional Identity, Truth According to Predication and Strong Implication; Reasoning and Aspectual-Temporal Calculus; Presupposition, Projection and Transparency in Attitude Contexts
    Description / Table of Contents: The Limits of a Logical Treatment of AssertionAgents and Agency in Branching Space-Times; Attempt, Success and Action Generation: A Logical Study of Intentional Action; Pragmatic and Semiotic Prerequisites for Predication; On How to Be a Dialogician; Some Games Logic Plays; Backward Induction Without Tears?; On the Usefulness of Paraconsistent Logic; Algorithms for Relevant Logic; Logic, Randomness and Cognition; From Computing with Numbers to Computing with Words - from Manipulation of Measurements to Manipulation of Perceptions
    Note: Includes bibliographical references , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...