Automatically assigned DDC number: 006332
Manually assigned DDC number: 006332
Number of references: 4
Title: Algernon - A Tractable System for Knowledge-Representation
Author:
Author:
Subject: J. M. Crawford,B. J. Kuipers Algernon - A Tractable System for Knowledge-Representation
Description: Access-Limited Logic (ALL) is a theory of knowledge representation which formalizes the access limitations inherent in a network structured knowledge-base. Where a deductive method such as resolution would retrieve all assertions that satisfy a given pattern, an access-limited logic retrieves only those assertions reachable by following an available access path. The time complexity of inference in ALL is a polynomial function of the size of the accessible portion of the knowledge-base, rather than an exponential function of the size of the entire knowledge-base (as in much past work). Access-Limited Logic, though incomplete, still has a well defined semantics and a weakened form of completeness, Socratic Completeness, which guarantees that for any fact which is a logical consequence of the knowledge-base, there is a series of preliminary queries and assumptions after which a query of the fact will succeed. Algernon implements Access-Limited Logic. Algernon is important in testing the c...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 1996-08-21
Pubyear: 1991
Format: ps
Identifier: http://citeseer.ist.psu.edu/145116.html
Source: http://www.cirl.uoregon.edu/crawford/papers/algy_sigart.ps
Language: en
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/111217.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Eighth National Conference on Artificial Intelligence" CiteSeer_Volume="" Title="{QPC}: a Compiler From Physical Models Into Qualitative Differential Equations,">
<identifier Org="ISBN:0262061422" Paper_ID="/111217.html" Extracted="0262061422" DDC="530/.011" Normalized_DDC="530011" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:026251057X" Paper_ID="/111217.html" Extracted="026251057X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0262510634" Paper_ID="/111217.html" Extracted="0262510634" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0262510715" Paper_ID="/111217.html" Extracted="0262510715" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0262511126" Paper_ID="/111217.html" Extracted="0262511126" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0262521865" Paper_ID="/111217.html" Extracted="0262521865" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0262611023" Paper_ID="/111217.html" Extracted="0262611023" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0816907072" Paper_ID="/111217.html" Extracted="0816907072" DDC="660/.2815" Normalized_DDC="6602815" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0818629053" Paper_ID="/111217.html" Extracted="0818629053" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:1558603778" Paper_ID="/111217.html" Extracted="1558603778" DDC="006.3/1" Normalized_DDC="00631" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:1558604804" Paper_ID="/111217.html" Extracted="1558604804" />
<identifier Org="ISBN:3211825797" Paper_ID="/111217.html" Extracted="3211825797" />
<identifier Org="ISBN:3540555773" Paper_ID="/111217.html" Extracted="3540555773" DDC="003" Normalized_DDC="003" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540573224" Paper_ID="/111217.html" Extracted="3540573224" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
</rec>
<rec ID="/120778.html" Type="incollection" CiteSeer_Book="KR89 Principles of Knowledge Representation and Reasoning" CiteSeer_Volume="" Title="Towards a Theory of Access-Limited Logic for Knowledge Representation,">
<identifier Org="ISBN:0262061570" Paper_ID="/120778.html" Extracted="0262061570" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:0262510596" Paper_ID="/120778.html" Extracted="0262510596" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:0262510987" Paper_ID="/120778.html" Extracted="0262510987" />
<identifier Org="ISBN:0262611023" Paper_ID="/120778.html" Extracted="0262611023" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:0780300335" Paper_ID="/120778.html" Extracted="0780300335" DDC="621.381" Normalized_DDC="621381" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:0780304942" Paper_ID="/120778.html" Extracted="0780304942" />
<identifier Org="ISBN:0818620463" Paper_ID="/120778.html" Extracted="0818620463" />
<identifier Org="ISBN:0818673133" Paper_ID="/120778.html" Extracted="0818673133" />
<identifier Org="ISBN:0879426888" Paper_ID="/120778.html" Extracted="0879426888" />
<identifier Org="ISBN:0897913825" Paper_ID="/120778.html" Extracted="0897913825" DDC="004" Normalized_DDC="004" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:1558600884" Paper_ID="/120778.html" Extracted="1558600884" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.16666666666666666" />
</rec>
<rec ID="/98622.html" Type="phdthesis" CiteSeer_Book="" CiteSeer_Volume="" Title="Access-Limited Logic---{A} Language for Knowledge Representation,">
<identifier Org="ISBN:0262510596" Paper_ID="/98622.html" Extracted="0262510596" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.125" />
<identifier Org="ISBN:0262611023" Paper_ID="/98622.html" Extracted="0262611023" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.125" />
<identifier Org="ISBN:0471768146" Paper_ID="/98622.html" Extracted="0471768146" DDC="004.67/8" Normalized_DDC="004678" Normalized_Weight="0.125" />
<identifier Org="ISBN:0521650585" Paper_ID="/98622.html" Extracted="0521650585" DDC="401/.41" Normalized_DDC="40141" Normalized_Weight="0.125" />
<identifier Org="ISBN:079239416X" Paper_ID="/98622.html" Extracted="079239416X" DDC="006.3/5" Normalized_DDC="00635" Normalized_Weight="0.125" />
<identifier Org="ISBN:0897919084" Paper_ID="/98622.html" Extracted="0897919084" />
<identifier Org="ISBN:2884491287" Paper_ID="/98622.html" Extracted="2884491287" DDC="620.0028563" Normalized_DDC="6200028563" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540633081" Paper_ID="/98622.html" Extracted="3540633081" DDC="006.3/32" Normalized_DDC="006332" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540660127" Paper_ID="/98622.html" Extracted="3540660127" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.125" />
<identifier Org="ISBN:905199074X" Paper_ID="/98622.html" Extracted="905199074X" />
</rec>
<rec ID="/225437.html" Type="inproceedings" CiteSeer_Book="Proceedings of IJCAI89 10th International Joint Conference on Artificial Intelligence" CiteSeer_Volume="" Title="Vivid knowledge and tractable reasoning: preliminary report,">
<identifier Org="ISBN:0080420125" Paper_ID="/225437.html" Extracted="0080420125" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.125" />
<identifier Org="ISBN:0262510596" Paper_ID="/225437.html" Extracted="0262510596" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.125" />
<identifier Org="ISBN:0262510634" Paper_ID="/225437.html" Extracted="0262510634" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.125" />
<identifier Org="ISBN:0262700670" Paper_ID="/225437.html" Extracted="0262700670" DDC="153" Normalized_DDC="153" Normalized_Weight="0.125" />
<identifier Org="ISBN:0387569790" Paper_ID="/225437.html" Extracted="0387569790" />
<identifier Org="ISBN:0444887717" Paper_ID="/225437.html" Extracted="0444887717" />
<identifier Org="ISBN:0471139408" Paper_ID="/225437.html" Extracted="0471139408" />
<identifier Org="ISBN:0521410150" Paper_ID="/225437.html" Extracted="0521410150" DDC="410/.285" Normalized_DDC="410285" Normalized_Weight="0.125" />
<identifier Org="ISBN:0780337573" Paper_ID="/225437.html" Extracted="0780337573" />
<identifier Org="ISBN:0792334329" Paper_ID="/225437.html" Extracted="0792334329" DDC="401" Normalized_DDC="401" Normalized_Weight="0.125" />
<identifier Org="ISBN:0818621362" Paper_ID="/225437.html" Extracted="0818621362" DDC="004" Normalized_DDC="004" Normalized_Weight="0.125" />
<identifier Org="ISBN:0824727193" Paper_ID="/225437.html" Extracted="0824727193" />
<identifier Org="ISBN:0835229777" Paper_ID="/225437.html" Extracted="0835229777" />
<identifier Org="ISBN:0929280474" Paper_ID="/225437.html" Extracted="0929280474" />
<identifier Org="ISBN:1558600949" Paper_ID="/225437.html" Extracted="1558600949" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.125" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Algernon - A Tractable System for Knowledge-Representation">
<identifier Org="ISBN:0262510596" Paper_ID="SELF" Extracted="0262510596" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
<identifier Org="ISBN:0262510952" Paper_ID="SELF" Extracted="0262510952" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
<identifier Org="ISBN:0262510987" Paper_ID="SELF" Extracted="0262510987" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
<identifier Org="ISBN:0262611023" Paper_ID="SELF" Extracted="0262611023" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
<identifier Org="ISBN:080583270X" Paper_ID="SELF" Extracted="080583270X" DDC="04/.01/9" Normalized_DDC="04019" Normalized_Weight="0.1" />
<identifier Org="ISBN:1402001053" Paper_ID="SELF" Extracted="1402001053" DDC="629.8/92" Normalized_DDC="629892" Normalized_Weight="0.1" />
<identifier Org="ISBN:2801111813" Paper_ID="SELF" Extracted="2801111813" DDC="410/.285" Normalized_DDC="410285" Normalized_Weight="0.1" />
<identifier Org="ISBN:2884491287" Paper_ID="SELF" Extracted="2884491287" DDC="620.0028563" Normalized_DDC="6200028563" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540443843" Paper_ID="SELF" Extracted="3540443843" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540633081" Paper_ID="SELF" Extracted="3540633081" DDC="006.3/32" Normalized_DDC="006332" Normalized_Weight="0.1" />
</rec>
</references_metadata>