Differences

This shows you the differences between two versions of the page.

--- public:t-622-arti-11-1:lab_6_materials [2011/03/02 18:35] – angelo
+++ public:t-622-arti-11-1:lab_6_materials [2024/04/29 13:33] (current) – external edit 127.0.0.1
@@ Line 8: / Line 8: @@
   * You can download [[http://www.isi.edu/cgi-bin/LOOM/download-powerloom.cgi?ID=powerloom-3.2.0.zip|here]] the stable version;
   * PowerLoom documentation in [[http://www.isi.edu/isd/LOOM/PowerLoom/documentation/manual/manual.pdf|PDF]] or [[http://www.isi.edu/isd/LOOM/PowerLoom/documentation/manual/manual.html|HTML]] version.
+  * Some **helpful** commands: <code>
+(all-facts-of X) ;; prints out all known facts about X
+(help assert)    ;; prints out help text about “assert”
+(demo)           ;; leads you through various PowerLoom demonstrations
+</code>
 ==== Doing Knowledge Representation and Reasoning with PowerLoom ====
@@ Line 16: / Line 21: @@
 (reset-features)
 (in-dialect KIF)
-</code> Save your module to disk (show up in your powerloom folder or the "kbs" subfolder), and loading it back later:\\ <code>
+</code> **Save** your module to disk (show up in your powerloom folder or the "kbs" subfolder), and **loading** it back later:\\ <code>
 (save-module "FAMILY" "FAMILY.PLM")
@@ Line 23: / Line 28: @@
 </code>
   - **Defining a basic type/class predicate (a unary relation) called a "concept":**\\ <code>
-(defconcept Person(?p))         ;; Defining a Person
+(defconcept Person(?p))          ;; Defining a Person
-(defconcept Male (?p Person))   ;; A Male is a (subset of) Person
+(defconcept Male (?p Person))    ;; A Male is a Person
-(defconcept Female (?p Person)) ;; A Female is a (subset of) Person
+(defconcept Female (?p Person))  ;; A Female is a Person
 </code>
   - **Basic TELLing and ASKing:**\\ <code>
@@ Line 55: / Line 60: @@
 (retrieve all (BrotherOf ?x Mary))    ;; Retrieve all Brothers of Mary
 </code> Create a new predicate called **ParentOf**.
-  - **Defining a regular function and using it:**\\ <code>
+  - **Defining a regular function and using it:**\\ If a (binary) relation always maps its first argument to exactly one value (i.e., if it it “single-valued”) we can specify it as a function instead of a relation. <code>
-(deffunction GetFather ((?p1 Person)) :-> (?p2 Male))   ;; The first value is the
+(deffunction GetFather ((?p1 Person)) :-> (?p2 Male))   ;; The second value (after the symbol ":->") is the output variable of the function
+</code>We can refer to a function in a sentence in this way: <code>
 (assert (= (GetFather Mary) Zod))
-</code> A new axiom that uses a function and equivalence
+</code> A new **axiom** that uses a function and equivalence <code>
-  - **Defining a basic type/class predicate (a unary relation) called a "concept":**\\ <code>
+(assert (<=> (= (GetFather ?c) ?f) (and (Male ?f) (ParentOf ?f ?c))))
-</code>
+</code> Ask the following:
+     * Is Zod Male?
+     * Is Zod Mary's parent?
+  - **Defining more family Relations:**\\ Now you are on your own...add more **family relations** like:
+    * SisterOf;
+    * AreSiblings;
+    * SonOf, DaughterOf, ChildOf;
+    * GrandmotherOf and GrandfatherOf;
+    * UncleOf, AuntOf;
+    * ... \\ and try **answering** questions like:
+    * Is X a sibling of Y?
+    * Who are X's grandmothers?
+    * Who are X's uncles?
+    * Does X's mother's mother have a male child?
+    * ...