On criteria for formal theory building: applying logic and automated reasoning tools to the social sciences

Authors:
Jaap Kamps
Affiliations:
-
Venue:
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Year:
1999

Citing 2
Cited 2

Automated reasoning: 33 BASIC research problems

Automated reasoning: 33 BASIC research problems
Theorem proving with definitions

Proceedings of the Seventh Conference (AISB89) on Artificial Intelligence and Simulation of Behaviour

Formalising bio-spatial knowledge

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
The Logic of Organizational Markets: Thinking Through Resource Partitioning Theory

Computational & Mathematical Organization Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper provides practical operationalizations of criteria for evaluating scientific theories, such as the consistency and falsifiability of theories and the soundness of inferences, that take into account definitions. The precise formulation of these criteria is tailored to the use of automated theorem provers and automated model generators--generic tools from the field of automated reasoning. The use of these criteria is illustrated by applying them to a first order logic representation of a classic organization theory, Thompson's Organizations in Action.