Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Circumscription_(logic)> ?p ?o }
Showing triples 1 to 66 of
66
with 100 triples per page.
- Circumscription_(logic) abstract "Circumscription is a non-monotonic logic created by John McCarthy to formalize the common sense assumption that things are as expected unless otherwise specified. Circumscription was later used by McCarthy in an attempt to solve the frame problem. In its original first-order logic formulation, circumscription minimizes the extension of some predicates, where the extension of a predicate is the set of tuples of values the predicate is true on. This minimization is similar to the closed world assumption that what is not known to be true is false.The original problem considered by McCarthy was that of missionaries and cannibals: there are three missionaries and three cannibals on one bank of a river; they have to cross the river using a boat that can only take two, with the additional constraint that cannibals must never outnumber the missionaries on either bank (as otherwise the missionaries would be killed and, presumably, eaten). The problem considered by McCarthy was not that of finding a sequence of steps to reach the goal (the article on the missionaries and cannibals problem contains one such solution), but rather that of excluding conditions that are not explicitly stated. For example, the solution “go half a mile south and cross the river on the bridge” is intuitively not valid because the statement of the problem does not mention such a bridge. On the other hand, the existence of this bridge is not excluded by the statement of the problem either. That the bridge does not exist isa consequence of the implicit assumption that the statement of the problem contains everything that is relevant to its solution. Explicitly stating that a bridge does not exist is not a solution to this problem, as there are many other exceptional conditions that should be excluded (such as the presence of a rope for fastening the cannibals, the presence of a larger boat nearby, etc.)Circumscription was later used by McCarthy to formalize the implicit assumption of inertia: things do not change unless otherwise specified. Circumscription seemed to be useful to avoid specifying that conditions are not changed by all actions except those explicitly known to change them; this is known as the frame problem. However, the solution proposed by McCarthy was later shown leading to wrong results in some cases, like in the Yale shooting problem scenario. Other solutions to the frame problem that correctly formalize the Yale shooting problem exist; some use circumscription but in a different way.".
- Circumscription_(logic) wikiPageExternalLink 5.5.
- Circumscription_(logic) wikiPageExternalLink circumscription.html.
- Circumscription_(logic) wikiPageExternalLink 0004370280900119.
- Circumscription_(logic) wikiPageExternalLink 0004370285900554.
- Circumscription_(logic) wikiPageExternalLink 0004370286900329.
- Circumscription_(logic) wikiPageExternalLink 0020019092900492.
- Circumscription_(logic) wikiPageExternalLink 0304397593900733.
- Circumscription_(logic) wikiPageExternalLink S0022000005800042.
- Circumscription_(logic) wikiPageID "2634917".
- Circumscription_(logic) wikiPageLength "21191".
- Circumscription_(logic) wikiPageOutDegree "30".
- Circumscription_(logic) wikiPageRevisionID "670439246".
- Circumscription_(logic) wikiPageWikiLink Category:Logic_programming.
- Circumscription_(logic) wikiPageWikiLink Category:Non-classical_logic.
- Circumscription_(logic) wikiPageWikiLink Closed-world_assumption.
- Circumscription_(logic) wikiPageWikiLink Closed_world_assumption.
- Circumscription_(logic) wikiPageWikiLink Common_sense.
- Circumscription_(logic) wikiPageWikiLink Defeasible_reasoning.
- Circumscription_(logic) wikiPageWikiLink Domain_(mathematics).
- Circumscription_(logic) wikiPageWikiLink Domain_of_a_function.
- Circumscription_(logic) wikiPageWikiLink Extension_(semantics).
- Circumscription_(logic) wikiPageWikiLink First-order_logic.
- Circumscription_(logic) wikiPageWikiLink Frame_problem.
- Circumscription_(logic) wikiPageWikiLink Georg_Gottlob.
- Circumscription_(logic) wikiPageWikiLink Inertia.
- Circumscription_(logic) wikiPageWikiLink John_McCarthy_(computer_scientist).
- Circumscription_(logic) wikiPageWikiLink Missionaries_and_cannibals_problem.
- Circumscription_(logic) wikiPageWikiLink Non-monotonic_logic.
- Circumscription_(logic) wikiPageWikiLink Predicate_(logic).
- Circumscription_(logic) wikiPageWikiLink Predicate_(mathematical_logic).
- Circumscription_(logic) wikiPageWikiLink Preferential_entailment.
- Circumscription_(logic) wikiPageWikiLink Propositional_formula.
- Circumscription_(logic) wikiPageWikiLink Propositional_variable.
- Circumscription_(logic) wikiPageWikiLink Raymond_Reiter.
- Circumscription_(logic) wikiPageWikiLink Structure_(mathematical_logic).
- Circumscription_(logic) wikiPageWikiLink Theory_(logic).
- Circumscription_(logic) wikiPageWikiLink Theory_(mathematical_logic).
- Circumscription_(logic) wikiPageWikiLink Thomas_Eiter.
- Circumscription_(logic) wikiPageWikiLink Vladimir_Lifschitz.
- Circumscription_(logic) wikiPageWikiLink Yale_shooting_problem.
- Circumscription_(logic) wikiPageWikiLink Yuri_Gurevich.
- Circumscription_(logic) wikiPageWikiLinkText "Circumscription (logic)".
- Circumscription_(logic) wikiPageWikiLinkText "Circumscription".
- Circumscription_(logic) wikiPageWikiLinkText "circumscription".
- Circumscription_(logic) wikiPageWikiLinkText "first-order circumscription".
- Circumscription_(logic) hasPhotoCollection Circumscription_(logic).
- Circumscription_(logic) wikiPageUsesTemplate Template:Cite_book.
- Circumscription_(logic) wikiPageUsesTemplate Template:Cite_journal.
- Circumscription_(logic) wikiPageUsesTemplate Template:Distinguish.
- Circumscription_(logic) wikiPageUsesTemplate Template:John_McCarthy_navbox.
- Circumscription_(logic) wikiPageUsesTemplate Template:Refbegin.
- Circumscription_(logic) wikiPageUsesTemplate Template:Refend.
- Circumscription_(logic) subject Category:Logic_programming.
- Circumscription_(logic) subject Category:Non-classical_logic.
- Circumscription_(logic) hypernym Logic.
- Circumscription_(logic) type Thing.
- Circumscription_(logic) comment "Circumscription is a non-monotonic logic created by John McCarthy to formalize the common sense assumption that things are as expected unless otherwise specified. Circumscription was later used by McCarthy in an attempt to solve the frame problem. In its original first-order logic formulation, circumscription minimizes the extension of some predicates, where the extension of a predicate is the set of tuples of values the predicate is true on.".
- Circumscription_(logic) label "Circumscription (logic)".
- Circumscription_(logic) differentFrom Circumscribed_circle.
- Circumscription_(logic) sameAs m.07t8p0.
- Circumscription_(logic) sameAs Q5121755.
- Circumscription_(logic) sameAs Q5121755.
- Circumscription_(logic) sameAs 限制.
- Circumscription_(logic) wasDerivedFrom Circumscription_(logic)?oldid=670439246.
- Circumscription_(logic) isPrimaryTopicOf Circumscription_(logic).