A Defeasible Logic of Policy-Based Intention
Lecture notes in computer sciencePublished 1 January 2003Open access
Guido Governatori, Vineet Padmanabhan
Citations19
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A defeasible logic of intention is outlined that alleviates most of the problems related to logical omniscience and helps in the maintenance of intention-consistency in agent systems like BDI.
Abstract
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions exhibit non-monotonic behaviour which could be captured through a non-monotonic system like defeasible logic. To this end we outline a defeasible logic of intention. The proposed technique alleviates most of the problems related to logical omniscience. The proof theory given shows how our approach helps in the maintenance of intention-consistency in agent systems like BDI.
Keywords
Computer Science
Artificial IntelligenceIntention is choice with commitment
1,865 Citations1990Philip R. Cohen, Hector J. Levesque
The formalism provides analyses for Bratman's three characteristic functional roles played by intentions, and shows how agents can avoid intending all the foreseen side-effects of what they actually intend.
Modal Logic: An Introduction
1,810 Citations1980Brian F. Chellas
Knowledge and belief
1,457 Citations1962Jaakko Hintikka
Four cases are reported here in which a large branch or a central venous thrombosis, associated with marked disturbances of the local artery, gave rise to the retinopathy of detachment, with subsequent detachment in three of them.
Handbook of Logic in Artificial Intelligence and Logic Programming
385 Citations1993
ACM Transactions on Computational LogicRepresentation results for defeasible logic
370 Citations2001Grigoris Antoniou, David P. Billington +2 more
The transformations described in this paper have two main benefits: on one hand they can be used as a theoretical tool that leads to a deeper understanding of the formalism, and on the other hand they have been used in the development of an efficient implementation of defeasible logic.
National Conference on Artificial IntelligenceA policy description language
242 Citations1999Jorge Lobo, Randeep Bhatia +1 more
PDC, a simple but expressive language to specify policies, is introduced, founded on recent results on formal descriptions of action theories based on automata and their application to active databases.
Elsevier eBooksPersistence, Intention, and Commitment
161 Citations1987Philip R. Cohen, Hector J. Levesque
Theory and Practice of Logic ProgrammingPropositional defeasible logic has linear complexity
157 Citations2001Michael J. Maher
Journal of Logic and ComputationDefeasible Logic is Stable
121 Citations1993David P. Billington
This work defines, and gives some of the intuition behind the definition of, a nonmonotonic logic called defeasible logic, and shows how well the definition captures the authors' intuitions.
International Journal of Artificial Intelligence ToolsEFFICIENT DEFEASIBLE REASONING SYSTEMS
120 Citations2001Michael J. Maher, Andrew Rock +3 more
arXiv (Cornell University)A flexible framework for defeasible logics
109 Citations2000Grigoris Antoniou, David P. Billington +2 more
Defeasible logic
98 Citations2001Donald Nute
A representationalist theory of intention
93 Citations1993Kurt Konolige, Martha E. Pollack
Cohen and Levesque [9], in adopting the realism thesis, rely on claims about way an agent may change his beliefs about the connection between an intended proposition and its consequences to make their theory side-effect free, but their theory will not be abstraction free or conjunction free.
A semantic decomposition of defeasible logics
58 Citations1999Michael J. Maher, Guido Governatori
It is shown that Nute's Defeasible Logic corresponds to Kunen's semantics, and a defeasible logic is developed from the well-founded semantics of Van Gelder, Ross and Schlipf.
Representation and Reasoning for Goals in BDI Agents
51 Citations2002John Thangarajah, Lin Padgham +1 more
Griffith Research Online (Griffith University, Queensland, Australia)An argumentation-theoretic characterization of defeasible logic
38 Citations2000Guido Governatori, Michael J. Maher
This work presents here an argumentation semantics for defeasible logic that will be useful in some legal domains and differs at several points from existing argumentation frameworks since there are several features of defeasibility logic that have not been addressed in the literature.
Reasoning about Policies using Logic Programs
25 Citations2001Tran Cao Son, Jorge Lobo
This paper introduces the generation problem: finding an event history that generates a given action history, and presents a logic programming-based semantics for policies and encodes a sound and complete solution of thegeneration problem using the stable model semantics of logic programs.
Journal of Experimental & Theoretical Artificial IntelligenceSemantical considerations on intention dynamics for BDI agents
8 Citations1998Munindar P. Singh
This approach incorporates a formal model based on branching time in which a probabilistic analysis of choice can be captured and the intuitions of the BDI paradigm can be reconciled with those of rational agency.
A Logic of Intention
6 Citations1999Xiaoping Chen, Guiquan Liu
This work introduces an alternative approach by establishing a nonclassical logic of intention based on a novel non-Kripkean semantics which embodies some cognitive features and shows that this logic does provide a formal specification and a decidable inference mechanism of intention consequences.
Lecture notes in computer scienceA Preference-Based Theory of Intention
4 Citations2000Toru Sugimoto
A preference-based approach to the logic of intention, based on an intuition that intentions are desirable choices of an agent, is investigated, which demonstrates that the formalism can give a good basis for designing and understanding heuristics and control strategies for agents in the intention recognition domain.
Intentions Are Plans Plus Wishes
2 Citations1993Roberto Zamparelli