It sounds like multi-value logic. Hegel's logic had true, false, and indeterminate.
Mike On 9/18/14, 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 > RSS Feed: https://www.listbox.com/member/archive/rss/303/11943661-d9279dae > Modify Your Subscription: > https://www.listbox.com/member/?&; > Powered by Listbox: 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
