1,996 Hits in 8.2 sec

A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions [chapter]

Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard
2012 Lecture Notes in Computer Science  
In this logic, the sentence 'group G sees to it that ϕ' is defined in terms of dynamic operators: it is paraphrased as 'group G is going to execute an action now such that whatever actions the agents outside  ...  In the second part of the article we extend DL-PC with operators modeling normative concepts, resulting in a logic DL-PC Leg .  ...  We would like to thank the reviewers of DEON 2012 for their careful reading of the paper and their detailed suggestions.  ... 
doi:10.1007/978-3-642-31570-1_12 fatcat:5dj6l7ngr5glbpl2blsx4n45dq

Introduction: The Many Branches of Belnap's Logic [chapter]

Thomas Müller
2014 Outstanding Contributions to Logic  
In this introduction to the Outstanding contributions to logic volume devoted to Nuel Belnap's work on indeterminism and free action, we provide a brief overview of some of the formal frameworks and methods  ...  a long term project starting from a collaboration with Alan Anderson dating back to the late 1950s and continued with Robert Meyer and Michael Dunn into the 1990s; the logic of questions, developed with  ...  Open Access This chapter is distributed under the terms of the Creative Commons Attribution Noncommercial License, which permits any noncommercial use, distribution, and reproduction in any medium, provided  ... 
doi:10.1007/978-3-319-01754-9_1 fatcat:mn3rg7ewqvhgrpehndjyzqqjuy

Law and logic: A review from an argumentation perspective

Henry Prakken, Giovanni Sartor
2015 Artificial Intelligence  
This article reviews legal applications of logic, with a particularly marked concern for logical models of legal argument.  ...  First applications of logic to the representation of legal regulations are reviewed, where the main emphasis is on representation and where the legal conclusions follow from that representation as a matter  ...  This review aims to introduce AI researchers to the law as a rich test bed and important application field for logic-based AI research, with a particularly marked concern for logical models of legal argument  ... 
doi:10.1016/j.artint.2015.06.005 fatcat:r3qsbixofvgrbhkm4dwpajynu4

Temporalised normative positions in defeasible logic

Guido Governatori, Antonino Rotolo, Giovanni Sartor
2005 Proceedings of the 10th international conference on Artificial intelligence and law - ICAIL '05  
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of temporalised agency and temporalised normative positions.  ...  We argue about the defeasible nature of these notions and then we show how to represent and reason with them in the setting of Defeasible Logic.  ...  Modal logics of agency are very general since actions are simply taken to be relationships between agents and states of affairs.  ... 
doi:10.1145/1165485.1165490 dblp:conf/icail/GovernatoriRS05 fatcat:afyhks3rmbhubkosu37dt5jxxu

Abduction, Reason, and Science: A Review

Atocha Aliseda-Llera
2002 The AI Magazine  
Her main research interests are abductive logic and the connection between philosophy of science and AI.  ...  and "breedtestrategiepostdoc" at the Faculty of Philosophy in Groningen, The Netherlands. She obtained her Ph.D. from Stanford University in 1997.  ...  Acknowledgment I would like to thank my colleague, M. Sasikumar, for his valuable comments on this review.  ... 
doi:10.1609/aimag.v23i1.1613 dblp:journals/aim/Aliseda02 fatcat:4gvqgglrsjh3heizr3i4xt3vcm

Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others [chapter]

Paolo Felli, Tim Miller, Christian Muise, Adrian R. Pearce, Liz Sonenberg
2014 Lecture Notes in Computer Science  
With a view to supporting expressive, but tractable, collaborative interactions between humans and agents, we propose an approach for representing heterogeneous agent models, i.e., with potentially diverse  ...  We build a computationally grounded mechanism for progressing their beliefs about others' beliefs, supporting stereotypical as well as empathic reasoning.  ...  In this paper, we devise a computationally grounded (and implementable) mechanism for representing belief and progression, which reflects the local perspective an agent with respect to its own understanding  ... 
doi:10.1007/978-3-319-11973-1_15 fatcat:ldl74vgmffbxngnpdjtwp4tqei

Regulatory Requirements Traceability and Analysis Using Semi-formal Specifications [chapter]

Travis D. Breaux, David G. Gordon
2013 Lecture Notes in Computer Science  
In this paper, we report on a computational requirements document expressible using a legal requirements specification language (LRSL).  ...  The purpose is to make legal requirements open and available to policy makers, business analysts and software developers, alike.  ...  Department of Homeland Security (Award #2006-CS-001-000001), Hewlett-Packard Labs (Award #CW267287) and ONR Award #N00244-12-1-0014.  ... 
doi:10.1007/978-3-642-37422-7_11 fatcat:zbhv2vqhv5hkno34yiqnbpw5um

The Semantic Web [chapter]

Christopher Walton
2006 Agency and the Semantic Web  
Therefore, we present a detailed overview of the current state of the art, with a particular emphasis on practical solutions.  ...  The automated processing of information on the Web is principally an issue of scale.  ...  Practical human reasoning can be expressed computationally by a number of different logic-based systems.  ... 
doi:10.1093/oso/9780199292486.003.0007 fatcat:zn63bbnyjfdx5obo2aoihcdnfy

A Situation Calculus Approach to Modeling and Programming Agents [chapter]

Yves Lespérance, Hector J. Levesque, Raymond Reiter
1999 Applied Logic Series  
For some time now, we have been working on a logical theory of agency and on programming tools based on it.  ...  A Golog program together with the definition of Do and some foundational axioms about the situation calculus is a formal logical theory about the possible behaviors of an agent in a given environment.  ... 
doi:10.1007/978-94-015-9204-8_12 fatcat:3czszoh3mbd45hgzzoq33z2da4

Towards a Financial Fraud Ontology: A Legal Modelling Approach

John Kingston, Burkhard Schafer, Wim Vandenberghe
2004 Artificial Intelligence and Law  
A first task has been the specification of the user requirements that define the functionality of the financial fraud ontology to be designed by the FF POIROT partners.  ...  The purpose of this paper is to explain this abstract model and to specify the set of user requirements.  ...  This is used in legal proceedings to justify subsequent actions.  ... 
doi:10.1007/s10506-005-4163-0 fatcat:3fyjovcn7bbcnn3m2mfmagtv4i

Climate change, uncertainty, and natural resource management

James D. Nichols, Mark D. Koneff, Patricia J. Heglund, Melinda G. Knutson, Mark E. Seamans, James E. Lyons, John M. Morton, Malcolm T. Jones, G. Scott Boomer, Byron K. Williams
2011 Journal of Wildlife Management  
Adaptive resource management is an application of structured decision-making for recurrent decision problems with uncertainty, focusing on management objectives, and the reduction of uncertainty over time  ...  methods of choice for managers trying to deal with the uncertainties of climate change. ß 2011 The Wildlife Society.  ...  ACKNOWLEDGMENTS We benefited from constructive reviews of the initial manuscript by S. Converse, M. Runge, and an anonymous referee.  ... 
doi:10.1002/jwmg.33 fatcat:7rrnikpe6rcojddozuqidzhax4

A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law

Trevor Bench-Capon, Michał Araszkiewicz, Kevin Ashley, Katie Atkinson, Floris Bex, Filipe Borges, Daniele Bourcier, Paul Bourgine, Jack G. Conrad, Enrico Francesconi, Thomas F. Gordon, Guido Governatori (+12 others)
2012 Artificial Intelligence and Law  
Fifty papers have been selected from the thirteen conferences and each of them is described in a short subsection individually written by one of the 24 authors. These subsections attempt to place the  ...  We provide a retrospective of 25 years of the International Conference on AI and Law, which was first held in 1987.  ...  Pollock (1987) , along with work on nonmonotonic logic, and is intended to be broadly applicable, also beyond the legal domain.  ... 
doi:10.1007/s10506-012-9131-x fatcat:g4qgrfrwyjcphdghpqlgfarxdy

AI and Legal Argumentation: Aligning the Autonomous Levels of AI Legal Reasoning [article]

Lance Eliot
2020 arXiv   pre-print
As such, an innovative meta-approach is proposed to apply the Levels of Autonomy (LoA) of AI Legal Reasoning (AILR) to the maturation of AI and Legal Argumentation (AILA), proffering a new means of gauging  ...  Legal argumentation is a vital cornerstone of justice, underpinning an adversarial form of law, and extensive research has attempted to augment or undertake legal argumentation via the use of computer-based  ...  This review aims to introduce AI researchers to the law as a rich testbed and important application field for logic-based AI research, with a particularly marked concern for logical models of legal argument  ... 
arXiv:2009.11180v1 fatcat:erk7cckzuvdfzblmmt4uatp2yq

Legal Linked Data Ecosystems and the Rule of Law [chapter]

Marta Poblet, Pompeu Casanovas, Víctor Rodríguez-Doncel
2019 SpringerBriefs in Law  
This chapter introduces the notions of meta-rule of law and socio-legal ecosystems to both foster and regulate linked democracy.  ...  as a socio-legal ecosystem.  ...  ascribe a legal quality to a person or an object c) Definitional, which specify the meaning of a term d) Deontic, which, typically, impose the obligation or confer the permission to do a certain action  ... 
doi:10.1007/978-3-030-13363-4_5 fatcat:wyfojp6owzb4jhegj6vuyvtr24

Feats without Heroes: Norms, Means, and Ideal Robotic Action

Matthias Scheutz, Thomas Arnold
2016 Frontiers in Robotics and AI  
), the objective for computationally rendered norms is to yield the best actions in an accountable fashion.  ...  We argue that in ethically charged situations where certain forms of information are more limited than normal, a robot may use certain norms in order to adjudicate and plan an action.  ...  The authors contributed equally to the article. aCKnoWLedGMents This work was in part supported by ONR MURI grant N00014-14-1-0144.  ... 
doi:10.3389/frobt.2016.00032 fatcat:srwroke46jaifchzp7csdfogxq
« Previous Showing results 1 — 15 out of 1,996 results