by
Mueller, Erik T.
Call Number
153.43 22
Publication Date
2006
Summary
To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik T. Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringing into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions to problems that span many areas of the commonsense world. Covers key areas of commonsense reasoning including action, change, defaults, space, and mental states. The first full book on commonsense reasoning to use the event calculus. Contextualizes the event calculus within the framework of commonsense reasoning, introducing the event calculus as the best method overall. Focuses on how to use the event calculus formalism to perform commonsense reasoning, while existing papers and books examine the formalisms themselves. Includes fully worked out proofs and circumscriptions for every example. Describes software tools that can be downloaded and used for automated commonsense reasoning, and real-world applications that have been built using the event calculus.
Format:
Electronic Resources
Relevance:
85039.0625
by
Cruz, Jorge.
Call Number
006.3 22
Publication Date
2005
Summary
Focuses on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the formalism of Constraint Satisfaction Differential Problems. Such a framework allows the specification of ordinary differential equations by means of constraints.
Format:
Electronic Resources
Relevance:
71876.7422
View Other Search Results
by
Childress, James F.
Call Number
174.2 20
Publication Date
1997
Summary
"In his latest book, renowned ethicist James F. Childress uses various metaphors and analogies to highlight the role of imagination in practical reasoning. Childress shows how principles, metaphors, and analogies illuminate moral problems and issues in science, medicine, and health care. The issues he considers include screening and testing for HIV infection, informed consent to and refusal of life-sustaining treatment, allocating scarce health care resources, providing access to and controlling the costs of health care, and obtaining organs and tissues for transplantation."--Jacket.
Format:
Electronic Resources
Relevance:
71873.4844
by
Forster, T. E.
Call Number
511.3 22
Publication Date
2003
Summary
Reductionism is one of those philosophical myths that are either enthusiastically embraced or wholeheartedly rejected. And, like all other philosophical myths, it rarely gets serious consideration. Reasoning About Theoretical Entities strives to give reductionism its day in court, as it were, by explicitly developing several versions of the reductionist project and assessing their merits within the framework of modern symbolic logic. Not since the days of Carnap's Aufbau has reductionism received such close attention (albeit in a necessarily restricted and regimented setting such as that of modern mathematical logic). As such this book fills a void in the philosophical literature and presents a challenge to every would-be (anti- )reductionist. It should be required reading for every first-year graduate student in philosophy.
Format:
Electronic Resources
Relevance:
67232.5781
by
Nakamatsu, Kazumi.
Call Number
006.3
Publication Date
2013
Summary
This book consists of various contributions in conjunction with the keywords "reasoning" and "intelligent systems", which widely covers theoretical to practical aspects of intelligent systems. Therefore, it is suitable for researchers or graduate students who want to study intelligent systems generally.
Format:
Electronic Resources
Relevance:
63392.7578
by
Thomson, Anne.
Call Number
170 21
Publication Date
2002
Format:
Electronic Resources
Relevance:
63391.6484
by
Baral, Chitta.
Call Number
006.33 22
Publication Date
2003
Summary
Baral shows how to write programs that behave intelligently, by giving them the ability to express knowledge and to reason. This unique book will appeal to practising and would-be knowledge engineers wishing to learn more about the subject in courses or through self-teaching.
Format:
Electronic Resources
Relevance:
63390.7813
by
Li, Hongbo.
Call Number
512.57 22
Publication Date
2008
Summary
The demand for more reliable geometric computing in robotics, computer vision and graphics has revitalized many venerable algebraic subjects in mathematics - among them, Grassmann-Cayley algebra and geometric algebra. Nowadays, they are used as powerful languages for projective, Euclidean and other classical geometries. This book contains the author's most recent, original development of Grassmann-Cayley algebra and geometric algebra and their applications in automated reasoning of classical geometries. It includes three advanced invariant algebras - Cayley bracket algebra, conformal geometric algebra, and null bracket algebra - for highly efficient geometric computing. They form the theory of advanced invariants, and capture the intrinsic beauty of geometric languages and geometric computing. Apart from their applications in discrete and computational geometry, the new languages are currently being used in computer vision, graphics and robotics by many researchers worldwide.
Format:
Electronic Resources
Relevance:
63390.7617
by
Mayeri, Serena.
Call Number
342.730878 22
Publication Date
2011
Summary
"Informed in 1944 that she was 'not of the sex' entitled to be admitted to Harvard Law School, African American activist Pauli Murray confronted the injustice she called 'Jane Crow.' In the 1960s and 1970s, the analogies between sex and race discrimination pioneered by Murray became potent weapons in the battle for women's rights, as feminists borrowed rhetoric and legal arguments from the civil rights movement. Serena Mayeri's Reasoning from Race is the first book to explore the development and consequences of this key feminist strategy. Mayeri uncovers the history of an often misunderstood connection at the heart of American antidiscrimination law. Her study details how a tumultuous political and legal climate transformed the links between race and sex equality, civil rights and feminism. Battles over employment discrimination, school segregation, reproductive freedom, affirmative action, and constitutional change reveal the promise and peril of reasoning from race--and offer a vivid picture of Pauli Murray, Ruth Bader Ginsburg, and others who defined feminists' agenda. Looking beneath the surface of Supreme Court opinions to the deliberations of feminist advocates, their opponents, and the legal decisionmakers who heard--or chose not to hear--their claims, Reasoning from Race showcases previously hidden struggles that continue to shape the scope and meaning of equality under the law"--Publisher description.
Format:
Electronic Resources
Relevance:
54899.1602
by
Buell, Denise Kimber, 1965-
Call Number
270.1089 22
Publication Date
2005
Summary
Conventional histories have understood Christianity as a religion that has sought to transcend ethnic and racial distinctions. Denise Kimber Buell challenges this view and argues that ethnicity and race played a crucial role in early definitions of Christianity. In her readings of early Christian texts, Buell considers the use of "ethnic reasoning" to depict Christianness as more than a set of shared religious practices and beliefs. By asking themselves, "Why this new race?" early Christians positioned themselves as members of a distinct ethnos (nation) or genos (race). Buell's reconsideration of Christian identity pays close attention to the ways early Christians viewed ethnicity as both fixed and fluid. Many early Christians characterized Christianness as an ethnicity that had a real essence (fixed) but one that could be acquired through conversion (fluid). Buell also shows that discussions of early Christian self-definition offer insights into contemporary issues concerning race.
Format:
Electronic Resources
Relevance:
54895.8945
by
Hricik, David.
Call Number
340.071173 22
Publication Date
2000
Format:
Electronic Resources
Relevance:
52745.7500
by
Braman, Eileen.
Call Number
340.11 22
Publication Date
2009
Format:
Electronic Resources
Relevance:
52745.7266
Limit Search Results