Introduction to Description Logic


Book Description

The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.




Actual Causality


Book Description

Explores actual causality, and such related notions as degree of responsibility, degree of blame, and causal explanation. The goal is to arrive at a definition of causality that matches our natural language usage and is helpful, for example, to a jury deciding a legal case, a programmer looking for the line of code that cause some software to fail, or an economist trying to determine whether austerity caused a subsequent depression.




Preference, Belief, and Similarity


Book Description

Amos Tversky (1937–1996), a towering figure in cognitive and mathematical psychology, devoted his professional life to the study of similarity, judgment, and decision making. He had a unique ability to master the technicalities of normative ideals and then to intuit and demonstrate experimentally their systematic violation due to the vagaries and consequences of human information processing. He created new areas of study and helped transform disciplines as varied as economics, law, medicine, political science, philosophy, and statistics. This book collects forty of Tversky's articles, selected by him in collaboration with the editor during the last months of Tversky's life. It is divided into three sections: Similarity, Judgment, and Preferences. The Preferences section is subdivided into Probabilistic Models of Choice, Choice under Risk and Uncertainty, and Contingent Preferences. Included are several articles written with his frequent collaborator, Nobel Prize-winning economist Daniel Kahneman.




Passion of the Western Mind


Book Description

"[This] magnificent critical survey, with its inherent respect for both the 'Westt's mainstream high culture' and the 'radically changing world' of the 1990s, offers a new breakthrough for lay and scholarly readers alike....Allows readers to grasp the big picture of Western culture for the first time." SAN FRANCISCO CHRONICLE Here are the great minds of Western civilization and their pivotal ideas, from Plato to Hegel, from Augustine to Nietzsche, from Copernicus to Freud. Richard Tarnas performs the near-miracle of describing profound philosophical concepts simply but without simplifying them. Ten years in the making and already hailed as a classic, THE PASSION OF THE WESERN MIND is truly a complete liberal education in a single volume.




Representation and Inference for Natural Language


Book Description

How can computers distinguish the coherent from the unintelligible, recognize new information in a sentence, or draw inferences from a natural language passage? Computational semantics is an exciting new field that seeks answers to these questions, and this volume is the first textbook wholly devoted to this growing subdiscipline. The book explains the underlying theoretical issues and fundamental techniques for computing semantic representations for fragments of natural language. This volume will be an essential text for computer scientists, linguists, and anyone interested in the development of computational semantics.




Handbook of Knowledge Representation


Book Description

Handbook of Knowledge Representation describes the essential foundations of Knowledge Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field. It includes a tutorial background and cutting-edge developments, as well as applications of Knowledge Representation in a variety of AI systems. This handbook is organized into three parts. Part I deals with general methods in Knowledge Representation and reasoning and covers such topics as classical logic in Knowledge Representation; satisfiability solvers; description logics; constraint programming; conceptual graphs; nonmonotonic reasoning; model-based problem solving; and Bayesian networks. Part II focuses on classes of knowledge and specialized representations, with chapters on temporal representation and reasoning; spatial and physical reasoning; reasoning about knowledge and belief; temporal action logics; and nonmonotonic causal logic. Part III discusses Knowledge Representation in applications such as question answering; the semantic web; automated planning; cognitive robotics; multi-agent systems; and knowledge engineering. This book is an essential resource for graduate students, researchers, and practitioners in knowledge representation and AI. * Make your computer smarter* Handle qualitative and uncertain information* Improve computational tractability to solve your problems easily




Representation and Invariance of Scientific Structures


Book Description

A fundamental reason for using formal methods in the philosophy of science is the desirability of having a fixed frame of reference that may be used to organize the variety of doctrines at hand. This book—Patrick Suppes's major work, and the result of several decades of research—examines how set-theoretical methods provide such a framework, covering issues of axiomatic method, representation, invariance, probability, mechanics, and language, including research on brain-wave representations of words and sentences. This is a groundbreaking, essential text from a distinguished philosopher.




Agenda Relevance: A Study in Formal Pragmatics


Book Description

Agenda Relevance is the first volume in the authors' omnibus investigation of the logic of practical reasoning, under the collective title, A Practical Logic of Cognitive Systems. In this highly original approach, practical reasoning is identified as reasoning performed with comparatively few cognitive assets, including resources such as information, time and computational capacity. Unlike what is proposed in optimization models of human cognition, a practical reasoner lacks perfect information, boundless time and unconstrained access to computational complexity. The practical reasoner is therefore obliged to be a cognitive economizer and to achieve his cognitive ends with considerable efficiency. Accordingly, the practical reasoner avails himself of various scarce-resource compensation strategies. He also possesses neurocognitive traits that abet him in his reasoning tasks. Prominent among these is the practical agent's striking (though not perfect) adeptness at evading irrelevant information and staying on task. On the approach taken here, irrelevancies are impediments to the attainment of cognitive ends. Thus, in its most basic sense, relevant information is cognitively helpful information. Information can then be said to be relevant for a practical reasoner to the extent that it advances or closes some cognitive agenda of his. The book explores this idea with a conceptual detail and nuance not seen the standard semantic, probabilistic and pragmatic approaches to relevance; but wherever possible, the authors seek to integrate alternative conceptions rather than reject them outright. A further attraction of the agenda-relevance approach is the extent to which its principal conceptual findings lend themselves to technically sophisticated re-expression in formal models that marshal the resources of time and action logics and label led deductive systems. Agenda Relevance is necessary reading for researchers in logic, belief dynamics, computer science, AI, psychology and neuroscience, linguistics, argumentation theory, and legal reasoning and forensic science, and will repay study by graduate students and senior undergraduates in these same fields. Key features: • relevance • action and agendas • practical reasoning • belief dynamics • non-classical logics • labelled deductive systems