Laarni Lozada and Automated reasoning: Difference between pages

Content deleted Content added

Inline

Revision as of 10:48, 12 October 2008

Automated reasoning is an area of computer science dedicated to understanding different aspects of reasoning in a way that allows the creation of software which allows computers to reason completely or nearly completely automatically. As such, it is usually considered a subfield of artificial intelligence, but it also has strong connections to theoretical computer science and even philosophy.

The most developed subareas of automated reasoning probably are automated theorem proving (and the less automated but more pragmatic subfield of interactive theorem proving) and automated proof checking (viewed as guaranteed correct reasoning under fixed assumptions), but extensive work has also been done in reasoning by analogy, induction and abduction. Other important topics are reasoning under uncertainty and non-monotonic reasoning. An important part of the uncertainty field is that of argumentation, where further constraints of minimality and consistency are applied on top of the more standard automated deduction. John Pollock's Oscar system is an example of an automated argumentation system that is more specific than being just an automated theorem prover. Formal argumentation is subfield of artificial intelligence.

Tools and techniques include the classical logics and calculi from automated theorem proving, but also fuzzy logic, Bayesian inference, reasoning with maximal entropy and a large number of less formal ad-hoc techniques.

Conferences and workshops

Journals

Journal of Automated Reasoning

Communities

Association for Automated Reasoning (AAR)

This artificial intelligence-related article is a stub. You can help Wikipedia by expanding it.

@@ Line 1: / Line 1: @@
+'''Automated reasoning''' is an area of [[computer science]] dedicated to understanding different aspects of [[reasoning]] in a way that allows the creation of software which allows computers to reason completely or nearly completely automatically. As such, it is usually considered a subfield of [[artificial intelligence]], but it also has strong connections to [[theoretical computer science]] and even [[philosophy]].
-{{Infobox Musical artist
-| Name         = Laarni Lozada
-| Background   = solo_singer
-| Birth_name   = Laarni Losala
-| Born         = [[June 23]], [[1985]] (age 23)
-| Origin       = [[Isulan, Sultan Kudarat]], [[Philippines]]
-| Genre        = [[Pop music|Pop]], [[Ballad (music)|Ballad]], [[Rock music|Rock]], [[Soul music|Soul]], [[Classical music|Classical]]
-| Occupation   = [[Singer]]
-| Years_active = 2008 - present
-| Instrument   = [[Vocals]], [[Piano]]
-| Label        = [[Star Records]]
-}}
+The most developed subareas of automated reasoning probably
-<!-- NOTICE TO EDITORS AND NEWBIES: Even if Laarni's the winner of PDA, it doesn't mean that you are free to add personal analysis or praise to her. Also, please do not put copy-paste any biographies of her unless it observes the neutral point of view. You may add to the biography from that source as long as it does observe the neutral point of view and is a reliable source. So, please observe the neutral point of view guidelines before adding anything here. Lastly, do not put any links to YouTube videos as they are not valid for Wikipedia standards. Thank you and God Bless. -->
+are [[automated theorem proving]] (and the less automated but more pragmatic subfield of [[interactive theorem proving]]) and [[automated proof checking]] (viewed as guaranteed correct reasoning under fixed assumptions), but extensive work has also been done in reasoning by [[analogy]], [[Induction (philosophy)|induction]] and [[Abductive reasoning|abduction]]. Other important topics are reasoning under [[uncertainty]] and [[Non-monotonic logic|non-monotonic]] reasoning.  An important part of the uncertainty field is that of argumentation, where further constraints of minimality and consistency are applied on top of the more standard automated deduction. John Pollock's [[Oscar system]] is an example of an automated argumentation system that is more specific than being just an automated theorem prover.  Formal argumentation is subfield of artificial intelligence.
-'''Laarni Lozada''' (born '''Laarni Losala''') is a Filipino [[Pop music|pop]], [[Ballad (music)|ballad]] and [[Soul music|soul]] singer. She is the winner of '''[[Pinoy Dream Academy (Season 2)]]''', Philippine franchise of [[Endemol]]'s ''[[Star Academy]]''
-garnering more than 100,000 votes over the votes obtained by her closest contender Bugoy Drillon.<ref>{{cite web|url=http://s2b.pinoydreamacademy.ph/main/article/news/333/Congratulations-Laarni-.aspx |title=News :: Pinoy Dream Academy Season 2 |publisher=S2b.pinoydreamacademy.ph |date= |accessdate=2008-10-01}}</ref>
+Tools and techniques include the classical logics and calculi from [[automated theorem proving]], but also [[fuzzy logic]], [[Bayesian inference]], reasoning with [[maximum entropy|maximal entropy]] and a large number of less formal ad-hoc techniques.
-== Biography ==
-=== Early life ===
-Laarni was born in [[Pasig City]]<ref name="pinoydreamacademy1">{{cite web|url=http://s2b.pinoydreamacademy.ph/main/scholars/id/26/Laarni.aspx |title=Scholars :: Pinoy Dream Academy |publisher=S2b.pinoydreamacademy.ph |date= |accessdate=2008-10-01}}</ref> to William and Nita Losala.<ref>Guest appearance in both [[Pinoy Dream Academy]] ([[September 14]], [[2008]]) and [[Boy & Kris]] ([[September 16]], [[2008]])</ref>. The family moved  to [[Isulan, Sultan Kudarat]] later on.  She has six siblings.<ref name="showbizandstyle1">{{cite news |first=Bayani Jr. |last=San Diego |authorlink= |coauthors= |title=Working student from Sultan Kudarat tops reality contest l=http://showbizandstyle.inquirer.net/breakingnews/breakingnews/view/20080915-160833/Working-student-from-Sultan-Kudarat-tops-reality-contest |work= |publisher=Philippine Daily Inquirer |date=2008-09-15 |accessdate=2008-10-01 }}</ref>
-Laarni was a consistent honor student from elementary to high school.  When she was in Grade 5, she worked at the local public market and at the family farm.<ref name="showbizandstyle1"/> When she was 15, she left Isulan for Manila.<ref name="showbizandstyle1"/> to pursue her education. An aunt from the US supported her in her studies at the School of Music of the Philippine Women's University. However, she decided to shift course from AB Music to BS Education, Major in English, when she realized that most of the music students in the school were from the upper strata of society. She feared that she lacked the eloquence to be part of that kind of milieu.<ref name="pinoydreamacademy1"/> Her musical talent, however, paved the way for her to become a university scholar while working as a student assistant of the school.
-Laarni sang both for passion and for a living. She sang in different social functions, particularly in weddings, joined singing competitions, and accepted guestings. She became a runner-up in the now-defunct "Sing Galing" of [[Associated Broadcasting Company|ABC5]]. She won the [[Rotary International|Rotary Club]] Intercollegiate/University singing contest, besting 25 other contestants from different schools in Manila by rendering the patriotic anthem "Dakilang Lahi". She also won the National Grand Finals of the "Campus Idol" search by her rendition of  "[[What Kind of Fool Am I?]]"<ref name="laarnilosala1">{{cite web|url=http://laarnilosala.multiply.com/journal/item/45/Biography_Who_Is_Laarni_Losala |title=The Chronicles Of Laarnia&nbsp;— Biography: Who Is Laarni Losala? |publisher=Laarnilosala.multiply.com |date= |accessdate=2008-10-01}}</ref>
+== See also ==
-Laarni also joined the PWU Church chorale, the Ambassadors of Light, and the Malate Church Chorale. When she became part of the Coro de San Sebastian, she got the opportunity to sing together with said choral group with the [[The University of the Philippines Madrigal Singers|Philippine Madrigal Singers]] in a Madrigal Et Al concert.<ref name="laarnilosala1"/>
+* [[Program analysis (computer science)]]
-When she once had a job at the Calesa Bar,<ref name="pinoydreamacademy1"/> she had the opportunity to get musical pointers from the bar's musical director, Rudy Francisco.
+== Conferences and workshops ==
-=== Voice ===
-{{unreferenced|date=October 2008}}
-Laarni is generally described as a versatile singer as her voice ranges from alto to coloratura soprano, not to mention being a parallel belter. Her musical influences include the country's most popular and competent belters such as [[Sarah Geronimo]], [[Lea Salonga]], [[Lani Misalucha]] and [[Regine Velasquez]].
+* [[International Joint Conference on Automated Reasoning]] (IJCAR)
-=== ''Pinoy Dream Academy'' ===
+* [[Conference on Automated Deduction]] (CADE)
-{{main|Pinoy Dream Academy (season 2)}}
+* [http://www.eprover.org/EVENTS/iwil-2004.html International Workshop on Implementation of Logics]
-Upon learning about new season of Pinoy Dream Academy, Laarni decided to audition. An inspirational song, "Lead Me Lord, " earned for her the 15th slot after a long process of elimination.
+* [http://www.cs.miami.edu/~geoff/Conferences/ESCoR/ Workshop on Empirically Successful Computerized Reasoning]
+== Journals ==
-After 13 weeks in the academy, Laarni was hailed the Grand Star Dreamer on [[September 14]], [[2008]] at the [[Cuneta Astrodome]]. At the end of the show's two-night finale, she garnered 651,696 votes (35.21% of the total votes).
+* [http://www-unix.mcs.anl.gov/JAR/ Journal of Automated Reasoning]
-==== In-Academy Performances ====
-*''Official Performances''
-*# In Your Eyes - [[Regine Velasquez]]
-*# As If We Never Said Goodbye - [[Barbra Streisand]]
-*# [[Fighter (song)|Fighter]] - [[Christina Aguilera]]
-*# Kung Ako Na Lang Sana&nbsp;— Bituin Escalante, ''with Iñaki''
-*# [[(You Make Me Feel Like) A Natural Woman|Natural Woman]] - [[Aretha Franklin]]
-*# [[Let's Groove]] - [[Earth, Wind & Fire]], ''with Apple & Miguel''
-*# [[Too Much Heaven]] - [[The Bee Gees]], ''with Apple & Miguel''
-*# ‘Di Ko Kayang Tanggapin&nbsp;— April Boy Regino
-*# [[Bohemian Rhapsody]] - [[Queen (band)|Queen]]
-*# On The Wings of Love / [[Back at One]] - [[Regine Velasquez]] / [[Brian McKnight]], ''counterpoint with Bugoy''
-*# [[The Prayer (Celine Dion and Andrea Bocelli song)|The Prayer]] - [[Andrea Bocelli]] & [[Celine Dion]], ''with [[Jed Madela]]''
-*# [[I Am Blessed]] - [[Eternal (band)|Eternal]]
-*# Waray Waray - [[Lani Misalucha]]
-*# Manalig Ka - ''Laarni Losala''
-*# [[Boogie Wonderland]] - [[Earth, Wind & Fire]]
-*''Face-Off Performances''
-*# [[And I Am Telling You I'm Not Going]] - [[Jennifer Holliday]], ''with Poy''
-*''ASAP Performances''
-*# Hiram - [[Zsazsa Padilla]], ''with Zsazsa Padilla''
-*# [[Starting Over Again]] - [[Natalie Cole]], ''with [[Sheryn Regis]]''
-==== Controversy ====
+== Communities ==
-Laarni has a highly volatile personality as noted by Director Joey Reyes, one of the mentors in the academy. During the early part of the competition, she seemed to be off-tangent to most of her co-scholars. She was viewed to be a loner and therefore not cut-out to be in a reality show where solidity of emotions was crucial to survival.
+* [[Association for Automated Reasoning]] (AAR)
-In perceiving that she was out of place among the scholars, Laarni had unwittingly placed herself in conflict with some of them. The accompanying tension sent her on crying spells, which earned for her the image of a "cry baby".<ref name="showbizandstyle1"/>. Her vulnerability elicited different reactions from her co-scholars. She had been accused of being an insensitive person because she seemed to be always wrapped up in her own world. Laarni's reference to a sad childhood gave clues to her emotional vulnerability. According to the [[Enneagram of Personality]] test administered by Dr. Randy Dellosa, the academy's psychological counselor, her artistic yet sensitive attitude can be attributed to her being a [[Enneagram of Personality#Fours|four]].
+[[Category:Theoretical computer science]]
-When Laarni was placed on probation, there was never an instance that her co-scholars saved her from expulsion. Either she was saved by text voters or by the mentors.  After some time, Laarni had learned how to keep her emotions in check, take negative remarks in jest, and focus on improving her craft as well as her relationship with her fellow contestants. In the end, televiewers chose her to be the Grand Star Dreamer. When she was declared the winner, most of her co-scholars joined her on stage to congratulate her.
+[[Category:Automated theorem proving]]
+[[Category:Artificial intelligence]]
-=== Career ===
-Laarni's Grand Star Dreamer title has earned her a place in the stable of talents of [[ABS-CBN]]. She  has made appearances in many programs, especially in [[Boy & Kris]] where she has guested four times already in a span of three weeks. On the [[Cory Aquino]] special of the said show, fellow scholar, Hansen, confessed that Laarni has a crush on fellow [[ASAP '08]] singer, [[Jed Madela]] who she had a duet with in the Academy.<ref>[[October 1]], [[2008]] guesting on Boy & Kris</ref> Other guestings include gameshows like [[The Singing Bee (Philippine game show)|The Singing Bee]], [[Wowowee]] and [[Pilipinas, Game KNB?]]; and talk shows like [[Umagang Kay Ganda]], [[The Buzz (talk show)|The Buzz]], [[Entertainment Live]], and even [[Sharon (talk show)|Sharon]]. She has also guested in the Little Grand Dream Night of [[Pinoy Dream Academy: Little Dreamers
-Her first single, ''Manalig Ka'', was written by [[Ryan Cayabyab]]. It is included in the Top 10 scholar's album, namely ''Scholar's Sing Cayabyab''.
-=== Television ===
-* ''Sing Galing''
-* ''[[Pinoy Dream Academy (season 2)|Pinoy Dream Academy: Season 2]]''
-* ''[[ASAP '08]]''
-== Discography ==
-{| class="wikitable"
-!align="left"|Date of release
-!align="left"|Title
-!align="left"|Album Sales Award
-|-
-|align="center"|2008
-[[Star Records]]<br />Dream Music
-|align="center"|[[Scholars Sing Cayabyab]]
-|align="center"|''TBA''
-|-
-|align="center"|2008
-[[Star Records]]
-|align="center"|'''TBA'''
-|align="center"|''TBA''
-|-
-|}
-== See also ==
-<!-- To all who would like to add links here, they must be strictly from Wikipedia. Thanks! -->
-* [[Pinoy Dream Academy]]
-* [[Pinoy Dream Academy (season 2)]]
-* [[ABS-CBN]]
-== References ==
-{{reflist}}
+{{compu-AI-stub}}
-{{Pinoy Dream Academy}}
+[[es:Razonamiento automatizado]]
-{{DEFAULTSORT:Lozada, Laarni}}
+[[fa:استدلال خودکار]]
-[[Category:1985 births]]
+[[fr:Raisonnement automatisé]]
-[[Category:Filipino female singers]]
+[[ja:自動推論]]
-[[Category:Living people]]
+[[sr:Аутоматско резоновање]]
-[[Category:Reality show winners]]