Sebanyak 633 item atau buku ditemukan

Vivid Logic

Knowledge-based Reasoning with Two Kinds of Negation

"Knowledge representation research is not only formal, it is also descriptiveand normative. Its aim is to implement a formal system which captures a practically relevant body of cognitive faculties employed by humans and capitalizes on its technical strength to extend human knowledge representation and reasoning capabilities. In this monograph, the author develops formalisms for his own notion of a vivid knowledge representation and reasoning system, characterized by the presence of two kinds of negation (weak and strong) and the requirements of restricted reflexivity, constructivity, and non-explosiveness. The book is based on work carried out within an interdisciplinary research project at the Free University of Berlin."--PUBLISHER'S WEBSITE.

Knowledge-based Reasoning with Two Kinds of Negation Gerd Wagner, Institute for Documentation Information and Statistics German Cancer Research Centre G Wagner. 6.2 Logic Programs with Strong Negation The ... legal reasoning system .

Law, Logic, and the Computer

Bibliography with Assorted Background Material

GRECH , A. P. Development and use of micro - reproduction in the libraries of the legal profession . Micro News 57 ( Mar. 1962 ) , 158 . 372. ... HOHFELD , W. N. Some fundamental legal conceptions as applied in judicial reasoning .

Machine Intelligence 12: Towards an Automated Logic of Human Thought

This is the latest volume in a series which has provided coverage of the seminal advances in machine intelligence over the past two decades. It marks a turning point in the series' direction, one that will focus on the vital problem of scientific reasoning and the application of artificial intelligence to analyzing the sometimes staggering quantities of data generated in fields from biotechnology to planetary physics. The book includes contributions from internationally recognized experts who offer their insights on important practical and theoretical developments. It also includes an extensive bibliography that will serve as a valuable guide to the literature.

admissibility of arguments , which arises very commonly in legal reasoning , does not seem directly amenable to a probabilistic approach either . Our approach is to use the meta - logical capabilities of Prolog and the certainty space ...

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 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 ...

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.

Logic and Argumentation

4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of argumentation, a variety of logic formalisms, nonmonotonic reasoning, dispute and dialogue systems, formal treatment of preference and support, and well as applications in areas like vaccine information and processing of legal texts.

This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021.

Logic Based Program Synthesis and Transformation

13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software architectures, design patterns and frameworks, program re?nement and logics for re?nement, proofs as programs, and applications and tools. LOPSTR 2003 took place at the University of Uppsala from August 25 to August 27 as part of PLI 2003 (Principles, Logics, and Implementations of High- Level Programming Languages). PLI was an ACM-organized confederation of conferences and workshops with ICFP 2003 (ACM-SIGPLAN International C- ference on Functional Programming) and PPDP 2003 (ACM-SIGPLAN Inter- tional Conference on Principles and Practice of Declarative Programming) as the main events. The LOPSTR community pro?ted from the shared lectures of the invited speakers, and the active scienti?c discussions enabled by the co-location. LOPSTR 2003 was the thirteenth in a series of events. Past events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), L- ven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), and Madrid, Spain (2002).

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development.

Deontic Logic in Computer Science

10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010. The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissions. Topics covered include connections preferences, deontic logic and contrary-to-duties, the use of input/output logic, the study of norm dynamics, models of agents and institutions, argumentation, compliance, and various alternative analyses of deontic notions.

This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010.

Deontic Logic in Computer Science

Normative System Specification

Deontic logic originated from moral philosophy and the philosophy of law as an attempt to formalise normative and legal reasoning. This book draws on the experience of researchers - working in fields as diverse as Artificial Intelligence, linguistics, computer system specification and law - who have discovered the benefits of deontic logic when applied to solving computer science and AI problems. A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software. This book provides a unique and timely assessment of the practical value of deontic logic for computer scientists in AI and law and, more particularly, in such areas as distributed AI and intelligent cooperative information systems.

In The First International Conference on Artificial Intelligence and Law , pages 240-251 . ACM , May 1987 . R.M. Chisholm . ... In C. Walter , editor , Computer Power and Legal reasoning , pages 467-493 . West Publishing Co. , 1985 .