This paper presents a missing link between Plotkin’s least general generalization formalism and generalization on the Order Sorted Feature (OSF) foundation. A feature term (or ψ-term) is an extended logic term based on ordered sorts and is a normal form of an OSF-term. An axiomatic definition of ψ-term generalization is given as a set of OSF clause generalization rules and the least generality ...

In Possibilistic Decision Theory (PDT), decisions are ranked by a pessimistic or by an optimistic qualitative criteria. The preference relations induced by these criteria have been axiomatized by corresponding sets of rationality postulates, both à la Von Neumann and Morgenstern and à la Savage. In this paper we first address a particular issue regarding the axiomatic systems of PDT à la Von Ne...

This is the second article in a series relating to the development of axiomatic theories of intentional systems. This article presents a critique of methodologies for scientific discovery, and provides an alternative by which comprehensive, consistent, and complete theories in the social sciences can be developed. Further, it is argued that only axiomatic theories provide the means by which rel...