Automatically assigned DDC number: 006333

Manually assigned DDC number: 006333

Number of references: 8

Title: Applications of Abduction #2: Knowledge-Level Modeling

Author:

Subject: Tim Menzies Applications of Abduction #2: Knowledge-Level Modeling

Description: A single inference procedure (abduction) can operationalise a wide variety of knowledge-level modeling problem solving methods; i.e. prediction, classification, explanation, quantitative reasoning, planning, monitoring, set-covering diagnosis, consistency-based diagnosis, validation, and verification. This abductive approach offers a uniform view of different problem solving methods in the style proposed by Clancey and Brueker. Also, this abductive approach is easily extensible to validation; i.e. using this technique we can implement both inference tools and testing tools. Further, abduction can execute in vague and conflicting domains (which we believe occur very frequently). We therefore propose abduction as a framework for knowledge-level modeling. 1 Introduction In the 1970s and early 1980s, several high-profile expert system successes were documented: e.g. MYCIN [70], CASNET [66], PROSPECTOR [6, 14], and XCON [1]. However, despite careful attempts to generalise this work (e.g. [...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1995-11-19

Pubyear: 1995

Format: ps

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

Source: http://insect.sd.monash.edu.au/research/publications/1995/TR95-23.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

      <rec   ID="/188416.html"   Type="article"   CiteSeer_Book="Artificial   Intelligence"   CiteSeer_Volume="49"   Title="The   Computational   Complexity   of   Abduction,">

            <identifier   Org="ISBN:0080466168"   Paper_ID="/188416.html"   Extracted="0080466168"   DDC="153"   Normalized_DDC="153"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:019853860X"   Paper_ID="/188416.html"   Extracted="019853860X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0262511126"   Paper_ID="/188416.html"   Extracted="0262511126"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0262521687"   Paper_ID="/188416.html"   Extracted="0262521687"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0521575451"   Paper_ID="/188416.html"   Extracted="0521575451"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0631203524"   Paper_ID="/188416.html"   Extracted="0631203524"   DDC="102/.85"   Normalized_DDC="10285"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0631229191"   Paper_ID="/188416.html"   Extracted="0631229191"   DDC="004.01"   Normalized_DDC="00401"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0792343832"   Paper_ID="/188416.html"   Extracted="0792343832"   DDC="501"   Normalized_DDC="501"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0792365658"   Paper_ID="/188416.html"   Extracted="0792365658"   />

            <identifier   Org="ISBN:1593113196"   Paper_ID="/188416.html"   Extracted="1593113196"   DDC="658/.001"   Normalized_DDC="658001"   Normalized_Weight="0.058823529411764705"   />

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

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

            <identifier   Org="ISBN:3540547126"   Paper_ID="/188416.html"   Extracted="3540547126"   />

            <identifier   Org="ISBN:3540565035"   Paper_ID="/188416.html"   Extracted="3540565035"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540604375"   Paper_ID="/188416.html"   Extracted="3540604375"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540635769"   Paper_ID="/188416.html"   Extracted="3540635769"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540735798"   Paper_ID="/188416.html"   Extracted="3540735798"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540748172"   Paper_ID="/188416.html"   Extracted="3540748172"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:9051992378"   Paper_ID="/188416.html"   Extracted="9051992378"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/264722.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="{H}andling   conflict   between   domain   descriptions   with   computer-supported   negotiation,"   />

      <rec   ID="/104277.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="A   Classification   of   Abduction:   Abduction   for   Logic   Programming,">

            <identifier   Org="ISBN:019853860X"   Paper_ID="/104277.html"   Extracted="019853860X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:0792362500"   Paper_ID="/104277.html"   Extracted="0792362500"   DDC="161"   Normalized_DDC="161"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/42784.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   13th   International   Joint   Conference   on   Artificial   Intelligence"   CiteSeer_Volume=""   Title="Focusing   Construction   and   Selection   of   Abductive   Hypotheses,">

            <identifier   Org="ISBN:0126851204"   Paper_ID="/42784.html"   Extracted="0126851204"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:078037293X"   Paper_ID="/42784.html"   Extracted="078037293X"   />

            <identifier   Org="ISBN:0792365658"   Paper_ID="/42784.html"   Extracted="0792365658"   />

            <identifier   Org="ISBN:0805817115"   Paper_ID="/42784.html"   Extracted="0805817115"   DDC="401/.41"   Normalized_DDC="40141"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0824722957"   Paper_ID="/42784.html"   Extracted="0824722957"   />

            <identifier   Org="ISBN:1586031929"   Paper_ID="/42784.html"   Extracted="1586031929"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540205187"   Paper_ID="/42784.html"   Extracted="3540205187"   DDC="658.8/72"   Normalized_DDC="658872"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354035994X"   Paper_ID="/42784.html"   Extracted="354035994X"   DDC="643.6"   Normalized_DDC="6436"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540583300"   Paper_ID="/42784.html"   Extracted="3540583300"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540619550"   Paper_ID="/42784.html"   Extracted="3540619550"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540632336"   Paper_ID="/42784.html"   Extracted="3540632336"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540635866"   Paper_ID="/42784.html"   Extracted="3540635866"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.1111111111111111"   />

      </rec>

      <rec   ID="/54736.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="A   Precise   Semantics   for   Vague   Diagrams,"   />

      <rec   ID="/192806.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Exhaustive   Abduction:   A   Practical   Model   Validation   Tool,"   />

      <rec   ID="/219041.html"   Type="inproceedings"   CiteSeer_Book="IJCAI"   CiteSeer_Volume=""   Title="Normality   and   Faults   in   Logic-Based   Diagnosis,">

            <identifier   Org="ISBN:0080440118"   Paper_ID="/219041.html"   Extracted="0080440118"   DDC="629.8"   Normalized_DDC="6298"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0198537476"   Paper_ID="/219041.html"   Extracted="0198537476"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0262510596"   Paper_ID="/219041.html"   Extracted="0262510596"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:026251091X"   Paper_ID="/219041.html"   Extracted="026251091X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0262660830"   Paper_ID="/219041.html"   Extracted="0262660830"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0387574174"   Paper_ID="/219041.html"   Extracted="0387574174"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0780307380"   Paper_ID="/219041.html"   Extracted="0780307380"   />

            <identifier   Org="ISBN:0792365658"   Paper_ID="/219041.html"   Extracted="0792365658"   />

            <identifier   Org="ISBN:0824722957"   Paper_ID="/219041.html"   Extracted="0824722957"   />

            <identifier   Org="ISBN:1558603859"   Paper_ID="/219041.html"   Extracted="1558603859"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:1586034529"   Paper_ID="/219041.html"   Extracted="1586034529"   />

            <identifier   Org="ISBN:3540407677"   Paper_ID="/219041.html"   Extracted="3540407677"   DDC="620/.0044"   Normalized_DDC="6200044"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540413855"   Paper_ID="/219041.html"   Extracted="3540413855"   DDC="510   s"   Normalized_DDC="51"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540531041"   Paper_ID="/219041.html"   Extracted="3540531041"   DDC="620/.00285/633"   Normalized_DDC="62000285633"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354064993X"   Paper_ID="/219041.html"   Extracted="354064993X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:9810210574"   Paper_ID="/219041.html"   Extracted="9810210574"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/174207.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="A   Methodology   for   Using   a   Default   and   Abductive   Reasoning   System,">

            <identifier   Org="ISBN:0198537476"   Paper_ID="/174207.html"   Extracted="0198537476"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0387564330"   Paper_ID="/174207.html"   Extracted="0387564330"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0412837501"   Paper_ID="/174207.html"   Extracted="0412837501"   DDC="620/.0042/0285"   Normalized_DDC="62000420285"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:079183624X"   Paper_ID="/174207.html"   Extracted="079183624X"   DDC="620/.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:079234068X"   Paper_ID="/174207.html"   Extracted="079234068X"   DDC="128/.2"   Normalized_DDC="1282"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1558600949"   Paper_ID="/174207.html"   Extracted="1558600949"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:155860183X"   Paper_ID="/174207.html"   Extracted="155860183X"   />

            <identifier   Org="ISBN:1558602038"   Paper_ID="/174207.html"   Extracted="1558602038"   />

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

            <identifier   Org="ISBN:3540581073"   Paper_ID="/174207.html"   Extracted="3540581073"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540613579"   Paper_ID="/174207.html"   Extracted="3540613579"   DDC="333.95/417"   Normalized_DDC="33395417"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354062709X"   Paper_ID="/174207.html"   Extracted="354062709X"   DDC="610/.285/63"   Normalized_DDC="61028563"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354066131X"   Paper_ID="/174207.html"   Extracted="354066131X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:354069045X"   Paper_ID="/174207.html"   Extracted="354069045X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540880488"   Paper_ID="/174207.html"   Extracted="3540880488"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Applications   of   Abduction   #2:   Knowledge-Level   Modeling"   />

</references_metadata>

www.000webhost.com