Counts-as: classification or constitution? an answer using modal logic

Authors:
Davide Grossi;John-Jules Ch. Meyer;Frank Dignum
Affiliations:
Utrecht University, The Netherlands;Utrecht University, The Netherlands;Utrecht University, The Netherlands
Venue:
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Year:
2006

Citing 12
Cited 8

All I know: a study in autoepistemic logic

Artificial Intelligence
Local models semantics, or contextual reasoning = locality + compatibility

Artificial Intelligence
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
On the Representation of Context

Journal of Logic, Language and Information
The Semantics of Propositional Contexts

ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
Attributing mental attitudes to normative systems

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Normative autonomy and normative co-ordination: declarative power, representation, and mandate

Artificial Intelligence and Law
Modal logic investigations in the semantics of counts-as

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Classificatory Aspects of Counts-as

Journal of Logic and Computation
Propositional logic of context

AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Contextual taxonomies

CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Contextual terminologies

CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems

Norms and plans as unification criteria for social collectives

Autonomous Agents and Multi-Agent Systems
A computational framework for institutional agency

Artificial Intelligence and Law
Anchoring institutions in agents' attitudes: towards a logical framework for autonomous multi-agent systems

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Pushing Anderson's Envelope: The Modal Logic of Ascription

DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Making norms concrete

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Deontic redundancy: a fundamental challenge for deontic logic

DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Norms and electronic institutions

DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Delegation of power in normative multiagent systems

DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

By making use of modal logic techniques, the paper disentangles two semantically different readings of statements of the type X counts as Y in context C (the classificatory and the constitutive readings) showing that, in fact, ‘counts-as is said in many ways'.