- Table View
- List View
Intelligent Computer Mathematics
by Herman Geuvers Florian Rabe Matthew England Osman Hasan Olaf TeschkeThis book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects descriptions that span both the Calculemus and MKM topics, all held in Bertinoro, Italy, in July 2011. All 51 submissions passed through a rigorous review process. A total of 15 papers were submitted to Calculemus, of which 9 were accepted. Systems and Projects track 2011 there have been 12 papers selected out of 14 submissions while MKM 2011 received 22 submissions, of which 9 were accepted for presentation and publication. The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively.
Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings (Lecture Notes in Computer Science #11006)
by Florian Rabe William M. Farmer Grant O. Passmore Abdou YoussefThis book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018. The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also correspond to the subject areas of the predecessor meetings. Orthogonally, the Systems and Projects track called for descriptions of digital resources, such as data and systems, and of projects, whether old, current, or new, and survey papers covering any topics of relevance to the CICM community.
Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings (Lecture Notes in Computer Science #12833)
by Fairouz Kamareddine Claudio Sacerdoti CoenThis book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.* The conference was held virtually due to the COVID-19 pandemic.
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings (Lecture Notes in Computer Science #14101)
by Manfred Kerber Catherine DuboisThis book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.
Intelligent Control
by Nazmul SiddiqueIntelligent Control considers non-traditional modelling and control approaches to nonlinear systems. Fuzzy logic, neural networks and evolutionary computing techniques are the main tools used. The book presents a modular switching fuzzy logic controller where a PD-type fuzzy controller is executed first followed by a PI-type fuzzy controller thus improving the performance of the controller compared with a PID-type fuzzy controller. The advantage of the switching-type fuzzy controller is that it uses one rule-base thus minimises the rule-base during execution. A single rule-base is developed by merging the membership functions for change of error of the PD-type controller and sum of error of the PI-type controller. Membership functions are then optimized using evolutionary algorithms. Since the two fuzzy controllers were executed in series, necessary further tuning of the differential and integral scaling factors of the controller is then performed. Neural-network-based tuning for the scaling parameters of the fuzzy controller is then described and finally an evolutionary algorithm is applied to the neurally-tuned-fuzzy controller in which the sigmoidal function shape of the neural network is determined. The important issue of stability is addressed and the text demonstrates empirically that the developed controller was stable within the operating range. The text concludes with ideas for future research to show the reader the potential for further study in this area. Intelligent Control will be of interest to researchers from engineering and computer science backgrounds working in the intelligent and adaptive control.
Intelligent Disobedience: Doing Right When What You're Told to Do Is Wrong
by Ira ChaleffWhen It's Smart to Say NoNearly every week we read about a tragedy or scandal that could have been prevented if individuals had said no to ill-advised or illegitimate orders. In this timely book, Ira Chaleff explores when and how to disobey inappropriate orders, reduce unacceptable risk, and find better ways to achieve legitimate goals.The inspiration for the book, and its title, comes from the concept of intelligent disobedience used in guide dog training. Guide dogs must recognize and resist a command that would put their human and themselves at risk and identify safer options for achieving the goal. This is precisely what Chaleff helps humans do. Using both deeply disturbing and uplifting examples, as well as critical but largely forgotten research, he shows how to create a culture where, rather than "just following orders," people hold themselves accountable to do the right thing, always.
Intensional Logic and Logical Grammar: Intensional Logic And Logical Grammar (Logic, Language, and Meaning)
by L.T.F. GamutAlthough the two volumes of Logic, Language, and Meaning can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions.
Intensities: Philosophy, Religion and the Affirmation of Life (Intensities: Contemporary Continental Philosophy of Religion)
by Katharine Sarah MoodyIs the affirmation or intensification of life a value in itself? Can life itself be thought? This book breaks new ground in religious and philosophical thinking on the concept of life. It captures a moment in which such thinking is regaining its force and attraction for scholars, and the relevance of thought to social, cultural, political and religious dilemmas about how and why to live. Bringing together original contributions by highly distinguished authors in the field of Continental philosophy of religion, including John D. Caputo, Pamela Sue Anderson, Philip Goodchild, Alison Martin and Don Cupitt, this book has a distinctiveness based on its refusal to sit easily within either secular philosophical or theological approaches. The concept of life mobilizes a thinking that crosses narrow disciplinary boundaries, whilst retaining philosophical rigour. Three sections explore the various dimensions of the question of life: The Politics of Life'; 'Life and the Limits of Thinking'; and 'Life and Spirituality'. This book will be of interest to a broad range of readers in the humanities, particularly to philosophers, theologians, cultural theorists and all those interested in philosophical or theological debates on the concept of life.
Intensive Media
by Anthony MccoskerThere is something unsettling, but also powerful, in the encounter with individual and collective experiences of human suffering. Intensive Media explores the discomfort and fascination initiated by instances of pain and suffering, their 'aversive affects', as they trouble but also vitalise contemporary media environments.
Intention
by G. E. AnscombeIntention is one of the masterworks of twentieth-century philosophy in English. First published in 1957, it has acquired the status of a modern philosophical classic. The book attempts to show in detail that the natural and widely accepted picture of what we mean by an intention gives rise to insoluble problems and must be abandoned. This is a welcome reprint of a book that continues to grow in importance.
Intention
by G. E. M. AnscombeIntention is one of the masterworks of twentieth-century philosophy in English. First published in 1957, it has acquired the status of a modern philosophical classic. The book attempts to show in detail that the natural and widely accepted picture of what we mean by an intention gives rise to insoluble problems and must be abandoned. This is a welcome reprint of a book that continues to grow in importance.
Intention and Wrongdoing: In Defense of Double Effect
by Joshua StuchlikAccording to the principle of double effect, there is a strict moral constraint against bringing about serious harm to the innocent intentionally, but it is permissible in a wider range of circumstances to act in a way that brings about harm as a foreseen but non-intended side effect. This idea plays an important role in just war theory and international law, and in the twentieth century Elizabeth Anscombe and Philippa Foot invoked it as a way of resisting consequentialism. However, many moral philosophers now regard the principle with hostility or suspicion. Challenging the philosophical orthodoxy, Joshua Stuchlik defends the principle of double effect, situating it within a moral framework of human solidarity and responding to philosophical objections to it. His study uncovers links between ethics, philosophy of action, and moral psychology, and will be of interest to anyone seeking to understand the moral relevance of intention.
Intentionality and the Myths of the Given: Between Pragmatism and Phenomenology (Routledge Studies in American Philosophy #1)
by Carl B SachsIntentionality is one of the central problems of modern philosophy. How can a thought, action or belief be about something? Sachs draws on the work of Wilfrid Sellars, C I Lewis and Maurice Merleau-Ponty to build a new theory of intentionality that solves many of the problems faced by traditional conceptions.
Intentionality as Constitution (Routledge Studies in Contemporary Philosophy)
by Alberto VoltoliniThis book develops a novel theory of intentionality. It argues that intentionality is an internal essential relation of constitution between an intentional state and an object, or between such a state and a possible state of affairs as subsisting.The author’s main claim is that intentionality is a fundamentally modal property, hence a non (scientifically) natural property in that it does not supervene, either locally or globally, on its nonmodal physical basis. This is the property, primarily for an intentional mental state, to be constituted by the entities it is about. In the case of intentionality of reference, such constituents are objects, in the sense of individuals; in the case of intentionality of content, such constituents are possible states of affairs as subsisting. Constitution is meant in a mereologically literal sense: those constituents are essential parts of the relevant states. As a result, the theory claims not only that intentionality is relational but also that it is an internal, essential relation holding between an intentional state and its object or proposition-like content.Intentionality as Constitution will be of interest to scholars and advanced students working in philosophy of mind, philosophy of language, metaphysics, and cognitive science.
Intentionality in Mulla Sadra (Studies in the History of Philosophy of Mind #24)
by Sümeyye ParıldarThis volume translates Brentano’s intentionality into medieval psychological and ontological discussions through Sadrian theories of sense perception and mental existence. Applying a new methodology, it reframes various parts of Sadrian theory around the problem of intentionality, which results in a refreshed reading of the philosopher Mulla Sadra. The book starts out by defining intentionality problem and discussing the historiography of Brentano’s conceptualization. It examines immateriality, content and aboutness, and sense perception. In its conclusion, the book claims that intentionality in Mulla Sadra combines ontological and psychological realities and that as a result of Sadrian monism, the intentionality, intentional object, the agent, and the reality are different versions of same reality.
Intentionality in Sellars: A Transcendental Account of Finite Knowledge (Routledge Studies in American Philosophy)
by Luz Christopher SeiberthThis book argues that Sellars’ theory of intentionality can be understood as an advancement of a transcendental philosophical approach. It shows how Sellars develops his theory of intentionality through his engagement with the theoretical philosophy of Immanuel Kant. The book delivers a provocative reinterpretation of one of the most problematic and controversial concepts of Sellars' philosophy: the picturing-relation. Sellars' theory of intentionality addresses the question of how to reconcile two aspects that seem opposed: the non-relational theory of intellectual and linguistic content and a causal-transcendental theory of representation inspired by the philosophy of the early Wittgenstein. The author explains how both parts cohere in a transcendental account of finite knowledge. He claims that this can only be achieved by reading Sellars as committed to a transcendental methodology inspired by Kant. In a final step, he brings his interpretation to bear on the contemporary metaphilosophical debate on pragmatism and expressivism. Intentionality in Sellars will be of interest to scholars of Sellars and Kant, as well as researchers working in philosophy of mind, epistemology, and the history of nineteenth- and twentieth-century philosophy.
Intentionality, Cognition, and Mental Representation in Medieval Philosophy (Medieval Philosophy: Texts and Studies)
by Gyula KlimaIt is commonly supposed that certain elements of medieval philosophy are uncharacteristically preserved in modern philosophical thought through the idea that mental phenomena are distinguished from physical phenomena by their intentionality, their intrinsic directedness toward some object. The many exceptions to this presumption, however, threaten its viability. This volume explores the intricacies and varieties of the conceptual relationships medieval thinkers developed among intentionality, cognition, and mental representation. Ranging from Aquinas, Scotus, Ockham, and Buridan through less-familiar writers, the collection sheds new light on the various strands that run between medieval and modern thought and bring us to a number of fundamental questions in the philosophy of mind as it is conceived today.
Intentionality, Deliberation and Autonomy: The Action-Theoretic Basis of Practical Philosophy
by Sandro NanniniMany important thinkers in the philosophical tradition, like Aristotle or Hume, have used an explicit theory of action as the basis of their respective normative theories of practical rationality and morality. The idea behind this architecture of theories is that action theory can inform us about the origin, bonds, reach and limits of practical reason. The aim of this book is to revive this direct connection between action theory and practical philosophy, in particular to provide systematic action-theoretical underpinnings for the discussion about the normative structure of practical reason. This book brings together a collection of specially commissioned essays from internationally prestigious scholars in the field and represents the state of the art in contemporary philosophy of action. The book is divided into three parts: i. conceptual work about what actions, intentions and intentional actions are; ii. empirical theory of practical deliberation; and iii.theories about the action theoretic features of autonomy. The volume significantly advances these three lines of research and offers important new contributions to each of them.
Intentions in Great Power Politics: Uncertainty and the Roots of Conflict
by Sebastian RosatoWhy the future of great power politics is likely to resemble its dismal past Can great powers be confident that their peers have benign intentions? States that trust each other can live at peace; those that mistrust each other are doomed to compete for arms and allies and may even go to war. Sebastian Rosato explains that states routinely lack the kind of information they need to be convinced that their rivals mean them no harm. Even in cases that supposedly involved mutual trust—Germany and Russia in the Bismarck era; Britain and the United States during the great rapprochement; France and Germany, and Japan and the United States in the early interwar period; and the Soviet Union and United States at the end of the Cold War—the protagonists mistrusted each other and struggled for advantage. Rosato argues that the ramifications of his argument for U.S.–China relations are profound: the future of great power politics is likely to resemble its dismal past.
Intentions: Negotiated, Contested, and Ignored (Literature and Philosophy)
by Arabella LyonThe relationship between an author's and an audience's intentions is complex but need not preclude mutual engagement. This philosophical investigation challenges existing literary and rhetorical perspectives on intention and offers a new framework for understanding the negotiation of meaning. It describes how an audience's intentions affect their interpretations, shows how audiences negotiate meaning when faced with a writer's undecipherable intentions, and defines the scope of understanding within rhetorical situations.Introducing a concept of intention into literary analysis that supersedes existing rhetorical theory, Arabella Lyon shows how the rhetorics of I. A. Richards, Wayne Booth, and Stanley Fish, as well as the hermeneutics of Hans-Georg Gadamer, fail to account for the complex interactions of author and audience. Using Kenneth Burke's concepts of form, motive, and purpose, she builds a more complex notion of intention than those usually found in literary studies, then employs her theory to describe how philosophers read Wittgenstein's narratives, metaphors, and reversals in argument.Lyon argues that our differences in intention prevent consistency in interpretations but do not stop our discussions, deliberations, and actions. She seeks to acknowledge difference and the communicative problems it creates while demonstrating that difference is normal and does not end our engagement with each other.Intentions combines recent work in philosophy, literary criticism, hermeneutics, and rhetoric in a highly imaginative way to construct a theory of intention for a postmodern rhetoric. It recovers and renovates central concepts in rhetorical theory—not only intention but also deliberation, politics, and judgment.
Intents and Purposes: Philosophy and the Aesthetics of Improvisation
by Eric LewisHow do we define improvised music? What is the relationship of highly improvised performances to the work they are performances of? How do we decide what are the important parts of an improvised musical work? In Intents and Purposes, Eric Lewis uses a series of case studies to challenge assumptions about what defines a musical work and musical performance, seeking to go beyond philosophical and aesthetic templates from Western classical music to foreground the distinctive practices and aesthetics of jazz. Pushing aside the assumption that composition and improvisation are different (or even opposed) musical practices, Lewis’s philosophically informed approach revisits key topics in musical ontology, such as how to define the triangle of composer-performer-listener, and the status of live performances in relation to scores and recordings. Drawing on critical race theory, feminist theory, new musicology, sociology, cognitive science, and genre theory, Lewis opens up new questions about agency in performance, as well as new ways of considering the historical relationships between improvisational practices with roots in different cultural frameworks. By showing how jazz can be both art, idea, and action all at the same time, Lewis offers a new way of seeing any improvised musical performance in a new culturally and aesthetically rich context.
Interactive Justice: A Proceduralist Approach to Value Conflict in Politics (Routledge Studies in Contemporary Philosophy)
by Emanuela CevaContemporary societies are riddled with moral disputes caused by conflicts between value claims competing for the regulation of matters of public concern. This familiar state of affairs is relevant for one of the most important debates within liberal political thought: should institutions seek to realize justice or peace? Justice-driven philosophers characterize the normative conditions for the resolution of value conflicts through the establishment of a moral consensus on an order of priority between competing value claims. Peace-driven philosophers have concentrated, perhaps more modestly, on the characterization of the ways in which competing value claims should be balanced, with a view to establishing a modus vivendi aimed at containing the conflict. Interactive Justice addresses an important question related to this debate: on what terms should the parties interact during their conflict for their interaction to be morally acceptable to them? Although largely unexplored by political philosophers, this is a main area of concern in conflict management. Building on a proceduralist interpretation of "relational" concerns of justice, the author develops a liberal normative theory of interactive justice for the management of value conflict in politics grounded in the fundamental values of fair hearing and procedural equality. This book innovatively builds a bridge between works in political philosophy and peace studies to propose a fresh lens through which to view the normative responses liberal institutions ought to give to value conflict in politics, and moves beyond the apparent dichotomy between pursuing end-state justice through conflict resolution or peace through conflict containment.
Interactive Robotics: Selected Contributions to the INBOTS Conference 2021, 18-20 May, 2021 (Biosystems & Biorobotics #30)
by María Amparo Grau RuizThis book reports on cutting-edge legal, ethical, social and economic issues relating to robotics and automation, human-machine interaction and artificial intelligence, in different application areas. It discusses important problems such as robotic taxation, social inequality, protection of neuro-human and children rights, among others. It describes current advances and challenges in robotic regulation and governance, as well as findings relating to sustainability of robotic industries, thus filling an important gap in the robotic and AI literature. Chapters consists of revised and extended contributions to the workshop session “Debate on legal, ethical & socio-economic aspects of interactive robotics” of INBOTS 2021, held virtually on May 18-20, 2021.
Interactive Theorem Proving
by Christian Urban Xingyuan ZhangThis book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
Interactive Theorem Proving
by Mauricio Ayala-Rincón César A. MuñozThis book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.