David Münch

Menu
  • Home
  • Internal
    • F-Limette User Manual [de]
    • F-Limette User Manual [en]
    • Step-by-step setup for the SGT working environment
    • Summary of articles on situation recognition

F-Limette User Manual [en]

F-Limette User Manual

F-Limette[(flimette>F-Limette: Homepage of F-Limette)] is basically an extension of Prolog that adds a temporal aspect as well as Fuzziness[(prolog>http://en.wikipedia.org/wiki/Prolog: Introduction to Prolog from Wikipedia)]. The former allows for the assignment of predicates not only with values ​​{0,1}, but also with real numbers in [0,1]. Thus, concepts such as “little” or “moderate” can be implemented.

Syntax

  • and: »,«
  • or: »;«
  • Command Line end: ».«
  • Implication: »:-« (←), »-:« (→)

> Another F-limette-manual can be found here :[(flimetteman>F-Limette Manual: F-Limette Documentation(pdf) )] .

Examples

# Tips/Tricks

# Issue all output without Interaction
set(stop, +i).
# Always issue one more output
set(stop, 1).
# Output the next result
;
# Define statements(assertions). The following statement can be interpreted as follows: 
#    assert that at time 0 :has_status(seby, 32)
asserta(0 ! has_status(seby, 32)).
# similarly: at time 0 : has_status(andy, 33)
asserta(0 ! has_status(andy, 33)).
asserta(0 ! has_status(davy, 13)).
# With different time points
asserta(1 ! has_status(andy, 34)).
asserta(2 ! has_status(andy, 35)).
asserta(3 ! has_status(andy, +i)).
# Introduce Fuzziness. If not specified, it defaults to 1.
asserta(0.5 | 1 ! has_status(davy, 14)).
asserta(0.6 | 1 ! has_status(davy, 13)).
asserta(0.9 | 2 ! has_status(davy, 14)).
asserta(0.1 | 2 ! has_status(davy, 13)).

# Query limette as follows: "with what Fuzziness" | at what timepoint ? which statement statement. 
# Here: Fuzziness: eps (ε, also works)| timepoint 0 ? Who is 33?
eps | 0 ? has_status(_,33).
# Expected Answer: andy

# Return all those with age > 14 at time point 0
eps | 0 ? has_status(Name,Age), Age > 14.

# Find the time point at which there is one with age 35. 
eps | event findall[L] Name -: has_status(Name,35).

# Other Examples
eps | event findall[L] Name -: has_status(Name,13).
0.5 | event findall[L] Name -: has_status(Name,13).

Example 2

The following examples are from the book [ [(ref:Schaefer1997)]

Page 153ff:

/* "When is it absolutely true that any car is packed at any location?" */
?- event parken_an_ort(Pkw,Ort).

F-LIMETTE in Linux

Under Linux,the C++ Source code is available from the Homepage [(ref:Schaefer1997)]. Compile with gcc-4.4 after making the following changes:

limette/Makefile
- 	cd $(RLHOME) && configure
+	cd $(RLHOME) && ./configure

limette/scanner.l
+ %option noyywrap

limString.cc
- #include <strstream.h>
+ #include <strstream>
+ using namespace std;

limString.hh
- #include <stream.h>
+ #include <iostream>
+ using namespace std;

cppmod.cc
- #include <stream.h>
+ #include <iostream>
+ using namespace std;

limTerm.hh
- #include <stream.h>
+ #include <iostream>
+ using namespace std;
+ class limSubst;

limCommand.hh
- #include <strstream.h>
+ #include <strstream>
+ using namespace std;

Examples 3 3:Getting Started with F-LIMETTE

Starting and Closing:

user@computer:Limette/limette > ll limette2
-rwxrwxr-x 1 user user 1674968 2011-06-29 19:03 limette2
user@computer:Limette/limette > ./limette2
<0> :-) author.
	Karl H. Schaefer
<0> :-) version.
	LIMETTE-2 Jun 29 2011 19:03:48
<0> :-) quit.
:-| good bye.
user@computer:Limette/limette >

Facts and Queries A knowledge base (KB) is a collection of facts. In F-Limette they always look like this: always(bird(chicken)). always(animal(lion)). always(animal(zebra)).

Where always() stands for time from minus infinity to plus infinity, and is just an alias for: -i : +i !

Requests are entered directly into F-Limette, e.g.: bird(chicken).

Note: :- bird(chicken) corresponds to yes even if after entering ”;” even if it follows a no (*the rest of the text s unineteligible for me*)

<0> :-) assertz(always(animal(lion))).
<0> :-) assertz(always(animal(zebra))).
<0> :-) asserta(always(bird(chicken))).
<0> :-) list.
       1: -i : +i ! bird(chicken).
       2: -i : +i ! animal(lion).
       3: -i : +i ! animal(zebra).
<1> :-) animal(Var).
:- animal(lion);
:- animal(zebra);
no
<2> :-) bird(chicken).
:- bird(chicken);
no
<3> :-) bird(car).
no
<3> :-) history.
    <0> animal(Var) [STOPPED]
    <1> bird(chicken) [STOPPED]
    <2> bird(car) [STOPPED]
<3> :-)

Rules All birds are animals. And that is of course true round the clock ;-) That is bird(X) follows from animal(X):

always(animal(X) :- bird(X)).

It is not necessary to always type this. It can be loaded in a File.

user@computer:Limette/limette > more ../Daten/limette_files/test_file.lim 
always(bird(chicken)).
always(animal(lion)).
always(animal(zebra)).
always(animal(X) :- bird(X)).

The directory specified with cd must be a constant, i.e. start with a lower case character. Be sure to pass the appropriate characters in-between ‘ ‘ e.g. ‘..’, ‘Data’, limette_files or ‘limette_files’

If you add the file name without the .lim extension, the contents of the file are appended to the current module.

user@computer:Limette/limette > ./limette2
<0> :-) pwd.
	/home/user/Programme/Limette/limette
<0> :-) cd('..').
<0> :-) cd('Daten').
<0> :-) cd(limette_files).
<0> :-) add('test_file').
<0> :-) list.
       1: -i : +i ! bird(chicken).
       2: -i : +i ! animal(lion).
       3: -i : +i ! animal(zebra).
       4: -i : +i ! (animal(_0) :- bird(_0)).
<0> :-) animal(chicken).
:- animal(chicken);
no
<1> :-) modules.
	test_file
<1> :-) where.
	test_file

A few other Parameters can be set. We now want the debug-mode:

The one can gradually “creep” by going through the evaluations or leave the trace to display all the steps at once.

<2> :-) get.
	alpha    = [ 1, 1, 1, 1, 0 ]
	answer   = formula
	cycles   = off
	debug    = off
	defcheck = on
	gates    = delay
	limits   = +i
	narrow   = off
	print    = normal
	queue    = depth
	stop     = 1
	store    = proof
	trace    = off
	memo     = off
<2> :-) set(debug,on).
<2> :-) get(debug).
	debug    = on
<2> :-) animal(chicken).
(   8)    1 Call: animal(chicken) : ?
:-( debugger command must be one of abort, creep, fail, leap, skip, trace.
(   8)    1 Call: animal(chicken) : trace
(  10)    2 Call: bird(chicken)
(  10)    2 Exit: bird(chicken)
(   8)    1 Exit: animal(chicken)
:- animal(chicken);
no
<3> :-) animal(chicken).
(  13)    1 Call: animal(chicken) : creep
(  15)    2 Call: bird(chicken) : creep
(  15)    2 Exit: bird(chicken)
(  13)    1 Exit: animal(chicken)
:- animal(chicken);
no

Changes can be saved: File name should not contain illegal characters ‘test_file.lim’.

<4> :-) asserta(always(bird(eagle))).
<4> :-) animal(X).
:- animal(lion);
:- animal(zebra);
:- animal(eagle);
:- animal(chicken);
no
<5> :-) where.
	test_file
<5> :-) list(test_file).
       1: -i : +i ! bird(eagle).
       2: -i : +i ! bird(chicken).
       3: -i : +i ! animal(lion).
       4: -i : +i ! animal(zebra).
       5: -i : +i ! (animal(_0) :- bird(_0)).
<5> :-) save(test_file,'test_file.lim').
<5> :-) quit.
:-| good bye.
user@computer:Limette/limette > more ../Daten/limette_files/test_file.lim 
-i : +i ! bird(eagle).
-i : +i ! bird(chicken).
-i : +i ! animal(lion).
-i : +i ! animal(zebra).
-i : +i ! (animal(_0) :- bird(_0)).

References

<refnotes> notes-separator : none </refnotes>

This manual was translated from the German Versionhttp://davidmuench.de/wiki/doku.php?id=internal:f-limette-de: F-Limette Manual by Sebastian Bauer)]

87 thoughts on “F-Limette User Manual [en]”

  1. Pingback: cialis generic
  2. Pingback: Order Viagra Online
  3. Pingback: chloroquine antiviral
  4. Pingback: tylenol stock price
  5. Pingback: ed pills online
  6. Pingback: viagra for sale
  7. Pingback: cialis vs viagra
  8. Pingback: medicine for impotence
  9. Pingback: cheapest ed pills online
  10. Pingback: cialis generic
  11. Pingback: tadalafil
  12. Pingback: canada online pharmacy
  13. Pingback: side effects of viagra
  14. Pingback: rx pharmacy
  15. Pingback: Viagra or cialis
  16. Pingback: vardenafil online pharmacy
  17. Pingback: vardenafil 20 mg
  18. Pingback: online levitra
  19. Pingback: online casino real money paypal
  20. Pingback: sildenafil citrate 20 mg
  21. Pingback: red dog casino
  22. Pingback: free slots online
  23. Pingback: online casinos
  24. Pingback: cialis without a doctor prescription
  25. Pingback: quick cash loans
  26. Pingback: cash loan
  27. Pingback: careprost ophthalmic solution
  28. Pingback: quick cash loans
  29. Pingback: viagra pills
  30. Pingback: 20 cialis
  31. Pingback: cialis 5 mg
  32. Pingback: cialis buy
  33. Pingback: order viagra online
  34. Pingback: cialis generic
  35. Pingback: online casino gambling
  36. Pingback: chumba casino
  37. Pingback: casino gambling
  38. Pingback: viagra pills
  39. Pingback: viagra online canada
  40. Pingback: viagra alternative
  41. Pingback: tadalafil tablets
  42. Pingback: real casino online
  43. Pingback: real money casino games
  44. Pingback: keflex.webbfenix.com
  45. Pingback: au cialis
  46. Pingback: 5mg cialis
  47. Pingback: au cialis
  48. Pingback: US viagra sales
  49. Pingback: buy levitra online australia
  50. Pingback: buy levitra online
  51. Pingback: cialis lust
  52. Pingback: sildenafil drug interactions
  53. Pingback: cialis frequency of use
  54. Pingback: Buy cheap viagra
  55. Pingback: generic everyday cialis
  56. Pingback: essay writing service
  57. Pingback: ordering cialis generic online
  58. Pingback: how does cialis work
  59. Pingback: buy tadalafil
  60. Pingback: cialis mail order australia
  61. Pingback: viagra online
  62. Pingback: how long does it take viagra to work
  63. Pingback: viagra doses
  64. Pingback: viagra over the counter walmart
  65. Pingback: how long for viagra to work
  66. Pingback: how long does albuterol last
  67. Pingback: canadian online pharmacy
  68. Pingback: Adalat
  69. Pingback: viagra generic
  70. Pingback: viagra
  71. Pingback: information on cialis
  72. Pingback: drugs without a doctor's prescription india
  73. Pingback: dosing hydroxychloroquine for covid
  74. Pingback: cvs cenforce cost
  75. Pingback: is 40 mg prednisone high
  76. Pingback: how much is prescription cialis
  77. Pingback: is cialis or viagra better
  78. Pingback: viagra viasaleus
  79. Pingback: chloroquine and coronavirus france
  80. Pingback: medical uses for cefixime
  81. Pingback: peptides vidalista reviews
  82. Pingback: typical cialis prescription strength
  83. Pingback: 75 mg cialis sublingual dosage
  84. Pingback: cialis soft tablet
  85. Pingback: get cialis overnight
  86. Pingback: cialis 10mg
  87. Pingback: monthly cost of cialis without insurance

Leave a Reply Cancel reply

You must be logged in to post a comment.

Recent Posts

  • Reclaimed oak table
  • Pure bedside table
  • Blocks
  • Coffee Table
  • Pure bed

Recent Comments

  • prochlorperazine without a prescription on Step-by-step setup for the SGT working environment
  • monthly cost of cialis without insurance on F-Limette User Manual [en]
  • american college of rheumatology plaquenil on Summary of articles on situation recognition
  • viagra cialis trail pack on Internal
  • cialis without presciption in usa on Internal

Archives

  • October 2014
  • September 2014
  • August 2014
  • June 2014
  • May 2014
  • January 2014
  • November 2013
  • January 2013
  • December 2012

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org

David Münch

Copyright 2021


I am one theme by SKTThemes.