Automatically assigned DDC number: 0063

Manually assigned DDC number: 006333

Number of references: 4

Title: Pertinence Logic for Reasoning about Actions and Change

Author:

Subject: Ramon P. Otero Pertinence Logic for Reasoning about Actions and Change

Description: We discuss a new approach to dealing with causality in reasoning about actions and change. First, we introduce the logic of pertinence L 2 to describe knowledge over a static domain --especially the causal influences. Second, action execution and its direct and ramified effects are captured by the straightforward extension of L 2 to ACL 2 . We argue that reasoning with pertinence, as embodied in these languages, captures at once several aspects of reasoning about change hitherto treated separately. Moreover, pertinence makes deducing the effect of actions efficient, as shown by the implemented shell Medtool. 1 Introduction The aim of this paper is to introduce a new logic for commonsense reasoning about actions and change. This logic relies on an extended ontology that uses two simultaneous truthvalues for the formulas. Apart from the usual truth-values true and false, ft; fg, a formula will also have a pertinence "truth-value" being pertinent or non-pertinent, denoted fp; ng...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-02-10

Pubyear: 1997

Format: ps

Identifier: http://citeseer.ist.psu.edu/143366.html

Source: http://www.dc.fi.udc.es/ai/pub/trai9701.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/72553.html"   Type="inproceedings"   CiteSeer_Book="IJCAI"   CiteSeer_Volume=""   Title="Defeasible   Specifications   in   Action   Theories,">

            <identifier   Org="ISBN:1402046308"   Paper_ID="/72553.html"   Extracted="1402046308"   />

            <identifier   Org="ISBN:1558604804"   Paper_ID="/72553.html"   Extracted="1558604804"   />

            <identifier   Org="ISBN:354041021X"   Paper_ID="/72553.html"   Extracted="354041021X"   DDC="005.75/8"   Normalized_DDC="005758"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540651381"   Paper_ID="/72553.html"   Extracted="3540651381"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540674551"   Paper_ID="/72553.html"   Extracted="3540674551"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540677976"   Paper_ID="/72553.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/181806.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   Programming"   CiteSeer_Volume="17"   Title="Representing   Action   and   Change   by   Logic   Programs,">

            <identifier   Org="ISBN:0262631733"   Paper_ID="/181806.html"   Extracted="0262631733"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0792372247"   Paper_ID="/181806.html"   Extracted="0792372247"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:1586030132"   Paper_ID="/181806.html"   Extracted="1586030132"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:1591404517"   Paper_ID="/181806.html"   Extracted="1591404517"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540201017"   Paper_ID="/181806.html"   Extracted="3540201017"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354020721X"   Paper_ID="/181806.html"   Extracted="354020721X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540240594"   Paper_ID="/181806.html"   Extracted="3540240594"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540281770"   Paper_ID="/181806.html"   Extracted="3540281770"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540286535"   Paper_ID="/181806.html"   Extracted="3540286535"   />

            <identifier   Org="ISBN:3540411313"   Paper_ID="/181806.html"   Extracted="3540411313"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540439609"   Paper_ID="/181806.html"   Extracted="3540439609"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540440380"   Paper_ID="/181806.html"   Extracted="3540440380"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540584676"   Paper_ID="/181806.html"   Extracted="3540584676"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540594671"   Paper_ID="/181806.html"   Extracted="3540594671"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540628436"   Paper_ID="/181806.html"   Extracted="3540628436"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540649581"   Paper_ID="/181806.html"   Extracted="3540649581"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540653058"   Paper_ID="/181806.html"   Extracted="3540653058"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540663290"   Paper_ID="/181806.html"   Extracted="3540663290"   DDC="004/.01/5114"   Normalized_DDC="004015114"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540674551"   Paper_ID="/181806.html"   Extracted="3540674551"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540721991"   Paper_ID="/181806.html"   Extracted="3540721991"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05263157894736842"   />

      </rec>

      <rec   ID="/556120.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Teddington   Conference   on   the   Mechanization   of   Thought   Processes"   CiteSeer_Volume=""   Title="Programs   with   Common   Sense,">

            <identifier   Org="ISBN:0123693888"   Paper_ID="/556120.html"   Extracted="0123693888"   DDC="153.4/3"   Normalized_DDC="15343"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0199241449"   Paper_ID="/556120.html"   Extracted="0199241449"   DDC="153.09"   Normalized_DDC="15309"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0262621010"   Paper_ID="/556120.html"   Extracted="0262621010"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0387982698"   Paper_ID="/556120.html"   Extracted="0387982698"   DDC="004/.092/2"   Normalized_DDC="0040922"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0415193338"   Paper_ID="/556120.html"   Extracted="0415193338"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0893912131"   Paper_ID="/556120.html"   Extracted="0893912131"   DDC="001.53/5"   Normalized_DDC="001535"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0893915351"   Paper_ID="/556120.html"   Extracted="0893915351"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0930405854"   Paper_ID="/556120.html"   Extracted="0930405854"   DDC="004/.09"   Normalized_DDC="00409"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1402075243"   Paper_ID="/556120.html"   Extracted="1402075243"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:158603278X"   Paper_ID="/556120.html"   Extracted="158603278X"   />

            <identifier   Org="ISBN:1586035711"   Paper_ID="/556120.html"   Extracted="1586035711"   DDC="610.28"   Normalized_DDC="61028"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1848000839"   Paper_ID="/556120.html"   Extracted="1848000839"   DDC="004.09"   Normalized_DDC="00409"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3110136589"   Paper_ID="/556120.html"   Extracted="3110136589"   DDC="401/.41/0285633"   Normalized_DDC="401410285633"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540232052"   Paper_ID="/556120.html"   Extracted="3540232052"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/58180.html"   Type="article"   CiteSeer_Book="Artificial   Intelligence"   CiteSeer_Volume="89"   Title="Ramification   and   Causality,">

            <identifier   Org="ISBN:0262182181"   Paper_ID="/58180.html"   Extracted="0262182181"   DDC="006.3/32"   Normalized_DDC="006332"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0262510952"   Paper_ID="/58180.html"   Extracted="0262510952"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0791408744"   Paper_ID="/58180.html"   Extracted="0791408744"   DDC="375/.0083"   Normalized_DDC="3750083"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1402030681"   Paper_ID="/58180.html"   Extracted="1402030681"   DDC="629.8/9251"   Normalized_DDC="62989251"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1586030132"   Paper_ID="/58180.html"   Extracted="1586030132"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354020119X"   Paper_ID="/58180.html"   Extracted="354020119X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540228179"   Paper_ID="/58180.html"   Extracted="3540228179"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354024476X"   Paper_ID="/58180.html"   Extracted="354024476X"   DDC="003.3"   Normalized_DDC="0033"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540417680"   Paper_ID="/58180.html"   Extracted="3540417680"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540426019"   Paper_ID="/58180.html"   Extracted="3540426019"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540439609"   Paper_ID="/58180.html"   Extracted="3540439609"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540440380"   Paper_ID="/58180.html"   Extracted="3540440380"   />

            <identifier   Org="ISBN:3540628436"   Paper_ID="/58180.html"   Extracted="3540628436"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540664289"   Paper_ID="/58180.html"   Extracted="3540664289"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540664955"   Paper_ID="/58180.html"   Extracted="3540664955"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540668225"   Paper_ID="/58180.html"   Extracted="3540668225"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354067201X"   Paper_ID="/58180.html"   Extracted="354067201X"   DDC="005.75"   Normalized_DDC="00575"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540678220"   Paper_ID="/58180.html"   Extracted="3540678220"   DDC="620/.0042/0285"   Normalized_DDC="62000420285"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:9812381791"   Paper_ID="/58180.html"   Extracted="9812381791"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Pertinence   Logic   for   Reasoning   about   Actions   and   Change">

            <identifier   Org="ISBN:3540281770"   Paper_ID="SELF"   Extracted="3540281770"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="1.0"   />

      </rec>

</references_metadata>

www.000webhost.com