The rationale behind the concept of goal

DOI10.1017/S1471068416000053MaRDI QIDQ4593028zbMATH OpenDBLPWikidataFDO

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)

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

zbMATH Keywords

intentionsagentsgoalsobligationsdefeasible logicdesires

Mathematics Subject Classification ID

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

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.

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

Cites work

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

Describes a project that uses

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)