Introduction to Inquiry Driven Systems - Revision history

Jon Awbrey: #REDIRECT Directory:Jon Awbrey/Papers/Introduction to Inquiry Driven Systems

2010-10-06T11:56:12Z

#REDIRECT Directory:Jon Awbrey/Papers/Introduction to Inquiry Driven Systems

Show changes

Jon Awbrey at 16:14, 22 May 2007

2007-05-22T16:14:28Z

Jon Awbrey: sub [TeX/HTML]

2007-05-17T23:06:59Z

sub [TeX/HTML]

Jon Awbrey: wiki link

2007-05-17T20:15:39Z

wiki link

Jon Awbrey: wiki link

2007-05-17T18:39:15Z

wiki link

Jon Awbrey: add cats

2007-05-17T16:29:16Z

add cats

Jon Awbrey: add cats

2007-05-17T16:20:54Z

add cats

Jon Awbrey: fix formula display

2007-05-17T16:17:11Z

fix formula display

Jon Awbrey: add cats

2007-05-17T15:35:01Z

add cats

MyWikiBiz: Adding a couple of wikilinks

2007-05-17T15:29:01Z

Adding a couple of wikilinks

@@ Line 1,734: / Line 1,734: @@
 </pre>
-{{aficionados}}
+{{aficionados}}<sharethis />
 [[Category:Artificial Intelligence]]
@@ Line 1,752: / Line 1,752: @@
 [[Category:Semiotics]]
 [[Category:Systems Science]]

@@ Line 1,115: / Line 1,115: @@
 ===Umpire Operators===
-In order to get a handle on the space of higher order propositions and eventually to carry out a functional approach to quantification theory, it serves to construct some specialized tools.  Specifically, I define a higher order operator &Upsilon;, called the "umpire operator", which takes up to three propositions as arguments and returns a single truth value as the result.  Formally, this so-called "multi-grade" property of &Upsilon; can be expressed as a union of function types, in the following manner:
+In order to get a handle on the space of higher order propositions and eventually to carry out a functional approach to quantification theory, it serves to construct some specialized tools.  Specifically, I define a higher order operator &Upsilon;, called the "umpire operator", which takes up to three propositions as arguments and returns a single truth value as the result.  Formally, this so-called "multi-grade" property of <math>\Upsilon\!</math> can be expressed as a union of function types, in the following manner:
-<blockquote>
+: <math>\Upsilon : \cup^{m = 1, 2, 3}((\mathbb{B}^k \to \mathbb{B})^m \to \mathbb{B}).</math>
 In contexts of application the intended sense can be discerned by the number of arguments that actually appear in the argument list.  Often, the first and last arguments appear as indices, the one in the middle being treated as the main argument while the other two arguments serve to modify the sense of the operation in question.  Thus, we have the following forms:

← Older revision		Revision as of 20:15, 17 May 2007
Line 1:		Line 1:
−	The following essay is intended to provide readers with background on the pragmatic theory of [[inquiry]] and its relationship to the pragmatic theory of signs.	+	The following essay is intended to provide readers with background on the pragmatic theory of [[inquiry]] and its relationship to the pragmatic [[theory of signs]].

	==Aspects of Inquiry==		==Aspects of Inquiry==

← Older revision		Revision as of 18:39, 17 May 2007
Line 1:		Line 1:
−	The following essay is intended to provide readers with background on the pragmatic theory of inquiry and its relationship to the pragmatic theory of signs.	+	The following essay is intended to provide readers with background on the pragmatic theory of [[inquiry]] and its relationship to the pragmatic theory of signs.

	==Aspects of Inquiry==		==Aspects of Inquiry==

@@ Line 1,743: / Line 1,743: @@
 [[Category:Cybernetics]]
 [[Category:Education]]
 [[Category:Information Systems]]
 [[Category:Inquiry]]
@@ Line 1,750: / Line 1,751: @@
 [[Category:Logic]]
 [[Category:Philosophy]]
 [[Category:Semiotics]]
 [[Category:Systems Science]]
 <sharethis />

@@ Line 3: / Line 3: @@
 ==Aspects of Inquiry==
-"Inquiry" is a word in common use for a process that resolves doubt and creates knowledge.  Computers are involved in inquiry today, and are likely to become more so as time goes on.  The aim of my research is to improve the service that computers bring to inquiry.  I plan to approach this task by analyzing the nature of inquiry processes, with an eye to those elements that can be given a computational basis.
+"Inquiry" is a word in common use for a process that resolves doubt and creates knowledge.  [[Computer]]s are involved in inquiry today, and are likely to become more so as time goes on.  The aim of my research is to improve the service that computers bring to inquiry.  I plan to approach this task by analyzing the nature of inquiry processes, with an eye to those elements that can be given a computational basis.
-I am interested in the kinds of inquiries which human beings carry on in all the varieties of learning and reasoning from everyday life to scientific practice.  I would like to design software that people could use to carry their inquiries further, higher, faster.  Needless to say, this could be an important component of all intelligent software systems in the future.  In any application where a knowledge base is maintained, it will become more and more important to examine the processes that deliver the putative knowledge.
+I am interested in the kinds of inquiries which human beings carry on in all the varieties of learning and reasoning from everyday life to scientific practice.  I would like to design [[computer software|software]] that people could use to carry their inquiries further, higher, faster.  Needless to say, this could be an important component of all intelligent software systems in the future.  In any application where a knowledge base is maintained, it will become more and more important to examine the processes that deliver the putative knowledge.
 ===Preliminary Questions===