Belief, awareness, and limited reasoning
Artificial Intelligence
Representing multiple theories
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
The law as a dynamic interconnected system of states of affairs: a legal top ontology
International Journal of Human-Computer Studies - Model—based legal knowledge engineering
Modal logic
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
The Description Logic Handbook
The Description Logic Handbook
From abstract to concrete norms in agent institutions
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
A computational framework for institutional agency
Artificial Intelligence and Law
Introducing Grades in Deontic Logics
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Pushing Anderson's Envelope: The Modal Logic of Ascription
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Counts-as: classification or constitution? an answer using modal logic
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Constitutive norms in the design of normative multiagent systems
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Hi-index | 0.00 |
The work investigates the logic underlying the representation of the non-regulative component of normative systems, the so-called counts-as. The analytic thesis we hold here is to view counts-as statements as statements which yield classifications and which hold only with respect to a context. These two aspects of the semantics of counts-as-the classificatory flavor, and the contextual character-are then investigated by means of modal logic techniques from a semantics-driven perspective, and a formalization of counts-as statements is thus proposed. The result is then compared in detail with previous work on the topic, and related with work which, despite developed in different areas of applied and philosophical logic, shares interesting technical and theoretical similarities with our proposal.