Difference: HyClt310s2008 (1 vs. 8)

Revision 82008-11-18 - AnssiYliJyra

Line: 1 to 1
 
META TOPICPARENT name="CoursesUsingKitWiki"

CTL310: Contextual Formalisms and Related Logics for Finite-State Based Natural Language Processing (Autumn 2008)

Line: 12 to 12
 

Kurssin sivut

Added:
>
>
  If you need to enter a new page, you are requested to use the box below. Using the box sets up some useful technical details including the access rights. You must select a Wiki word for the new OpenAutomata page (see WikiWord). The Wiki word must start with OpenAutomata and be followed by a capital letter, see examples above. After entering the name of the page, you must click the Create button to the right of the box in order to create the new page and start editing it.

Revision 72008-10-31 - AnssiYliJyra

Line: 1 to 1
 
META TOPICPARENT name="CoursesUsingKitWiki"

CTL310: Contextual Formalisms and Related Logics for Finite-State Based Natural Language Processing (Autumn 2008)

Line: 16 to 16
 If you need to enter a new page, you are requested to use the box below. Using the box sets up some useful technical details including the access rights. You must select a Wiki word for the new OpenAutomata page (see WikiWord). The Wiki word must start with OpenAutomata and be followed by a capital letter, see examples above. After entering the name of the page, you must click the Create button to the right of the box in order to create the new page and start editing it.
Changed:
<
<
>
>
 

Revision 62008-10-31 - AnssiYliJyra

Line: 1 to 1
 
META TOPICPARENT name="CoursesUsingKitWiki"

CTL310: Contextual Formalisms and Related Logics for Finite-State Based Natural Language Processing (Autumn 2008)

Tunniste 40476, Muu kieliteknologinen osio
Deleted:
<
<
Nimi Contextual Formalisms and Related Logics for Automata Based Natural Language Processing
Lyhenne (CTL310)
 
Laajuus 2 op / 1 ov (huom. muutos! WebOodissa alusta pitäen oikein)
Tyyppi Syventävät tai jatko-opinnot
Oppiaine Kieliteknologia
Changed:
<
<
Laji Opintojakso
Arvostelu Yleinen asteikko
Vastuuyksikkö Kieliteknologia
>
>
Juurisivu http://www.ling.helsinki.fi/kit/2008s/clt310/
 
Aika 2. syysperiodi 2008, pe 12-14, paitsi 7.11. ja 14.11. joille etsitään korvaavat tapaamisajat.
Changed:
<
<
Kohderyhmä: The course is targeted for students who are interested in the intersection of formal language theory and natural language processing, or advanced issues in finite-state methodology.
>
>

Kurssin sivut

 
Deleted:
<
<
Ajoitus: The course is intended for advanced / graduate level studies but a student with a sufficient background in formal methods can take the course earlier.

Edeltävät opinnot: The student has to have some familiarity with formal grammars, finite-state automata or transducers, predicate logic and stringology. The student has to have an ability to write regular expressions and simple algorithms using formal languages.

Tavoite: The intended learning outcome (ILO) of this course is that the student is able to synthesize regular expressions and predicate logic and use their combination critically when addressing various problems in automata based natural language processing.

Sisältö: The course is based on the teacher's recent research on non-classical regular operations and their applications in computational linguistics and computer science. We proceed as follows:

  1. Regular expressions, finite automata and monadic second order logic
  2. First-order logic and star-free regular expressions, predicate logic with substring variables
  3. Implications, rules and generalized restriction (GR)
  4. Closure properties and complexities of GR
  5. Contextual rules and other applications of GR
  6. Language generation with the framework
  7. Bracketed GR-based rules and grammar systems

We will jump from regular expressions and first-order variables for string positions to the Generalized Restriction (GR) framework (Yli-Jyrä 2007) that lends itself for compiling various rules and grammars into transducers. The structure of the framework will be presented both through regular expressions with logic-based extensions and first-order predicate logics with regular-expression based extensions. In connection to the framework, its main applications, open research problems and probable further extensions are discussed during the course.

The GR framework is useful in capturing the semantics of many formalisms previously used in finite-state processing and in presenting new, more general formalisms that involve complex and discontinuous contexts. The framework is computationally attractive alternative for defining * phonological and morphological grammars * context-free and non-context-free parsing * machine learning and language generation.

Oppimateriaali ja kirjallisuus:

  • A selection of articles on the connection between logic and regular expressions, as well as on approaches to contextual rules and formalisms.
  • Yli-Jyrä, A. (2007). Applications of Diamonded Double Negation. In post-proceedings of FSMNLP 2007.

Opetustavat: The teacher will give interactive lectures on fundamental and tricky areas. The students will study the material and present at least two times quick summaries, applications and reflections on some selected reading. The students participate into critical discussions during the course.

Suoritustavat: The student will write a reflective essay on an application of generalized restriction and present it after a week during the course. Each student will listen critically and comment on one of some other student's presentations that as been designated earlier.

Arviointi: 0-5. The assessment is based on the intended learning outcomes.

Vastuuhenkilö: Anssi Yli-Jyrä

Tämän kurssin sivut

 
Changed:
<
<

Uuden sivun tekeminen

<--

List of topics within Clt999s 2008

* piinallista kyllä alla oleva ei ehkä etsi oikeista webeistä * -->

To add a new page (or topic) to Clt999s 2008, please use the box below. Using the box will automatically set up some useful bookkeeping details, including the topic's access rights. You must select a Wiki word for the new Clt999s 2008 topic (see WikiWord)). The Wiki word should begin with HyClt310s2008 and be followed by a capital letter. After entering the name of the topic, please click Create new topic button to the right of the box to create the new page and start editing it:

Harjoitustöiden aiheita

Linkkejä

>
>
If you need to enter a new page, you are requested to use the box below. Using the box sets up some useful technical details including the access rights. You must select a Wiki word for the new OpenAutomata page (see WikiWord). The Wiki word must start with OpenAutomata and be followed by a capital letter, see examples above. After entering the name of the page, you must click the Create button to the right of the box in order to create the new page and start editing it.
 

Kysymyksiä ja vastauksia, jotka koskevat kurssia

 
<--/commentPlugin-->
Added:
>
>
 
Deleted:
<
<
 -- AnssiYliJyra - 08 Oct 2008

META TOPICMOVED by="AnssiYliJyra" date="1225408842" from="KitWiki.HyCltXXXs2008" to="KitWiki.HyClt310s2008"

Revision 52008-10-30 - AnssiYliJyra

Line: 1 to 1
 
META TOPICPARENT name="CoursesUsingKitWiki"

CTL310: Contextual Formalisms and Related Logics for Finite-State Based Natural Language Processing (Autumn 2008)

Changed:
<
<
Tunniste NNNNNN
>
>
Tunniste 40476, Muu kieliteknologinen osio
 
Nimi Contextual Formalisms and Related Logics for Automata Based Natural Language Processing
Lyhenne (CTL310)
Changed:
<
<
Laajuus 3 op / 1.5 ov
>
>
Laajuus 2 op / 1 ov (huom. muutos! WebOodissa alusta pitäen oikein)
 
Tyyppi Syventävät tai jatko-opinnot
Oppiaine Kieliteknologia
Laji Opintojakso
Line: 50 to 50
 Vastuuhenkilö: Anssi Yli-Jyrä

Tämän kurssin sivut

Changed:
<
<
>
>
 

Uuden sivun tekeminen

Changed:
<
<
<--

List of topics within Clt999s 2008

* piinallista kyllä alla oleva ei ehkä etsi oikeista webeistä * -->

To add a new page (or topic) to Clt999s 2008, please use the box below. Using the box will automatically set up some useful bookkeeping details, including the topic's access rights. You must select a Wiki word for the new Clt999s 2008 topic (see WikiWord)). The Wiki word should begin with HyCltXXXs2008 and be followed by a capital letter. After entering the name of the topic, please click Create new topic button to the right of the box to create the new page and start editing it:

>
>
<--

List of topics within Clt999s 2008

* piinallista kyllä alla oleva ei ehkä etsi oikeista webeistä * -->

To add a new page (or topic) to Clt999s 2008, please use the box below. Using the box will automatically set up some useful bookkeeping details, including the topic's access rights. You must select a Wiki word for the new Clt999s 2008 topic (see WikiWord)). The Wiki word should begin with HyClt310s2008 and be followed by a capital letter. After entering the name of the topic, please click Create new topic button to the right of the box to create the new page and start editing it:

 

Harjoitustöiden aiheita

Line: 66 to 66
 
Tämän sivun suojaus, (älä muuta):
Changed:
<
<
>
>
 

-- AnssiYliJyra - 08 Oct 2008 \ No newline at end of file

Added:
>
>
META TOPICMOVED by="AnssiYliJyra" date="1225408842" from="KitWiki.HyCltXXXs2008" to="KitWiki.HyClt310s2008"

Revision 42008-10-28 - AnssiYliJyra

Line: 1 to 1
 
META TOPICPARENT name="CoursesUsingKitWiki"
Changed:
<
<

CTLxxx: Contextual Formalisms and Related Logics for Finite-State Based Natural Language Processing (Autumn 2008)

>
>

CTL310: Contextual Formalisms and Related Logics for Finite-State Based Natural Language Processing (Autumn 2008)

 
Tunniste NNNNNN
Nimi Contextual Formalisms and Related Logics for Automata Based Natural Language Processing
Changed:
<
<
Lyhenne (CTLXXX)
>
>
Lyhenne (CTL310)
 
Laajuus 3 op / 1.5 ov
Tyyppi Syventävät tai jatko-opinnot
Oppiaine Kieliteknologia

Revision 32008-10-15 - HennaRiikkaLaitinen

Line: 1 to 1
 
META TOPICPARENT name="CoursesUsingKitWiki"

CTLxxx: Contextual Formalisms and Related Logics for Finite-State Based Natural Language Processing (Autumn 2008)

Line: 59 to 59
 

Linkkejä

Changed:
<
<
>
>
 

Kysymyksiä ja vastauksia, jotka koskevat kurssia

 
<--/commentPlugin-->

Revision 22008-10-08 - AnssiYliJyra

Changed:
<
<
Revision 1 is unreadable
>
>
META TOPICPARENT name="CoursesUsingKitWiki"

CTLxxx: Contextual Formalisms and Related Logics for Finite-State Based Natural Language Processing (Autumn 2008)

Tunniste NNNNNN
Nimi Contextual Formalisms and Related Logics for Automata Based Natural Language Processing
Lyhenne (CTLXXX)
Laajuus 3 op / 1.5 ov
Tyyppi Syventävät tai jatko-opinnot
Oppiaine Kieliteknologia
Laji Opintojakso
Arvostelu Yleinen asteikko
Vastuuyksikkö Kieliteknologia
Aika 2. syysperiodi 2008, pe 12-14, paitsi 7.11. ja 14.11. joille etsitään korvaavat tapaamisajat.

Kohderyhmä: The course is targeted for students who are interested in the intersection of formal language theory and natural language processing, or advanced issues in finite-state methodology.

Ajoitus: The course is intended for advanced / graduate level studies but a student with a sufficient background in formal methods can take the course earlier.

Edeltävät opinnot: The student has to have some familiarity with formal grammars, finite-state automata or transducers, predicate logic and stringology. The student has to have an ability to write regular expressions and simple algorithms using formal languages.

Tavoite: The intended learning outcome (ILO) of this course is that the student is able to synthesize regular expressions and predicate logic and use their combination critically when addressing various problems in automata based natural language processing.

Sisältö: The course is based on the teacher's recent research on non-classical regular operations and their applications in computational linguistics and computer science. We proceed as follows:

  1. Regular expressions, finite automata and monadic second order logic
  2. First-order logic and star-free regular expressions, predicate logic with substring variables
  3. Implications, rules and generalized restriction (GR)
  4. Closure properties and complexities of GR
  5. Contextual rules and other applications of GR
  6. Language generation with the framework
  7. Bracketed GR-based rules and grammar systems

We will jump from regular expressions and first-order variables for string positions to the Generalized Restriction (GR) framework (Yli-Jyrä 2007) that lends itself for compiling various rules and grammars into transducers. The structure of the framework will be presented both through regular expressions with logic-based extensions and first-order predicate logics with regular-expression based extensions. In connection to the framework, its main applications, open research problems and probable further extensions are discussed during the course.

The GR framework is useful in capturing the semantics of many formalisms previously used in finite-state processing and in presenting new, more general formalisms that involve complex and discontinuous contexts. The framework is computationally attractive alternative for defining * phonological and morphological grammars * context-free and non-context-free parsing * machine learning and language generation.

Oppimateriaali ja kirjallisuus:

  • A selection of articles on the connection between logic and regular expressions, as well as on approaches to contextual rules and formalisms.
  • Yli-Jyrä, A. (2007). Applications of Diamonded Double Negation. In post-proceedings of FSMNLP 2007.

Opetustavat: The teacher will give interactive lectures on fundamental and tricky areas. The students will study the material and present at least two times quick summaries, applications and reflections on some selected reading. The students participate into critical discussions during the course.

Suoritustavat: The student will write a reflective essay on an application of generalized restriction and present it after a week during the course. Each student will listen critically and comment on one of some other student's presentations that as been designated earlier.

Arviointi: 0-5. The assessment is based on the intended learning outcomes.

Vastuuhenkilö: Anssi Yli-Jyrä

Tämän kurssin sivut

Uuden sivun tekeminen

<--

List of topics within Clt999s 2008

* piinallista kyllä alla oleva ei ehkä etsi oikeista webeistä * -->

To add a new page (or topic) to Clt999s 2008, please use the box below. Using the box will automatically set up some useful bookkeeping details, including the topic's access rights. You must select a Wiki word for the new Clt999s 2008 topic (see WikiWord)). The Wiki word should begin with HyCltXXXs2008 and be followed by a capital letter. After entering the name of the topic, please click Create new topic button to the right of the box to create the new page and start editing it:

Harjoitustöiden aiheita

Linkkejä

Kysymyksiä ja vastauksia, jotka koskevat kurssia

 
<--/commentPlugin-->


Tämän sivun suojaus, (älä muuta):

-- AnssiYliJyra - 08 Oct 2008

Revision 12008-10-08 - AnssiYliJyra

Changed:
<
<
Revision 1 is unreadable
>
>
Revision 1 is unreadable
 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2019 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback