The Automation of a Practical Reasoning System Based on Concepts in Deontic Logic
Author : Michael Lewis
Publisher :
Page : 48 pages
File Size : 35,44 MB
Release : 1986
Category : Deontic logic
ISBN :
Author : Michael Lewis
Publisher :
Page : 48 pages
File Size : 35,44 MB
Release : 1986
Category : Deontic logic
ISBN :
Author :
Publisher :
Page : 660 pages
File Size : 37,95 MB
Release : 1987
Category : Artificial intelligence
ISBN :
Author : Donald Nute
Publisher :
Page : 70 pages
File Size : 14,33 MB
Release : 1988
Category : Prolog (Computer program language)
ISBN :
Author :
Publisher :
Page : 764 pages
File Size : 23,75 MB
Release : 1986
Category : Artificial intelligence
ISBN :
Author :
Publisher :
Page : 762 pages
File Size : 29,67 MB
Release : 1986
Category : Aeronautics
ISBN :
Author : P. Wahlgren
Publisher : Springer
Page : 448 pages
File Size : 21,42 MB
Release : 1992-10-07
Category : Computers
ISBN :
This book provides an analysis of the development which has lead up to the formation of a joint field of artificial intelligence and law. It discusses the basic foundations and also addresses the future prospects of the discipline. The author formulates a design approach for advanced Artificial Intelligence systems for law, and concludes with a discussion about the potentialities and the consequences of future development.
Author : Guido Governatori
Publisher : Springer Nature
Page : 310 pages
File Size : 13,36 MB
Release : 2022-12-13
Category : Computers
ISBN : 3031215419
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 26–28, 2022. This is the 6th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems). The 18 full research papers presented in this book were carefully reviewed and selected from 54 submissions. The papers cover the following topics: answer set programming; foundations of nonmonotonic reasoning; datalog; queries over ontologies; proofs, error-tolerance, and rules; as well as agents and argumentation.
Author : Shahid Rahman
Publisher : Springer Nature
Page : 432 pages
File Size : 13,4 MB
Release : 2021-12-16
Category : Philosophy
ISBN : 3030700844
This book intends to unite studies in different fields related to the development of the relations between logic, law and legal reasoning. Combining historical and philosophical studies on legal reasoning in Civil and Common Law, and on the often neglected Arabic and Talmudic traditions of jurisprudence, this project unites these areas with recent technical developments in computer science. This combination has resulted in renewed interest in deontic logic and logic of norms that stems from the interaction between artificial intelligence and law and their applications to these areas of logic. The book also aims to motivate and launch a more intense interaction between the historical and philosophical work of Arabic, Talmudic and European jurisprudence. The publication discusses new insights in the interaction between logic and law, and more precisely the study of different answers to the question: what role does logic play in legal reasoning? Varying perspectives include that of foundational studies (such as logical principles and frameworks) to applications, and historical perspectives.
Author : Ben Goertzel
Publisher : Springer Science & Business Media
Page : 267 pages
File Size : 30,54 MB
Release : 2011-12-02
Category : Computers
ISBN : 9491216112
The general problem addressed in this book is a large and important one: how to usefully deal with huge storehouses of complex information about real-world situations. Every one of the major modes of interacting with such storehouses – querying, data mining, data analysis – is addressed by current technologies only in very limited and unsatisfactory ways. The impact of a solution to this problem would be huge and pervasive, as the domains of human pursuit to which such storehouses are acutely relevant is numerous and rapidly growing. Finally, we give a more detailed treatment of one potential solution with this class, based on our prior work with the Probabilistic Logic Networks (PLN) formalism. We show how PLN can be used to carry out realworld reasoning, by means of a number of practical examples of reasoning regarding human activities inreal-world situations.
Author : John-Jules Ch. Meyer
Publisher :
Page : 344 pages
File Size : 44,3 MB
Release : 1993
Category : Computers
ISBN :
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.