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