Intention is choice with commitment
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
A Defeasible Logic of Policy-Based Intention
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Flexible Framework for Defeasible Logics
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Towards Socially Sophisticated BDI Agents
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Modeling conversation policies using permissions and obligations
Autonomous Agents and Multi-Agent Systems
A computational framework for institutional agency
Artificial Intelligence and Law
Defeasible Deontic Logic
Preferences of agents in defeasible logic
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Programming cognitive agents in defeasible logic
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
On Extending RuleML for Modal Defeasible Logic
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
ANGLE: An autonomous, normative and guidable agent with changing knowledge
Information Sciences: an International Journal
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
International Symposium on Symbolic and Algebraic Computation
AICOL-I/IVR-XXIV'09 Proceedings of the 2009 international conference on AI approaches to the complexity of legal systems: complex systems, the semantic web, ontologies, argumentation, and dialogue
On the relationship between Carneades and Defeasible Logic
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Rules, agents and norms: guidelines for rule-based normative multi-agent systems
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Rule-based agents, compliance, and intention reconsideration in defeasible logic
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Normative systems represented as hybrid knowledge bases
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Designing for compliance: norms and goals
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Norm compliance of rule-based cognitive agents
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Deon+: abduction and constraints for normative reasoning
Logic Programs, Norms and Action
Specifying and reasoning about normative systems in deontic logic programming
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Possible world semantics for defeasible deontic logic
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
An embedding of input-output logic in deontic logic programs
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
On the logical foundations of moral agency
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
HARM: a hybrid rule-based agent reputation model based on temporal defeasible logic
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web
International Journal on Semantic Web & Information Systems
Legal contractions: a logical analysis
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
A deontic logic semantics for licenses composition in the web of data
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Picking up the best goal: an analytical study in defeasible logic
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Computing temporal defeasible logic
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
| Hi-index | 0.00 |
In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.