Sebanyak 340 item atau buku ditemukan

Logic Programming and Automated Reasoning

International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : Proceedings

This volume contains the proceedings of LPAR '92, theinternational conference on logic programming and automatedreasoning held in St. Petersburg in July 1992. The aim ofthe conference was to bring together researchers from theRussian and the international logic programming and theoremproving communities.The topics of interest covered by papers inthe volumeinclude automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics.LPAR '92 is the successor of the First and Second RussianConferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were publishedinLNAI Vol. 592.

We require that all the di occur in t since all arguments of f were certainly meant for relevance . f must not be ... a candidate term means to check whether the outer structure of the term corresponds to a legal rule in the context of ...

Logic Programming and Automated Reasoning

... International Conference, LPAR ... : Proceedings

We require that all the ai occur in t since all arguments of f were certainly meant for relevance . f must not be ... a candidate term means to check whether the outer structure of the term corresponds to a legal rule in the context of ...

Fuzzy Logic for the Management of Uncertainty

Fuzzy systems are mathematically based systems that enable computers to handle vague, imprecise, or ambiguous information. Edited by two of the top names in this field and written by a team of international experts, here is the most up-to-date and complete compilation of articles in fuzzy logic research. All chapters are original works prepared specifically for this volume, including articles on applications and tools. Fuzzy Logic for the Management of Uncertainty covers many important topics, including: Developments in mathematics that have paved the road for fuzzy logic; Deep, and of a broad perspective, exposition of virtually all approaches used in contemporary science for the representation and handling of imperfect (uncertain, imprecise, vague, ambiguous, etc.) information; Coverage of practically all relevant and promising directions and approaches in fuzzy logic research including LT--fuzzy logic, model theoretic approaches, intuitionistic fuzzy logic, nonmonotonic fuzzy logic, modifier fuzzy logic; VLSI fuzzy logic-based chips that have triggered the implementation of fuzzy logic in so many fields of science and technology; A broad coverage of fuzzy logic in approximate reasoning, including basic issues related to the role of fuzzy logic for approximate reasoning, analyses of various definitions of fuzzy implication that is a crucial element in fuzzy logic-based reasoning schemes, general issues related to reasoning and inference based on fuzzy logic, inconsistencies and explanations in imprecise reasoning and databases; Use of fuzzy logic for knowledge representation, including the use of fuzzy relations, fuzzy linguistic modifiers, etc.; Use of fuzzy logic for knowledge acquisition and elicitation, mainly for machine learning; Use of fuzzy logic for the modelling of neurons and neural networks; Use of fuzzy logic for the development of fuzzified higher level computer languages, notably for the fuzzification of LISP; Use of fuzzy logic for the management of uncertainty in implemented knowledge-based systems; Use of fuzzy logic for the validation of knowledge-based systems; Use of fuzzy logic in intelligent database management systems.

Fundamentals of Story Logic

Introduction to Greimassian semiotics

Drawing largely on Propp's and Greimas' work on the narrative, this book is aimed at consolidating and extending their views through a series of concrete applications. The volume offers a critical examination of narrative structure in terms of its two basic syntactic units or sets of operations, namely the “eventual or dynamic configurations corresponding to communication or to contract or, more general, to the structure of exchange.” Because of the emphasis it lays on the logical frame underlying the syntagmatic dimension of the story, the book contributes to an integrated descriptive model deliberately centered on “narrative semiotics as a branch of descriptive poetics.” The discussion of value in its social and legal context brings to light the links between the theory of narrative and its anthropological sources. This book shows that a strict concern with story logic requires a reevaluation of the basic premises of semiotic theory and raises important epistemological questions about its evolution.

Drawing largely on Propp's and Greimas' work on the narrative, this book is aimed at consolidating and extending their views through a series of concrete applications.

Meta-Programming in Logic

Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformation and analysis in logic. Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programs, semantics of the "vanilla" metainterpreter, a complete resolution method for metaprogramming, semanticsof "demo", hierarchical metalogics, the naming relation in metalevel systems, modules, reflective agents, compiler optimizations, metalogic and object-oriented facilities, parallel logic languages, the use of metaprogramming for legal reasoning, representing objects and inheritance, transformation of normal programs, negation in automatically generated logic programs, reordering of literals in deductive databases, abstract interpretations, and interarguments in constraint logic programs.

This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992.

How Judges Reason

The Logic of Adjudication

Legal rules ought to work themselves out, with unique or difficult cases becoming fewer, and the inconsistencies in the system disappearing as they are confronted. Instead, legal doctrine and the role of judges has become more difficult and often more controversial. This book offers a general explanation why, and in so doing, analyzes how individuals reason when they behave as judges. Drawing on ideas from philosophical logic, game theory, philosophy of mind, truth theory, and jurisprudence, the author develops a theory of judicial pluralism which suggests that judicial truth is individually objective but societally personal, pluralistic and idiosyncratic.

Instead, legal doctrine and the role of judges has become more difficult and often more controversial. This book offers a general explanation why, and in so doing, analyzes how individuals reason when they behave as judges.

Hearings on National Defense Authorization Act for Fiscal Year 1993--H.R. 5006, and Oversight of Previously Authorized Programs Before the Committee on Armed Services, House of Representatives, One Hundred Second Congress, Second Session

Research and Development Subcommittee Hearings on Research, Development, Test, and Evaluation : Hearings Held March 24, 25, 26, April 1, 28, 29, 30, and May 6, 1992

distribution are other forms of easily exportable information such as pamphlets and educational aids for delivery via diskette . C. Training and Education In December 1990 DOD Comptroller launched the financial management education and ...

Essays on Philosophy and Economic Methodology

This collection brings together the essays of one of the foremost American philosophers of economics. Cumulatively they offer fresh perspectives on foundational questions such as: what sort of science is economics? and how successful can economists be in acquiring knowledge of their subject matter?

This collection brings together the essays of one of the foremost American philosophers of economics.

The Social Dimension of 1992

Europe Faces a New EC

Many books have been written about the importance of the EC's 1992 initiative for the international economy. This book focuses on the social dimension of the initiative and the impact on the daily lives of ordinary Europeans. It deals with both the substance and the politics of the proposed social policy. Based on extensive use of primary sources and interviews, the book begins with a quick review of the history and organization of the EC, discusses major developments in employment policies, and examines current developments in social policy.

Many books have been written about the importance of the EC's 1992 initiative for the international economy. This book focuses on the social dimension of the initiative and the impact on the daily lives of ordinary Europeans.