Sebanyak 257 item atau buku ditemukan

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.

Logic: Deductive and Inductive

The reasoning is much more perspicuous when the general principle is stated first , the particular case is placed under it ... Hence , students of the law have great difficulty in collecting legal rules from cases , though they are soon ...

Narrative Logic

A Semantic Analysis of the Historian's Language

In one sense , nevertheless , the phrase ' ( un ) true narratio ' can be meaningful , viz . in the case of ethical or legal reasoning where ' standards ' on which to model narratios are available . If a narratio correctly answers all ...

Logic Programming

Proceedings of the 1990 North American Conference

OCTOBER 29 - NOVEMBER 1, 1990, AUSTIN, TEXASOCTOBER 29 - NOVEMBER 1, 1990, AUSTIN, TEXASTheory and Foundations. Metaprogramming. Constraints. Implementations, Architecture. Deductive Databases. Language Issues. Relation to Other Paradigms. Parallelism, Concurrency. Compilation Techniques. Applications.

Several researchers have investigated the properties of these " embedded implications ” [ 11 , 10 , 14 , 15 , 17 , 2 ) , and have shown them to be useful for hypothetical reasoning ( 3 ) , for legal reasoning ( 16 ) , for modular logic ...

Temporal Logic for Real-time Systems

Providing a framework for modelling, specifying and verifying systems composed of real-time discrete event processes, this text combines a formal framework in computer science with applications in software and control engineering.

Providing a framework for modelling, specifying and verifying systems composed of real-time discrete event processes, this text combines a formal framework in computer science with applications in software and control engineering.

Deontic Logic in Computer Science

11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings

This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints.

This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012.

Logic and Argumentation

Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings

This book constitutes the refereed proceedings of the Third International Conference on Logic and Argumentation, CLAR 2020, held in Hangzhou, China, in April 2020. The 14 full and 7 short papers presented were carefully reviewed and selected from 31 submissions. The papers cover the focus of the CLAR series, including formal models of argumentation, logics for decision making and uncertainreasoning, formal models of evidence, con rmation, and justi cation, logics forgroup cognition and social network, reasoning about norms, formal representationsof natural language and legal texts, as well as applications of argumentationon climate engineering.

This book constitutes the refereed proceedings of the Third International Conference on Logic and Argumentation, CLAR 2020, held in Hangzhou, China, in April 2020.

Crimes Against Logic: Exposing the Bogus Arguments of Politicians, Priests, Journalists, and Other Serial Offenders

British philosopher Jamie Whyte uses logic to expose what he sees as errors in reasoning, fallacies, and muddled thinking fed to the public by the media, politicians, religious leaders, and others.

British philosopher Jamie Whyte uses logic to expose what he sees as errors in reasoning, fallacies, and muddled thinking fed to the public by the media, politicians, religious leaders, and others.

The Logic of Academic Writing

Since academic writing is characterized by supporting an original idea through proofs or arguments, the book focuses on the "logic" of writing, that is, on the reasoning we use for structuring ideas, paragraphs, and papers...the reasoning ...

Edited Versions of Selected Papers from the International Conference on "Logic, Informatics, Law," Florence, Italy, April 1981: Artificial intelligence and legal information systems

The application of logic for the purposes of legal reasoning has been inhibited by the fact that the various basic positions about logic differ too much from each other . This is especially important in a field like legal reasoning ...