Situation calculus (original) (raw)
Beim Situationskalkül handelt es sich um ein Konzept der künstlichen Intelligenz. Es werden Auswirkungen von Aktionen auf Situationen in einer Modellwelt unter Verwendung der Prädikatenlogik beschrieben. Angewendet wird der Situationskalkül zum Beispiel in der Sprache GOLOG, welche unter anderem in der Robotik zur Aktionsplanung eingesetzt wird. Es geht auf John McCarthy und Pat Hayes in den 1960er Jahren zurück. Weiterentwickelt wurde er von Ray Reiter in den 1990er Jahren.
| Property | Value |
|---|---|
| dbo:abstract | Beim Situationskalkül handelt es sich um ein Konzept der künstlichen Intelligenz. Es werden Auswirkungen von Aktionen auf Situationen in einer Modellwelt unter Verwendung der Prädikatenlogik beschrieben. Angewendet wird der Situationskalkül zum Beispiel in der Sprache GOLOG, welche unter anderem in der Robotik zur Aktionsplanung eingesetzt wird. Es geht auf John McCarthy und Pat Hayes in den 1960er Jahren zurück. Weiterentwickelt wurde er von Ray Reiter in den 1990er Jahren. (de) En intelligence artificielle, le calcul des situations est une logique formelle pour représenter et raisonner sur des situations et des actions. Le calcul des situations a été introduit par John McCarthy en 1963. (fr) The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based on that introduced by Ray Reiter in 1991. It is followed by sections about McCarthy's 1986 version and a logic programming formulation. (en) Ситуаці́йне чи́слення (Situational Calculus) — логічний формалізм (логіка першого порядку) розроблений для представлення і обґрунтування динамічно змінних світів, областей і систем. Вперше поняття було введене Джоном Маккарті в 1963 році. Основна версія ситуаційного числення базується на представленні, введеному у 1991 році.Ситуаційне числення завойовує нову популярність у наші дні. Однією із причин такого є те, що його виразність виявилась значно багатшою, ніж було заплановано. Іншою причиною є властивість чітко охарактеризувати сильні і слабкі сторони різних загальних теорій про дії, виражені в цьому формалізмі.Основними елементами ситуаційного числення є: * Ситуації — терм першого порядку, що визначає ймовірнісну історію світу. Послідовність представлена за допомогою бінарного функціонального символу do :do(a, s) визначає історію, що є результатом додавання нової дії в історію s. Тут також визначається стан світу. * Дія — це діяння, що може бути заподієне у світі, визначається функціональним символом. Дії є термами першого порядку:Put(x, y): може визначати дію при якій об'єкт x покласти на об'єкт y.Do(put(A,B), s): визначає стан, що є результатом того, що A поклали на B, коли світ перебуває в стані(ситуації) s. * Змінні — це змінні величини, що описують стан світу. Змінна являє собою відношення або функцію, значення якої можуть змінюватися, залежно від ситуації. Змінні визначені або за допомогою предикатів, або функціональних символів, що приймають терм ситуації як аргумент.closeTo(x, y, s) : x близький до y в ситуації s.Pos(x, s) : визначає позицію x в ситуації s. (uk) |
| dbo:wikiPageExternalLink | http://www-formal.stanford.edu/jmc/mcchay69.html http://www.ep.liu.se/ej/etai/1998/005 |
| dbo:wikiPageID | 2256109 (xsd:integer) |
| dbo:wikiPageLength | 20150 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1103157038 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Electronic_Transactions_on_Artificial_Intelligence dbr:Negation_as_failure dbr:Logic dbc:Logical_calculi dbr:Truth_value dbr:Logic_programming dbr:First-order_logic dbr:Fluent_(artificial_intelligence) dbr:Fluent_calculus dbr:Frame_problem dbr:Journal_of_the_ACM dbc:1963_introductions dbc:Logic_programming dbr:John_McCarthy_(computer_scientist) dbr:Circumscription_(logic) dbr:Second-order_logic dbr:SLD_resolution dbr:Event_calculus dbr:Ray_Reiter |
| dbp:wikiPageUsesTemplate | dbt:Doi dbt:Main dbt:Mvar dbt:Reflist dbt:Tmath dbt:Which dbt:John_McCarthy |
| dcterms:subject | dbc:Logical_calculi dbc:1963_introductions dbc:Logic_programming |
| gold:hypernym | dbr:Formalism |
| rdf:type | dbo:ProgrammingLanguage |
| rdfs:comment | Beim Situationskalkül handelt es sich um ein Konzept der künstlichen Intelligenz. Es werden Auswirkungen von Aktionen auf Situationen in einer Modellwelt unter Verwendung der Prädikatenlogik beschrieben. Angewendet wird der Situationskalkül zum Beispiel in der Sprache GOLOG, welche unter anderem in der Robotik zur Aktionsplanung eingesetzt wird. Es geht auf John McCarthy und Pat Hayes in den 1960er Jahren zurück. Weiterentwickelt wurde er von Ray Reiter in den 1990er Jahren. (de) En intelligence artificielle, le calcul des situations est une logique formelle pour représenter et raisonner sur des situations et des actions. Le calcul des situations a été introduit par John McCarthy en 1963. (fr) The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based on that introduced by Ray Reiter in 1991. It is followed by sections about McCarthy's 1986 version and a logic programming formulation. (en) Ситуаці́йне чи́слення (Situational Calculus) — логічний формалізм (логіка першого порядку) розроблений для представлення і обґрунтування динамічно змінних світів, областей і систем. Вперше поняття було введене Джоном Маккарті в 1963 році. Основна версія ситуаційного числення базується на представленні, введеному у 1991 році.Ситуаційне числення завойовує нову популярність у наші дні. Однією із причин такого є те, що його виразність виявилась значно багатшою, ніж було заплановано. Іншою причиною є властивість чітко охарактеризувати сильні і слабкі сторони різних загальних теорій про дії, виражені в цьому формалізмі.Основними елементами ситуаційного числення є: (uk) |
| rdfs:label | Situationskalkül (de) Calcul des situations (fr) Situation calculus (en) Ситуаційне числення (uk) |
| owl:sameAs | freebase:Situation calculus wikidata:Situation calculus dbpedia-de:Situation calculus dbpedia-fr:Situation calculus dbpedia-uk:Situation calculus https://global.dbpedia.org/id/Yrqy |
| prov:wasDerivedFrom | wikipedia-en:Situation_calculus?oldid=1103157038&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Situation_calculus |
| is dbo:knownFor of | dbr:John_McCarthy_(computer_scientist) |
| is dbo:wikiPageDisambiguates of | dbr:Calculus_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Successor_state_axiom |
| is dbo:wikiPageWikiLink of | dbr:GOLOG dbr:Glossary_of_artificial_intelligence dbr:Action_language dbr:Logic_programming dbr:Pat_Hayes dbr:Fluent_(artificial_intelligence) dbr:Fluent_calculus dbr:Frame_(artificial_intelligence) dbr:Frame_problem dbr:Artificial_intelligence dbr:John_McCarthy_(computer_scientist) dbr:Yale_shooting_problem dbr:Model-based_reasoning dbr:Raymond_Reiter dbr:Calculus_(disambiguation) dbr:Event_calculus dbr:Outline_of_artificial_intelligence dbr:Successor_state_axiom |
| is dbp:knownFor of | dbr:John_McCarthy_(computer_scientist) |
| is foaf:primaryTopic of | wikipedia-en:Situation_calculus |