Re: Definition of AI.
- From: "Vend" <vend82@xxxxxxxxxxx>
- Date: 25 Jan 2007 15:32:11 -0800
On 25 Gen, 11:56, Alan Smaill <sma...@xxxxxxxxxxxxxxxx> wrote:
"Nam D. Nguyen" <namducngu...@xxxxxxx> writes:
I think we could entertain a definition of AI (Artificial Intelligence),
by way of 1st Order formalization. A formal system T is said to be about
AI (or an AI system) iff:
1) T is consistent.
2) There exists a formula F1 which is a theorem in T.
3.a) There exists a formula F2 which is undecidable in T.
3.b) F2 is syntactically a part of F1.take the propositional theory
p v q.
It is consistent, has theorem p v q, p is undecidable, and
syntactically part of p v q.
Then you can take any formal system which has at least a theorem and an
undecidable proposition and combine them in a disjunction.
Why is this about AI?
--
Alan Smaill
.
- Prev by Date: Re: What does it mean for a machine to understand something?
- Next by Date: Re: What does it mean for a machine to understand something?
- Previous by thread: Re: Definition of AI.
- Next by thread: Re: Definition of AI.
- Index(es):
