A theory of diagnosis from first principles
Artificial Intelligence
Belief, awareness, and limited reasoning
Artificial Intelligence
A logical framework for default reasoning
Artificial Intelligence
Intention is choice with commitment
Artificial Intelligence
Logic programs with classical negation
Logic programming
Nonmonotonic reasoning: logical foundations of common sense
Nonmonotonic reasoning: logical foundations of common sense
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Deontic logic in computer science: normative system specification
Deontic logic in computer science: normative system specification
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Autonomous Agents and Multi-Agent Systems
Making inconsistency respectable: a logical framework for inconsistency in reasoning
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
Adding Priorities and Specificity to Default Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Agent programming in dribble: from beliefs to goals using plans
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Detecting & exploiting positive goal interaction in intelligent agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Rational action in agent programs with prioritized goals
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Semantics of declarative goals in agent programming
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
On proactivity and maintenance goals
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Goal-oriented modularity in agent programming
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Goals in agent systems: a unifying framework
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Combining sceptical epistemic reasoning with credulous practical reasoning
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Compiling reasoning with and about preferences into default logic
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Detecting & avoiding interference between goals in intelligent agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Agent logics as program logics: grounding KARO
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Programming cognitive agents in defeasible logic
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Goal representation for BDI agent systems
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Dynamics of declarative goals in agent programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
A goal deliberation strategy for BDI agent systems
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
A dynamic logic programming based system for agents with declarative goals
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Programming Organization-Aware Agents
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
A logical framework for prioritized goal change
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Formalizing organizational constraints: a semantic approach
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Consolidating diagram types from several agent-oriented methodologies
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Formal modelling of organisational goals based on performance indicators
Data & Knowledge Engineering
An architecture for directing value-driven artificial characters
Agents for games and simulations II
Operational behaviour for executing, suspending, and aborting goals in BDI agent systems
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Annals of Mathematics and Artificial Intelligence
Prioritized goals and subgoals in a logical account of goal change – a preliminary report
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Logical foundations for a rational BDI agent programming language
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
20 years of agent-oriented programming in distributed AI: history and outlook
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
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
An operational semantics for the goal life-cycle in BDI agents
Autonomous Agents and Multi-Agent Systems
| Hi-index | 0.00 |
This paper addresses the notion of (declarative) goals as used in agent programming. Goals describe desirable states, and semantics of these goals in an agent programming context can be defined in various ways. We focus in this paper on the representation of conflicting goals. In particular, we define two semantics for goals, one for unconditional goals and one for conditional goals. The first is based on propositional logic, and the latter is based on default logic. We establish relations between and properties of these semantics.