A variable can refer to a real object, a abstract entity, an object of the imagination or any other kind of product. A variable can refer to any kind of referential object, including other variables. When we define variables we usually think of them (we must think of them?) as being able to take a range of values. Those values are usually known, but they don't have to be. An object (of thought or of some other kind of knowledge base) may be undefined or partially defined or as completely defined. And a referential object may be composed of many variables and constants.
Of course there is an issue with mutually contradictory references but that can also be defined as a 'state' or a value of another referential variable. Jim Bromer On Thu, Sep 18, 2014 at 2:10 PM, Piaget Modeler via AGI <[email protected]> wrote: > How have knowledge representations dealt with the absence of a > proposition? > > Suppose there is a knowledge base KB containing a proposition > > P > > We can represent P being false as > > (not P) > > But how do you represesent the fact that neither P nor (not P) are in the > KB? > > Kindly advise. > > ~PM > *AGI* | Archives <https://www.listbox.com/member/archive/303/=now> > <https://www.listbox.com/member/archive/rss/303/24379807-653794b5> | > Modify > <https://www.listbox.com/member/?&;> > Your Subscription <http://www.listbox.com> > ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
