| EPSRC Reference: |
EP/D033756/1 |
| Title: |
n-ary Inductive Logic |
| Principal Investigator: |
Paris, Professor J |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Mathematics |
| Organisation: |
University of Manchester, The |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 March 2006 |
Ends: |
28 February 2009 |
Value (£): |
164,356
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Logic & Combinatorics |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Imagine you didn't know anything about chemistry and you went into a lab and started adding a first chemical to a test tube containing a second chemical. Sometimes there's a reaction, sometimes not. Suppose you noticethat if the first chemical is A then there is usually a reaction and similarly if the second chemical is B. In that case you would surely give a higher than evens probability that if you added A to B (an as yet untried experiment) you would get an reaction. This is an example of binary induction. You are giving a qualified prediction that a relation holds between A and B on the basis of some finitely many previous instances of that relation. The question is Why is it rational to draw that conclusion, what factors influence it? Philosophical Logic has widely considered this question, under the title `Inductive Logic', but only for unary relations. Despite the ease with which we commonly seem to draw such conclusions in the higher arity case almost no research has been carried out on these questions in that case. The purpose of this proposal is to continue our current work on addressing that lacuna, to the benefit of the Inductive Logic community and more widely to those intent on capturing and implementing patterns of everyday common sense reasoning on computers.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.man.ac.uk |