2006
DOI: 10.1007/11893318_24
|View full text |Cite
|
Sign up to set email alerts
|

A Pragmatic Logic of Scientific Discovery

Abstract: Abstract. To the best of our knowledge, this paper is the first attempt to formalise a pragmatic logic of scientific discovery in a manner such that it can be realised by scientists assisted by machines. Using Institution Agents, we define a dialectic process to manage contradiction. This allows autoepistemic Institution Agents to learn from a supervised teaching process. We present an industrial application in the field of Drug Discovery, applying our system in the prediction of pharmaco-kinetic properties (A… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1

Citation Types

0
3
0

Year Published

2007
2007
2010
2010

Publication Types

Select...
2
2

Relationship

2
2

Authors

Journals

citations
Cited by 4 publications
(3 citation statements)
references
References 9 publications
0
3
0
Order By: Relevance
“…Moreover, modalities can be used to type the products of this learning activity. Sallantin et al (2006) define the set of modalities useful for the researcher and his or her assistant to exchange logical judgments all along the discovery process. This set, which is closed by negation since the negation of one of the modalities does not involve a new modality, is visually represented as a geometrical figure based on Aristotle's square of opposition.…”
Section: Figure 1 Human-machine Interaction Cyclementioning
confidence: 99%
See 1 more Smart Citation
“…Moreover, modalities can be used to type the products of this learning activity. Sallantin et al (2006) define the set of modalities useful for the researcher and his or her assistant to exchange logical judgments all along the discovery process. This set, which is closed by negation since the negation of one of the modalities does not involve a new modality, is visually represented as a geometrical figure based on Aristotle's square of opposition.…”
Section: Figure 1 Human-machine Interaction Cyclementioning
confidence: 99%
“…This paper attempts to synthesize our work in these domains. (Sallantin, Dartnell, & Afshar, 2006) described the minimal logical prerequisite to endow a problem solver with a pragmatic logic of scientific discovery in order to interact efficiently with a scientist. We will informally summarize these requirements in the first section.…”
Section: Introductionmentioning
confidence: 99%
“…The logical framework presented in this paper is designed to take into account the two dynamics of scientific discovery [2] [3]. The first dynamic, which we refer to as the personal dynamic, embraces the supervision of a computer assistant by a scientist.…”
Section: Introductionmentioning
confidence: 99%