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
<?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>