D.A. Fisher (USA)
property based types, informal reasoning, ontology, semantics, problem solving
This paper explores the design of an automated system for informal human reasoning. It proposes an ontological representation derived from property based types. It argues that abstract types, intentional reference, formal logic methods, linguistic semantics, and emergent computation are important aspects of informal reasoning and that the proposed representation is adequate for these purposes. It shows that the inference rule of traditional logics have analogies in a property based type context. The ontology and rules of inference alone, however, are still inadequate for informal reasoning. Additional operations, observed in informal human reasoning, are also needed. Hopefully, these operations in combination with the proposed representation will provide a platform for automated systems that reason and process information in ways analogous to those of humans.
Important Links:
Go Back
