Revision as of 04:05, 28 November 2023 edit WikiCleanerBot (talk \| contribs) Bots 1,007,735 edits m v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) Tag: WPCleaner ← Previous edit		Revision as of 06:20, 28 November 2023 edit undo Hqb (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 29,332 edits →Default reasoning in ALP: references as parentheticals Next edit →
Line 93: ==Default reasoning in ALP== As shown in the Theorist system,<ref>{{cite report \| url=https://www.cs.ubc.ca/~poole/papers/Theorist-CS-86-06.pdf \|first1=David \|last1=Poole \|first2=Randy \|last2=Goebel \|first3=Romas \|last3=Aleliunas \| title=Theorist: A Logical Reasoning System for Defaults and Diagnosis \| institution=Univ. Waterloo \| type=Research Report \| number=CS-86-06 \| date=Feb 1986 }}</ref><ref>{{cite book \| url= \|first1=David \|last1=Poole \|first2=Randy \|last2=Goebel \|first3=Romas \|last3=Aleliunas \| contribution=Theorist: A Logical Reasoning System for Defaults and Diagnosis \| pages=331–352 \| doi=10.1007/978-1-4612-4792-0 \| isbn=978-1-4612-9158-9 \| editor1=Nick J. Cercone \| editor2= Gordon McCalla \| title= The Knowledge Frontier – Essays in the Representation of Knowledge \| ___location=New York, NY \| publisher=Springer \| series=Symbolic Computation \| volume= \| edition=1st \| year=1987 \|s2cid=38209923 }}</ref> abduction can also be used for [[default reasoning]]. Moreover, abduction in ALP can simulate [[negation as failure]] in normal logic programming.

Abductive logic programming: Difference between revisions