Closed World assumptions...........help! 
Author Message
 Closed World assumptions...........help!

Good Day Folks,

trying to grasp the NOT (negation-as-failure) predicate.

any help greatly appreciated.

Consider the following:

The situation of a hotel is described below.
1.) Hotel is full if there are no vacant rooms.
2.) Room 13 is vacant.
3.) Room 113 is vacant.

I am tryin to translate the sentences using negation as failure.
1.)
2.)vacant(room13).
3.)vacant(room113).

not really sure what i am doin here...could somebody explain negation as
failure and Closed world assumptions.

tia

Barry



Mon, 27 Jun 2005 02:59:12 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. closed-world assumption

2. Win32 register assumptions and preservation (Was: Help asm-delphi)

3. Reasoning outside the "closed world"

4. Beginner's question - closed world assumtion ...

5. 5.3b DBFCDX RDD Setup & Assumptions

6. ANSI and Hidden Assumptions

7. Rexx and assumptions about data

8. Design Assumptions (was Substitute for Standard Numeric types)

9. GCC options to mimic Fortran assumptions?

10. Character Kind, 1 byte assumption

11. predicate Ref to self (*not* OO) ? (linear assumptions)

12. Assumption Grammars

 

 
Powered by phpBB® Forum Software