The rationale behind the concept of goal

DOI10.1017/S1471068416000053zbMATH Open1379.68295DBLPjournals/tplp/GovernatoriOSRC16arXiv1512.04021WikidataQ58176645 ScholiaQ58176645MaRDI QIDQ4593028FDOQ4593028

Authors: Guido Governatori, Simone Scannapieco, Antonino Rotolo, Matteo Cristani, F. Oliveri 

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Abstract: The paper proposes a fresh look at the concept of goal and advances that motivational attitudes like desire, goal and intention are just facets of the broader notion of (acceptable) outcome. We propose to encode the preferences of an agent as sequences of "alternative acceptable outcomes". We then study how the agent's beliefs and norms can be used to filter the mental attitudes out of the sequences of alternative acceptable outcomes. Finally, we formalise such intuitions in a novel Modal Defeasible Logic and we prove that the resulting formalisation is computationally feasible.

Full work available at URL: https://arxiv.org/abs/1512.04021

Recommendations

• A new perspective on goals
• The modal logic of discrepancy
• A defeasible logic for modelling policy-based intentions and motivational attitudes
• Sequence Semantics for Normative Agents
• The role of goals in belief selection

zbMATH Keywords

intentionsagentsgoalsobligationsdefeasible logicdesires

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Cites Work

• Intention is choice with commitment
• Title not available (Why is that?)
• Title not available (Why is that?)
• Towards a theory of intention revision
• PRIMA 2013: Principles and practice of multi-agent systems. 16th international conference, Dunedin, New Zealand, December 1--6, 2013. Proceedings
• Qualitative choice logic
• Representation results for defeasible logic
• Propositional defeasible logic has linear complexity
• Programming Cognitive Agents in Defeasible Logic
• Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations
• Intelligent agents. ECAI-94 workshop on agent theories, architectures, and languages, Amsterdam, The Netherlands, August 8-9, 1994. Proceedings
• Computing strong and weak permissions in defeasible logic
• Goal Change in the Situation Calculus
• Possible world semantics for defeasible deontic logic
• A defeasible logic for modelling policy-based intentions and motivational attitudes
• What Are the Necessity Rules in Defeasible Reasoning?
• Large-scale parallel stratified defeasible reasoning

Cited In (13)

• Properties of goal systems: Consistency, conflict, and coherence
• Special issue on goal reasoning
• Телеология и целенаправленное поведение: логический анализ
• Prioritized goals and subgoals in a logical account of goal change -- a preliminary report
• A defeasible logic for modelling policy-based intentions and motivational attitudes
• Computing defeasible meta-logic
• Logics in Artificial Intelligence
• The role of goals in belief selection
• A new perspective on goals
• Modal Rules: Extending Defeasible Logic with Modal Operators
• Sequence Semantics for Normative Agents
• Annotated defeasible logic
• Title not available (Why is that?)

Uses Software

• DELORES

This page was built for publication: The rationale behind the concept of goal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593028)