Fluent (artificial intelligence) (original) (raw)
In artificial intelligence, a fluent is a condition that can change over time. In logical approaches to reasoning about actions, fluents can be represented in first-order logic by predicates having an argument that depends on time. For example, the condition "the box is on the table", if it can change over time, cannot be represented by ; a third argument is necessary to the predicate to specify the time: means that the box is on the table at time . This representation of fluents is modified in the situation calculus by using the sequence of the past actions in place of the current time.
Property | Value |
---|---|
dbo:abstract | In artificial intelligence, a fluent is a condition that can change over time. In logical approaches to reasoning about actions, fluents can be represented in first-order logic by predicates having an argument that depends on time. For example, the condition "the box is on the table", if it can change over time, cannot be represented by ; a third argument is necessary to the predicate to specify the time: means that the box is on the table at time . This representation of fluents is modified in the situation calculus by using the sequence of the past actions in place of the current time. A fluent can also be represented by a function, dropping the time argument. For example, that the box is on the table can be represented by , where is a function and not a predicate. In first order logic, converting predicates to functions is called reification; for this reason, fluents represented by functions are said to be reified. When using reified fluents, a separate predicate is necessary to tell when a fluent is actually true or not. For example, means that the box is actually on the table at time , where the predicate is the one that tells when fluents are true. This representation of fluents is used in the event calculus, in the fluent calculus, and in the . Some fluents can be represented as functions in a different way. For example, the position of a box can be represented by a function whose value is the object the box is standing on at time . Conditions that can be represented in this way are called functional fluents. Statements about the values of such functions can be given in first order logic with equality using literals such as . Some fluents are represented this way in the situation calculus. (en) |
dbo:wikiPageID | 2897576 (xsd:integer) |
dbo:wikiPageLength | 4268 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID | 1052079633 (xsd:integer) |
dbo:wikiPageWikiLink | dbr:Logic dbr:First-order_logic dbr:Fluent_calculus dbr:Frame_problem dbr:Reification_(knowledge_representation) dbr:Artificial_intelligence dbc:Logic_in_computer_science dbr:Situation_calculus dbr:Event_calculus dbr:Predicate_(logic) dbr:Features_and_fluents_logic |
dbp:wikiPageUsesTemplate | dbt:Other_uses dbt:Reflist dbt:Compu-AI-stub dbt:Plt-stub |
dct:subject | dbc:Logic_in_computer_science |
rdfs:comment | In artificial intelligence, a fluent is a condition that can change over time. In logical approaches to reasoning about actions, fluents can be represented in first-order logic by predicates having an argument that depends on time. For example, the condition "the box is on the table", if it can change over time, cannot be represented by ; a third argument is necessary to the predicate to specify the time: means that the box is on the table at time . This representation of fluents is modified in the situation calculus by using the sequence of the past actions in place of the current time. (en) |
rdfs:label | Fluent (artificial intelligence) (en) |
owl:sameAs | freebase:Fluent (artificial intelligence) wikidata:Fluent (artificial intelligence) https://global.dbpedia.org/id/4jbPo |
prov:wasDerivedFrom | wikipedia-en:Fluent_(artificial_intelligence)?oldid=1052079633&ns=0 |
foaf:isPrimaryTopicOf | wikipedia-en:Fluent_(artificial_intelligence) |
is dbo:wikiPageDisambiguates of | dbr:Fluent_(disambiguation) |
is dbo:wikiPageWikiLink of | dbr:Index_of_philosophy_articles_(D–H) dbr:Glossary_of_artificial_intelligence dbr:Action_language dbr:Pat_Hayes dbr:Fluent_calculus dbr:Frame_problem dbr:Fluent_(disambiguation) dbr:Yale_shooting_problem dbr:Situation_calculus dbr:Event_calculus dbr:Planning_Domain_Definition_Language |
is foaf:primaryTopic of | wikipedia-en:Fluent_(artificial_intelligence) |